联合类型的模板特化

Question

如何为union类型专门化模板？ 假设我有模板功能

template <typename T>
void foo(T value);

如果T不是任何union类型，我想禁止调用此函数。 我怎样才能做到这一点？

Answer 1

如果T不是任何联合类型，我想禁止调用此函数。 我怎样才能做到这一点？

也许用std::is_union ？

template <typename T>
std::enable_if_t<std::is_union<T>::value> foo(T value)
 { /* ... */ }

Answer 2

您可以将std::enable_if （ std::enable_if_t ）与来自<type_traits> std::is_union一起使用。 就像是：

template <class T,
   typename std::enable_if_t<std::is_union<T>::value,
   int> = 0>
   void foo(T t) {
   // an implementation for union types
}

以下是SFINAE规则的解释。