可以将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，而不使用返回类型。基本上就像：

template<int=0>
void foo();

使用SFINAE技巧/ enable_if。