c++ - 我可以使用 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
};

这应该为您提供一种根据类型启用/禁用成员的好方法。