MSVC中NULL的行为异常：函数重载解析为何与GCC/Clang不同？

先看你给出的测试代码：

#include <cstddef>
#include <cstdio>

void f(int* ptr){
    std::printf("int*\n");
}

void f(int val){
    std::printf("int\n");
}

int main() {
    f(NULL);
}

以及你用来确认NULL类型的代码：

#if defined(_MSC_VER)
    static_assert(std::is_same<decltype(NULL), int>(), "");
#else
    static_assert(std::is_same<decltype(NULL), long>(), "");
#endif

核心原因：NULL的类型差异 + 重载决议规则 #

1. 标准对NULL的定义 #

C++标准规定，NULL是值为0的整型常量表达式（属于空指针常量的一种），具体实现可以选择int或long类型——这就是三个编译器行为差异的根源。

2. 重载决议的优先级逻辑 #

C++重载决议会优先选择匹配度最高的函数，优先级从高到低大致为：

• 精确匹配（实参与形参类型完全一致）
• 仅需少量标准转换的匹配
• 转换等级相同时，会产生歧义

MSVC的行为（NULL为int）

当NULL是int类型时，调用f(NULL)：

• f(int)是精确匹配（实参int和形参int完全一致）
• f(int*)需要将int（空指针常量）转换为int*，属于标准转换

精确匹配的优先级远高于标准转换，因此MSVC会直接选择f(int)，输出int，这完全符合标准。

GCC/Clang的行为（NULL为long）

当NULL是long类型时，调用f(NULL)：

• f(int)需要将long转换为int，属于积分转换（标准转换序列的一种）
• f(int*)需要将long（空指针常量）转换为int*，属于空指针转换（同样是标准转换序列的一种）

这两种转换的等级完全相同，编译器无法判断哪个重载更符合意图，因此报歧义错误，这也符合标准。

结论 #

你的理解存在一点偏差：歧义并非必然发生，只有当NULL的类型与int不匹配时，才会因为两个转换等级相同而产生歧义。MSVC的行为是符合标准的，GCC/Clang的行为也符合标准，差异仅源于三者对NULL的具体类型定义不同。

另外补充：C++11引入的nullptr是std::nullptr_t类型，它可以隐式转换到任何指针类型，但无法转换为整型，因此调用f(nullptr)会明确选择f(int*)，不会产生歧义，这是更安全的空值写法。

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