c++ - 大类型的 const T& 和简单类型的 T 的特化模板

Question

我需要施展魔法:

我有一个模板:

template <class T>
void Foo(const T& value)

但我需要将它专门用于简单类型，例如 bool、int 等，这样它将通过 const 值而不是 const 引用传递:

template <>
void Foo<bool>(const bool value)

template <>
void Foo<int>(const int value)

// and so on, including std::nullptr_t

template <>
void Foo<std::nullptr_t>(std::nullptr_t)
{
   // some special behavior
}

但是无法编译。

如何正确操作？

Answer 1

如果所有基本类型和指针的功能都相同，我想您可以使用 std::is_fundamental , std::is_pointer和 std::enable_if :

template<typename T>
std::enable_if_t<std::is_fundamental<T>::value || std::is_pointer<T>::value>
foo(const T) {
    std::cout << __PRETTY_FUNCTION__ << std::endl;
}

template<typename T>
std::enable_if_t<!std::is_fundamental<T>::value && !std::is_pointer<T>::value>
foo(const T&) {
    std::cout << __PRETTY_FUNCTION__ << std::endl;
}

关于 wandbox 的示例