为什么 `void* = 0` 和 `void* = nullptr` 会有所不同？

Question

我在玩 SFINAE，发现我无法解释的行为。

这个compiles fine：

template<typename Integer,
         std::enable_if_t<std::is_integral<Integer>::value>* = nullptr>
void foo(Integer) {}

template<typename Floating,
         std::enable_if_t<std::is_floating_point<Floating>::value>* = nullptr>
void foo(Floating) {}

虽然这个（nullptr 替换为 0）：

template<typename Integer,
         std::enable_if_t<std::is_integral<Integer>::value>* = 0>
void foo(Integer) {}

template<typename Floating,
         std::enable_if_t<std::is_floating_point<Floating>::value>* = 0>
void foo(Floating) {}

gives me a compile error:

prog.cpp: In function ‘int main()’: prog.cpp:13:10: error: no matching function for call to ‘foo(int)’
     foo(3);
          ^ prog.cpp:5:6: note: candidate: template<class Integer, std::enable_if_t<std::is_integral<_Tp>::value>* <anonymous> > void foo(Integer)  void foo(Integer) {}
      ^~~ prog.cpp:5:6: note:   template argument deduction/substitution failed: prog.cpp:4:64: error: could not convert template argument ‘0’ to ‘std::enable_if_t<true, void>* {aka void*}’
          std::enable_if_t<std::is_integral<Integer>::value>* = 0>
                                                                ^ prog.cpp:9:6: note: candidate: template<class Floating, std::enable_if_t<std::is_floating_point<_Tp>::value>* <anonymous> > void foo(Floating)  void foo(Floating) {}
      ^~~ prog.cpp:9:6: note:   template argument deduction/substitution failed: prog.cpp:8:71: note: invalid template non-type parameter
          std::enable_if_t<std::is_floating_point<Floating>::value>* = 0>
                                                                       ^

enable_if_t 在没有替换失败的情况下扩展为void，所以在模板参数列表中我会有类似void* = 0 的内容。为什么它会破坏编译？..

Answer 1

默认模板参数遵循它们自己的更严格的转换规则。不应用 0 到指针类型的转换。

见[temp.arg.nontype]/5.2（强调我的）：

对于指向对象的类型指针的非类型模板参数，应用限定转换（[conv.qual]）和数组到指针转换（[conv.array]）；如果模板参数是 std::nullptr_t 类型，则应用空指针转换 ([conv.ptr])。

[ 注意： 特别是，零值整型常量表达式 ([conv.ptr]) 的空指针转换和派生到基数的转换 ([conv.ptr] ) 被应用。 虽然0 是整数类型的非类型模板参数的有效模板参数，但它不是指针类型的非类型模板参数的有效模板参数。 但是，(int*)0 和 nullptr 都是“指向 int 的指针”类型的非类型模板参数的有效模板参数。 ——尾注]