为什么模板内的类型检查更严格？ [复制]

Question

我正在阅读 S. Meyers 的《Effective Modern C++》，我发现了一些我无法完全理解的东西。

第 8 项解释了为什么 nullptr 应该优先于 0 或 NULL。支持nullptr 的主要论点是在重载决议中更安全的行为。实际上，您可以避免指针和整数类型之间的意外混淆，但这不是我的问题的重点。

要解决我的实际问题，请考虑以下代码，该代码基于书中使用的示例：

#include <memory>

class MyClass {
    int a;
};

// dummy functions that take pointer types
int    f1(std::shared_ptr<MyClass> spw){return 1;};  
double f2(std::unique_ptr<MyClass> upw){return 1.0;};
bool   f3(MyClass* pw){return true;};

// template that calls a function with a pointer argument
template<typename FuncType,
         typename PtrType>
auto CallFun(FuncType func, PtrType ptr) -> decltype(func(ptr))
{
    return func(ptr);
}

int main()
{
    // passing null ptr in three different ways
    // they all work fine int this case
    auto result1 = f1(0);        // pass 0 as null ptr to f1
    auto result2 = f2(NULL);     // pass NULL as null ptr to f2
    auto result3 = f3(nullptr);  // pass nullptr as null ptr to f3 }

    // passing null ptr in three different ways through the template
    // only nullptr works in this case
    auto result4 = CallFun(f1, 0);         // compile error!
    auto result5 = CallFun(f2, NULL);      // compile error!
    auto result6 = CallFun(f3, nullptr);   // OK

    return 0;
}

对f1、f2 和f3 的前三个直接调用对于0、NULL 或nullptr 作为空指针编译得很好。随后的 3 次调用，通过模板函数CallFun 执行，更加挑剔：您必须使用nullptr，否则将不接受整数类型（0 和NULL）之间的转换。换句话说，类型检查在模板内部发生时似乎更加严格。有人可以澄清发生了什么吗？

Answer 1

CallFun 将0 和NULL 的PtrType 类型推导出为int，不会隐式转换为指针类型。

如果您想了解我的意思，请先尝试将0 和NULL 存储在auto'd 变量中，然后从这些变量中调用f1 和f2。他们不会编译。

0 和 NULL 本身隐式转换为指针类型，因为我猜它们是文字值。标准中可能有一些关于它的内容，但我认为你明白了。