为何GCC与Clang可编译链接错误打印函数指针的代码？

这个问题的核心在于ODR（单定义规则）的判定细节以及不同编译器对函数指针隐式转换的实现差异，咱们来具体拆解：

1. 函数指针转bool是否属于ODR使用？ #

当你把函数指针&foo传给接受bool的operator<<时，触发的是C++标准里的「函数指针到bool的隐式转换」——只要指针非空就会被转换为true。但关于这种转换是否属于对foo的ODR使用，不同编译器的判定逻辑不一样：

• GCC 7.2和Clang 5.0认为：这种转换只需要确认函数指针是否非空（也就是函数是否被声明过），不需要访问foo的具体实现代码，因此不属于ODR使用。所以即使没有foo的定义，链接器也不会报错，只会发出警告提醒你这种转换的潜在问题。
• Visual Studio 15.5.6的链接器则将这种转换判定为需要foo的定义才能完成，因此当找不到foo的实现时，就会抛出链接错误。

2. 警告的意义 #

GCC和Clang发出的警告（类似ISO C++ forbids converting a pointer to function to a bool）是在提示你这种写法不符合C++标准的推荐规范，但并非编译错误——它们的编译器/链接器并没有将其视为必须要有函数定义的场景，所以允许程序通过链接并运行。

3. 补充验证小提示 #

如果你把foo的声明改成extern "C" void foo();，再尝试编译链接，会发现不同编译器的行为可能依然存在差异，这也侧面印证了不同厂商对ODR判定边界的实现不同。

本质上，这是C++标准在该场景下的描述存在一定模糊性，导致各编译器厂商的实现出现分歧。GCC/Clang的处理更偏向于“仅需指针存在性”，而VS则要求“必须有函数定义”。

内容的提问来源于stack exchange，提问作者Edgar Rokjān