C++元编程：默认参数中nullptr与0的差异疑问

核心差异：函数参数与模板参数的转换规则不同 #

C++中，普通函数默认参数的隐式转换规则和模板参数替换阶段的转换规则完全独立，这是导致你看到行为差异的根本原因：

1. 函数默认参数的隐式转换允许整数0转指针 #

对于Foo3这类普通函数：

void Foo3(typename enable_if<true>::type* = 0);

调用Foo3()时，编译器会触发普通隐式转换——C++标准允许将整数常量0隐式转换为任意指针类型（兼容C语言用0表示空指针的历史用法）。因此int类型的0会被自动转换成void*，匹配函数参数类型，调用成功。

2. 模板参数替换不允许整数到指针的转换 #

对于Foo4这类模板函数：

template <typename enable_if<true>::type* = 0>
void Foo4();

模板参数替换过程遵循严格规则，仅允许有限的转换类型：

• 数组类型隐式退化为指针类型
• 函数类型隐式转换为函数指针类型
• 添加/移除const/volatile限定符

而整数到指针的转换不在允许范围内。这里的0是int类型，无法直接转换成void*类型的模板参数，因此模板参数替换失败，该模板函数会被SFINAE（替换失败不是错误）机制排除出候选函数列表。如果没有后面的重载Foo4()，编译器就会报“找不到匹配函数”的错误。

3. 为什么nullptr在两种场景都能工作？ #

nullptr的类型是std::nullptr_t，它可以隐式转换为任意指针类型，且这种转换在模板参数替换阶段是被允许的——nullptr_t到指针类型的转换属于标准认可的隐式转换范畴，无论在函数参数还是模板参数场景都能正常匹配。

错误信息解读 #

禁用第二个Foo4()重载后，编译器的错误信息直接点明问题：

error: could not convert template argument ‘0’ from ‘int’ to ‘std::enable_if<true, void>::type*’ {aka ‘void*’}

这说明模板参数替换时，无法完成int到void*的转换，导致模板函数无法被实例化。

内容的提问来源于stack exchange，提问作者Ben Edri