可以将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();

使用SFINAErick / enable_if 。