MinGW编译含__int128的代码时出现operator<<重载歧义错误的原因

问题场景 #

使用MinGW（版本：x86_64-13.1.0-release-win32-seh-msvcrt-rt_v11-rev1）编译以下代码时触发重载歧义错误：

#include <iostream>

void f()
{
    __int128_t val = 1;
    
    std::cout << val;
}

编译报错信息：

error: ambiguous overload for 'operator<<' (operand types are 'std::ostream' {aka 'std::basic_ostream'} and '__int128')
[build] 16 | std::cout << val;
[build] | ~~~~~~~~~ ^~ ~~~
[build] | | |
[build] | | __int128
[build] | std::ostream {aka 'std::basic_ostream'}
error: ambiguous overload for 'operator<<' (operand types are 'std::ostream' {aka 'std::basic_ostream'} and '__int128')
[build] 16 | std::cout << val;
[build] | ~~~~~~~~~ ^~ ~~~
[build] | | |
[build] | | __int128
[build] | std::ostream {aka 'std::basic_ostream'}

在线GCC编译该代码也会出现相同错误；以下重载函数代码同样触发类似歧义：

void f1 (uint64_t val) {}
void f1 (int32_t val) {}

void f()
{
    __int128_t val = 1;
    
    f1(val);
}

错误原因 #

1. __int128_t 是非标准扩展类型 #

__int128/__int128_t是GCC、MinGW等编译器提供的非标准整数类型扩展，C++标准库并未为其提供预定义的operator<<重载，也没有明确它到标准整数类型的转换优先级。

2. 隐式转换无优先级导致歧义 #

当编译器找不到直接匹配__int128_t的重载函数时，会尝试将__int128_t隐式转换为已有的标准整数类型来匹配重载：

• 在第一个案例中，std::ostream的operator<<有针对long long、unsigned long long、int等多种整数类型的重载，__int128_t转换到这些类型的难度完全相同，编译器无法判定哪个重载更合适。
• 在第二个案例中，f1的两个重载分别接受uint64_t和int32_t，__int128_t转换到这两个类型的转换等级一致，没有哪个转换属于“更优”的匹配，因此编译器无法确定调用哪个函数。

3. 重载决议规则的核心限制 #

C++重载决议要求，当多个重载都能通过隐式转换匹配时，必须存在一个优先级最高的转换路径才能确定调用目标。而__int128_t作为非标准类型，它到各标准整数类型的转换没有优先级差异，因此触发重载歧义错误。

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