c++ - 如何根据条件限制用户定义的模板类型

Question

template<typename VarTypes>
class CMyClass
{
   // do something
};

目前，无论任何条件如何(示例编译器选项)，代码都接受多个 VarType Type1、Type2。

我必须根据条件限制 VarType。有什么经验吗？

Answer 1

我会保持简单，只使用static_assert，例如:

template<typename T>
class CMyClass
{
#if defined(VARIANT1)
    static_assert (std::is_same <T, std::string>::value ||
                   std::is_same <T, std::vector <int>>::value, "Type not allowed");
#elif defined(VARIANT2)
    ...
#endif

    // do something
};

Live demo