如何设置C++重载函数的调用优先级以解决无参调用歧义问题

你遇到的二义性问题根源是：两个重载函数在无参调用时都可以通过默认参数完成匹配，且二者的参数类型转换序列优先级完全相同，导致重载决议失败。
C++标准没有提供原生的「重载函数优先级设置」语法，但可以通过以下技巧实现无歧义的foo()调用：

可选解决方案 #

方法1：调整低优先级重载为模板函数（推荐） #

C++重载决议规则明确：非模板函数的匹配优先级高于模板函数。你只需要把希望降低优先级的重载改为模板函数即可。比如你希望无参调用优先匹配void foo(char a = 'A', int b = 0)版本，可以将第二个重载修改为：

template<typename T = int>
void foo(T b = 0, char a = 'A')
{
    // 原有代码逻辑
}

此时调用foo()时，编译器会优先选择非模板的第一个重载，不会产生二义性。

方法2：利用省略号参数的低优先级特性 #

C++中匹配带...可变参数的函数优先级是所有重载中最低的，你可以给希望降低优先级的重载额外加一个省略号参数：

// 优先级更低的第二个重载
void foo(int b = 0, char a = 'A', ...)
{
    // 原有代码逻辑
}

注意：该方法会跳过省略号位置的参数类型检查，存在安全隐患，仅适合简单场景使用。

方法3：调用时显式传参 #

如果不想修改原有函数定义，可以在调用时显式传入参数明确匹配目标重载：

• 匹配第一个重载：foo('A', 0)
• 匹配第二个重载：foo(0, 'A')

内容的提问来源于stack exchange，提问作者justANewb stands with Ukraine