如何在不修改调用语法的情况下解决my_print重载函数歧义？

问题重现 #

你的代码中两个my_print重载导致编译器无法确定调用意图：

void my_print(bool is_red, const char* format, ...){
    va_list args;
    va_start(args, format);
    if(is_red) 
        print_red(format, args);
    else
        print_normal(format, args);
    va_end(args);
}

void my_print(const char* format, ...){
    va_list args;
    va_start(args, format);
    print_normal(format, args);
    va_end(args);
}

int main() {
    my_print((const char*)"Hello %s\n", "World");
    return 42;
}

编译器报错：

more than one instance of overloaded function "my_print" matches the argument list:
function "my_print(bool is_red, const char *format, ...)" (declared at line 12)
function "my_print(const char *format, ...)" (declared at line 22)
argument types are: (const char *, const char [6])

歧义原因是：const char*可以隐式转换为bool（非空指针转为true），因此编译器认为两种匹配都成立：

1. 匹配第二个重载：第一个参数直接匹配const char*，第二个参数属于可变参数部分
2. 匹配第一个重载：第一个参数隐式转bool，第二个参数匹配const char*，可变参数部分为空

由于C++重载决议中这两种转换路径没有明确优先级，因此触发歧义错误。

不修改调用语法的解决方案 #

方案1：使用强类型包装避免隐式转换 #

给第一个重载的布尔参数定义一个显式构造的包装类型，阻断const char*到该类型的隐式转换：

// 定义强类型包装
struct PrintColor {
    bool is_red;
    explicit PrintColor(bool val) : is_red(val) {}
};

// 修改第一个重载的参数类型
void my_print(PrintColor color, const char* format, ...){
    va_list args;
    va_start(args, format);
    if(color.is_red) 
        print_red(format, args);
    else
        print_normal(format, args);
    va_end(args);
}

// 第二个重载保持不变
void my_print(const char* format, ...){
    va_list args;
    va_start(args, format);
    print_normal(format, args);
    va_end(args);
}

此时，原调用my_print("Hello %s\n", "World")只会匹配第二个重载；若要调用带颜色的版本，需显式构造PrintColor：my_print(PrintColor(true), "Hello %s\n", "World")。

方案2：用SFINAE限制重载匹配范围 #

借助C++标准库的类型特性，让第一个重载仅在第一个参数为bool类型时参与决议：

#include <type_traits>

// 仅当第一个参数是bool时，该重载才有效
template <typename T, typename = std::enable_if_t<std::is_same_v<T, bool>>>
void my_print(T is_red, const char* format, ...){
    va_list args;
    va_start(args, format);
    if(is_red) 
        print_red(format, args);
    else
        print_normal(format, args);
    va_end(args);
}

// 第二个重载保持不变
void my_print(const char* format, ...){
    va_list args;
    va_start(args, format);
    print_normal(format, args);
    va_end(args);
}

这样，当传入第一个参数为const char*时，模板重载会被SFINAE规则排除，编译器只会选择第二个重载，消除歧义。

方案3：使用枚举类替代bool参数 #

将布尔参数替换为枚举类，彻底避免隐式转换的可能：

// 定义打印模式枚举
enum class PrintMode { Normal, Red };

// 修改第一个重载的参数类型
void my_print(PrintMode mode, const char* format, ...){
    va_list args;
    va_start(args, format);
    if(mode == PrintMode::Red) 
        print_red(format, args);
    else
        print_normal(format, args);
    va_end(args);
}

// 第二个重载保持不变
void my_print(const char* format, ...){
    va_list args;
    va_start(args, format);
    print_normal(format, args);
    va_end(args);
}

调用带颜色的版本时需传入枚举值：my_print(PrintMode::Red, "Hello %s\n", "World")，原调用则自动匹配第二个重载。

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