7

除了预处理器，我如何有条件地启用/禁用显式模板实例化？

考虑：

template <typename T> struct TheTemplate{ /* blah */ };

template struct TheTemplate<Type1>;
template struct TheTemplate<Type2>;
template struct TheTemplate<Type3>;
template struct TheTemplate<Type4>;

在某些编译条件下，Type3 与 Type1 相同，Type4 与 Type2 相同。发生这种情况时，我得到一个错误。我想检测类型是相同的，而不是在 Type3 和 Type4 上实例化，如

// this does not work
template struct TheTemplate<Type1>;
template struct TheTemplate<Type2>;
template struct TheTemplate<enable_if<!is_same<Type1, Type3>::value, Type3>::type>;
template struct TheTemplate<enable_if<!is_same<Type2, Type4>::value, Type4>::type>;

我已经转移自己的注意力来尝试 enable_if 和 SFINAE（我相信我知道它们为什么会失败），但只有预处理器起作用了（呃）。我正在考虑将类型放入元组或可变参数中，删除重复项，然后将其余部分用于实例化。

有没有办法根据模板参数类型有条件地启用/禁用显式模板实例化？

4

1 回答 1

7 
template <typename T> struct TheTemplate{ /* blah */ };

template<int> struct dummy { };

template struct TheTemplate<Type1>;
template struct TheTemplate<Type2>;
template struct TheTemplate<conditional<is_same<Type1, Type3>::value, dummy<3>, Type3>::type>;
template struct TheTemplate<conditional<is_same<Type2, Type4>::value, dummy<4>, Type4>::type>;

Type3这仍然会产生四个显式实例化，但在与相同的情况下它们不会重复Type1（除非Type1是dummy<3>！）

于 2012-12-18T10:36:24.570 回答