主页 / 问题 / 591646
Accepted
yrHeTateJlb
Asked:2020-11-16 18:52:08 +0000 UTC2020-11-16 18:52:08 +0000 UTC

断言 CRTP

  • 772

我正在使用CRTP。在代码中它看起来像这样：

template<class T>
class Base{
    //...
};
class Derived : public Base<Derived>{
    //...    
};

复制/粘贴错误开始出现：

class Foo : public Base<Foo>{
    //...    
};
class Bar : public Base<Foo>{   //Ой
    //...    
};

我决定写一个断言来检查这个案例。

想出了这个选项：

template<class T>
class Base{
protected:
    typedef T TemplateType;
    typedef Base<T> BaseType;
    //...
};
class Derived : public Base<Derived>{
public:
    Derived(){
        Q_ASSERT(typeid(*this) == typeid(Base::TemplateType));
    }
    //...    
};

但是他有点丑。在运行时工作，需要一些模糊的 typedef。

我在这里。如何使用 C++03 和 Qt 编写这样的断言？因此，同时也不羞于向人们展示。

c++

1 个回答

  1. Best Answer

    这个选项：

    template<typename D, typename B>
class IsDerivedFrom
{
    class No {};
    class Yes { No no[2]; };
    static Yes Test(B*);
    static No  Test(...);
public:
    enum { Is = sizeof(Test(static_cast<D*>(0)))==sizeof(Yes) };
};

template<typename T>
class Base
{
};

class D1: public Base<D1>
{
public:
    D1(){
        cout << IsDerivedFrom<D1,Base<D1> >::Is << endl;
    }
};

class D2: public Base<int>
{
public:
    D2() {
        cout << IsDerivedFrom<D2,Base<D2> >::Is << endl;
    }
};


int main()
{
    D1 d1;
    D2 d2;
}

    很明显，您可以IsDerivedFrom<D,Base<D> >::Is在编译时直接使用它。

    满足 C++03 条件 - Open Watcom 成功完成编译。

    更新决定 2。不会让您从另一个编译后继者Base<>，复制粘贴会起作用 - 当前类的名称不在其中 :)。唉，typedef还是需要一个。

    template<typename T>
class Base
{
    typedef T base;
};

template<typename T>
class IsDerivedFromBase
{
    static void Constraints(T*p)
    {
        Base<T>*b = p;
    }
public:
    IsDerivedFromBase() { void(*p)(T*) = Constraints; }
};


class D1: public Base<D1>
{
public:
    D1(){
        IsDerivedFromBase<Base::base>id;
    }
};

class D2: public Base<int>
{
public:
    D2() {
        IsDerivedFromBase<Base::base>id;
    }
};


int main()
{
    D1 d1;
    D2 d2;
}

    更新 2立即尝试：

    template<typename T, typename U>
class IsSame
{
public:
    enum { value = 0 };
};

template<typename T>
class IsSame<T,T>
{
public:
    enum { value = 1 };
};


template<typename T>
class Base
{
    typedef T base;
};

template<typename T>
class IsDerivedFromBaseThis
{
    static void Constraints(T*p)
    {
        Base<T>*b = p;
    }
public:
    template<typename U>
    IsDerivedFromBaseThis(U*) {
        int x[IsSame<T,U>::value];
        void(*p)(T*) = Constraints;
    }
};


class D1: public Base<D1>
{
public:
    D1(){
        IsDerivedFromBaseThis<Base::base>id(this);
    }
};

class D2: public Base<D1>
{
public:
    D2() {
        IsDerivedFromBaseThis<Base::base>id(this);
    }
};


int main()
{
    D1 d1;
    D2 d2;
}
    • 2

相关问题