为何Clang与GCC会对该特定C++代码场景报错？

#include <string>
#include <cstdint>

typedef unsigned long long u64;

struct A{
    A(int a) : m_a(a){}
    A(u64 a) : m_a(a){}
    A(double a) : m_a(a){}
    u64 m_a;
};

struct B{
    B(int b) : m_b(b){}
    B(uint64_t b) : m_b(b){}
    B(double b) : m_b(b){}
    uint64_t m_b;
};

int main(){
    
    // 正常运行
    unsigned long long a = std::stoull("10000");
    
    // 正常运行
    auto a2 = A(a);

    // 正常运行
    auto a3 = A(std::stoull("10000"));
    
    // 正常运行
    uint64_t b = std::stoull("10000");
    
    // 正常运行
    auto b2 = B(b);

    // 编译报错
    auto b3 = B(std::stoull("10000"));

    return 0;
}

上述代码中，A(std::stoull("10000"))可以正常编译，但B(std::stoull("10000"))却会被Clang和GCC报错，核心疑问是：两者逻辑看似一致，为何结果不同？

核心原因：类型匹配与重载决议的歧义 #

1. std::stoull的返回类型：std::stoull的标准返回类型是unsigned long long。
2. 结构体A的匹配逻辑：
   • A类中定义了A(u64)构造函数，而u64是unsigned long long的typedef（完全等价类型）。
   • 当传递std::stoull的返回值时，A(u64)属于精确匹配，在重载决议中优先级最高，编译器直接选择该构造函数，无歧义。
3. 结构体B的匹配逻辑：
   • B类的构造函数参数是uint64_t，这个类型的定义依赖于平台：在多数64位系统中，uint64_t被定义为unsigned long（而非unsigned long long）——尽管两者的位宽都是64位，但它们是不同的C++类型。
   • 当传递unsigned long long类型的值给B的构造函数时，三个候选构造函数都需要进行标准转换：
     • 转换到int：缩窄转换，优先级最低；
     • 转换到uint64_t（即unsigned long）：跨类型的数值转换；
     • 转换到double：数值类型转换；
   • 后两个转换的优先级相同，编译器无法确定应该选择哪个构造函数，因此报出重载歧义错误。

涉及的C++特性与规则 #

• typedef的等价性：typedef只是给已有类型起别名，并非创建新类型，因此u64和unsigned long long在类型系统中完全等价，触发精确匹配。
• stdint.h类型的平台相关性：uint64_t等固定宽度整数类型的底层实现由平台决定，可能与unsigned long long并非同一类型。
• 重载决议规则：当多个构造函数都需要进行优先级相同的标准转换时，编译器会判定为歧义，拒绝编译。

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