如何确定编译器使用的隐式转换？大型项目编译疑问排查

问题背景 #

在大型项目中，一段明显不符合预期的代码（直接将std::vector<std::string>与int比较）能正常编译，但独立测试时无法通过。推测是项目中存在可触发隐式转换的类或运算符重载，需要明确编译器具体使用了哪个运算符。使用gcc 8.5.0，编译选项包含-Wall -Wextra -Wconversion。

可复现该现象的示例代码：

#include <string>
#include <vector>
#include <iostream>

class A
{
public:
    A() = default;
    A(const A&) = default;
    A(const std::vector<std::string>&) {}
    A(int) {}
};
bool operator==(const A&, const A&) { return true; }

int main()
{
    std::vector<std::string> foo;
    if(foo == 1)
        std::cout << "foo == 1" << std::endl;
    return 0;
}

定位方法 #

• 启用gcc详细诊断选项：添加-fdiagnostics-show-template-tree编译选项，编译器会输出隐式转换的完整路径，包括std::vector<std::string>和int分别被转换为哪个类，以及匹配到的operator==重载。
• 增强警告信息：在现有编译选项基础上添加-Wsign-conversion和-Wfloat-conversion，编译器会明确指出发生隐式转换的位置和类型，帮助定位转换源。
• 预编译展开排查：使用g++ -E命令生成预编译代码，全局搜索项目中定义的operator==重载，以及包含可接收std::vector<std::string>或int的转换构造函数的类，从中筛选可能的匹配项。
• 换用clang辅助诊断：clang的诊断信息通常更直观，编译时会直接提示隐式转换的具体过程，例如指出std::vector<std::string>被转换为某个自定义类，int也被转换为该类，进而调用对应的operator==。
• 代码注释排查：临时注释项目中可疑的全局运算符重载或类的转换构造函数，若代码无法编译，则说明被注释的内容就是触发隐式转换的原因。

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