c++ - 如何解决C++模板类型声明顺序

Question

我正在实现一个非常复杂的基于模板的功能，但遇到了无法解决的错误。我已将我的情况简化为以下代码:

template <typename Head, typename... T>
struct BaseIsFirst {
    using Base = Head;
};

template <typename T, typename D>
struct IAction {
    std::enable_if_t<std::is_same<T, D::Base>::value> do_action() {}
};

struct Base;
struct Derived1;
struct Derived2;
typedef BaseIsFirst<Base, Derived1, Derived2> MyBIF;

struct Base : public IAction<Base, MyBIF> { };
struct Derived1 : public Base {};
struct Derived2 : public Base {};

如果我尝试编译它，我会收到错误:

'std::is_same': 'D::Base' is not a valid template type argument for parameter '_Ty2'

我认为没有办法提前定义所使用的类型。是否有解决方法，或者根本不可能？

Answer 1

当使用模板参数定义的类型时，需要指定它是一个类型。您的申报单没有任何问题。试试这个吧

template <typename T, typename D>
struct IAction {
    std::enable_if_t<std::is_same<T, typename D::Base>::value> do_action() {}
    //             Add typename here ^^^^^^^^
};