C++模板函数传入NULL/nullptr时能否省略显式类型指定？

先看你定义的模板函数：

template<typename T>
void f(const T* t1, const T* t2) {}

当你在main里执行以下调用时会编译失败：

int i = 1;
f(&i, NULL);

报错提示：candidate template ignored: could not match 'const T *' against 'int'，换成f(&i, nullptr)也会报类似错误，只有显式指定f<int>(&i, NULL)才能正常编译。

推导失败的原因 #

• 对于NULL：多数编译器中NULL是#define NULL 0，本质是int类型。模板推导时，第一个参数&i是int*，会被推导为const int*，对应模板的const T*，因此T会被推导为int；但第二个参数NULL是int类型，和const T*（即const int*）不匹配，模板要求两个参数类型统一为const T*，编译器无法找到同时满足两个参数的T，推导失败。
• 对于nullptr：它的专属类型是nullptr_t，并非具体指针类型。第一个参数推导T为int，但第二个参数是nullptr_t，和const int*不匹配，同样导致推导失败。

无需显式指定f<int>的解决方法 #

完全可以不用手动指定模板类型，只要让第二个参数的类型和第一个参数推导出来的const T*匹配即可：

1. 对nullptr/NULL做类型转换
   将第二个参数转换成const int*类型，让编译器能统一推导T：

   int i = 1;
   f(&i, static_cast<const int*>(nullptr));
   // 用NULL的话写法一致：
   f(&i, static_cast<const int*>(NULL));
   

2. 新增模板重载适配nullptr_t
   专门写一个重载模板处理第二个参数为nullptr_t的情况：

   template<typename T>
   void f(const T* t1, std::nullptr_t) {
       // 直接复用原模板逻辑即可
       f(t1, static_cast<const T*>(nullptr));
   }
   

   这样调用f(&i, nullptr)时，编译器会匹配这个重载模板，自动推导T为int。

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