我可以使用SFINAE在模板类中有选择地定义成员变量吗？

Question

所以我想要做的是创建一个模板类,它可能包含或不包含基于传入的模板参数的成员变量.如下所示:

template<typename T, bool flag>
class base
{
   foov<std::enable_if<flag, T>::type> m_var;
};

上面的代码无法在编译器中存活.

有谁知道我怎么能做到这一点？

Answer 1

根据模板参数创建具有启用/禁用成员的基类:

template<typename T, typename Enable = void>
class base_class;

// my favourite type :D
template<typename T>
class base_class<T, std::enable_if_t<std::is_same<T, myFavouriteType>::value>>{
    public:
        int some_variable;
};

// not my favourite type :(
template<typename T>
class base_class<T, std::enable_if_t<!std::is_same<T, myFavouriteType>::value>>{
    public:
        // no variable
};

template<typename T>
class derived_class: public base_class<T>{
    public:
        // do stuff
};

这应该为您提供了一种基于类型启用/禁用成员的好方法.