c – 递归模板定义

发布时间：2020-12-16 03:40:34 所属栏目：百科来源：网络整理

导读：我有一个递归模板定义(我只是组成了这个术语).我认为代码更好地解释了它. templatetypename Xclass Domain{ public: X begin; X end; Domain( X _begin,X _end) : begin(_begin),end(_end) { // ... } bool Contains( const X t) const { // ... }};template

我有一个递归模板定义(我只是组成了这个术语).我认为代码更好地解释了它.

template<typename X>
class Domain
{
    public:
        X begin;
        X end;

        Domain(
            X _begin,X _end)
            : begin(_begin),end(_end)
        {
            // ...
        }

        bool Contains(
           const X& t) const
        {
            // ...
        }
};

template<typename X,typename Y>
class IFunction
{
    public:
        Domain<X> myDomain;

    public:
        IFunction(
            const Domain<X>& dom)
            : myDomain(dom)
        {

        }

        virtual Y
        Calc(
            const X& IV) const = 0;

        virtual IFunction<X,Y>*
        GetDerivative() const = 0;
};

template<typename X,typename Y,int n>
class NthOrderFunction
    : public IFunction<X,Y>
{
    public:
        double coeffs[n+1];

    public:
        NthOrderFunction(
            const Domain<X>& dom,... )
            : IFunction(dom)
        {

        }

        virtual Y
        Calc(
            const X& IV) const
        {
            // temporary compile solution
            return Y();
        }

        virtual IFunction<X,Y>*
        GetDerivative() const
        {
            if ( n > 1 )
            {
                return new NthOrderFunction<X,Y,n-1>(dom,...);
            }
            return new FlatLine<X,Y>(dom);
        }
};

我拿出了很多继承和其他关系来保持它的可读性,简单性和神秘性.因此,编辑代码时可能会遇到新的拼写错误,但请忽略它.代码已经运行了好几年,我唯一的问题就是我要指出的问题.

我最近添加了一个“GetDerivative”函数,它在NthOrderFunction类中的实现给了我一些问题.我知道模板类是在编译之前定义的,但是在预处理之后定义.因此,我无法看到如何使此功能工作.每个带模板参数n的NthOrderFunction都需要带模板参数n-1的NthOrderFunction.你可以看到这是一个问题.问题是,即使n在使用中永远不会是负面的,但我没有做任何编码,也会说服“模板定义引擎”不打扰n< 1; 有没有人遇到任何问题？你提出了什么解决方案？

解决方法

添加如下内容：

template<typename X,typename Y>
class NthOrderFunction<X,1>
    : public IFunction<X,Y>*
        GetDerivative() const
        {
            return new FlatLine<X,Y>(dom);
        }
};

并从递归案例中删除n == 1个案例.

作为建议,在模板元编程上获得一些书籍或教程等.其中一种基本技术是以这种方式在模板中使用递归.严格来说,这不是元编程,它只是递归模板.本书/教程将解释更多高级技巧的工作方式,在扩展时可以使用这些技巧.

这样做的原因是原始的仍然会将编译时“if”扩展为运行时代码(永远不会被执行).这段代码替换了一个可以编译出来的情况,其中一个不存在,所以没有无限递归的选项.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!