nullptr 可以用作类型吗？

Question

我在学习 enable_if 的用法时偶然发现了以下代码。

template <class T,
         typename std::enable_if<std::is_integral<T>::value,
                                 T>::type* = nullptr>
void do_stuff(T& t) {
  std::cout << "do_stuff integral\n";
    // an implementation for integral types (int, char, unsigned, etc.)
}

困扰我的是，在模板参数中，nullptr 被用作 std::enable_if<std::is_integral<T>::value, T>::type* 的默认参数，这也是一种类型。

我不确定如何为类型分配文字。不应该是 nullptr_t 吗？

Answer 1

此模板接受非类型第二个参数，即指针 typename std::enable_if<std::is_integral<T>::value, T>::type *，因此 nullptr 用作此指针的默认值。请注意，第二个参数中的 typename 用于让编译器将 ::type 作为一种类型，它不是通常类型模板参数的开头，如 typename T

Answer 2

nullptr 不是类型，它是一个值（类型 nullptr_t，可以转换为任何指针类型 IIRC）。否则，nullptr 的任何标准用法如：

int* a = nullptr;

不行。

这是一个未命名的默认模板参数，用于允许在模板声明中使用 SFINAE 而不是使用 return 类型。基本上是这样的：

template<int=0>
void foo();

使用 SFINAE 技巧/enable_if。

nullptr 可以用作类型吗？

Can nullptr be used as a type?

c++

c++11

templates

nullptr