代码之家 › 专栏 › 技术社区 › Jonathan Boccara

CRTP:为什么获取派生类的嵌套类型和嵌套方法有区别?

crtp templates c++

Jonathan Boccara · 技术社区 · 6 年前

CRTP模式中的基类可以访问派生类的成员函数,但不能访问派生类中的嵌套类型。

为什么会有这种不同?

为了说明这一点,请考虑以下代码:

template<typename Derived>
struct crtp_base
{
    void crtp_method() { return static_cast<Derived&>(*this).method(); } // compiles

    using crtp_type = typename Derived::type; // doesn't compile
};

struct X : public crtp_base<X>
{
    void method() {}

    using type = int;
};

int main()
{

}

crtp_type 导致编译错误,而 crtp_method 编译得很好,尽管两者都试图访问 Derived 上课。解释差异的C++规范是什么?

1 回复 | 直到 6 年前

user7860670 6 年前

这里的区别在于,方法的实例化只在您在 crtp_base 发生在 public crtp_base<X> where类型 X 仍然不完整。解决方法是使用类型特征:

template<typename x_Target>
struct Trait;

template<typename Derived>
struct crtp_base
{
    void crtp_method() { return static_cast<Derived&>(*this).method(); }

    using crtp_type = typename Trait<Derived>::type;
};

struct X;

template<>
struct Trait<X>
{
    using type = int;
};

struct X : public crtp_base<X>
{
    void method() {}

    using type = Trait<X>::type;
};

推荐文章

Abhishek Ojha · 为什么我的代码接受其他数据类型以及模板中的给定数据类型?[副本]

2 年前

TCD · 标准库非类型模板类是否显式实例化?

2 年前

onehundredquestions guy · 在不实例化的情况下将模板函数作为参数传递?[副本]

2 年前

sovesti · 参数较少的模板函数中的演绎

2 年前

KiraHoneybee · 具有构造函数参数的模板化类

2 年前

Seymore Glass · 模板不工作的默认参数

2 年前

Alex Hodges · 是否有一种更惯用的方法来专门化通过模板传递的标志的行为?

2 年前

Alexander Daum · 模板参数中对模板类型的引用

6 年前

ledonter · 为什么注入的类名有时不被视为类模板中的模板名?

6 年前

RBaum · 从WooCommerce“订单保留”和“新订单”电子邮件中删除订单

6 年前