空点可以用作类型吗?

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 integraln";
    // 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 .