C++ 函数重载：核心规则、实现机制与实战案例

2. 提升匹配

当参数类型不能直接匹配，但可以通过隐式提升转换为重载函数的参数类型时，触发提升匹配。常见的提升包括 char/short 提升为 int，以及 float 提升为 double。

#include <iostream>
using namespace std;

void func(int a) {
    cout << "int 类型参数：" << a << endl;
}

void func(double b) {
    cout << "double 类型参数：" << b << endl;
}

int main() {
    char c = 'A';
    float f = 3.14f;
    
    // char 提升为 int，匹配 func(int)
    func(c);
    
    // float 提升为 double，匹配 func(double)
    func(f);
    return 0;
}

3. 转换匹配

当参数需要通过隐式类型转换才能匹配重载函数时，触发转换匹配。这是优先级最低的匹配方式。在实际开发中，过度依赖转换匹配容易导致二义性，应尽量避免。

#include <iostream>
using namespace std;

void func(long a) {
    cout << "long 类型参数：" << a << endl;
}

void func(double b) {
    cout << "double 类型参数：" << b << endl;
}

int main() {
    // int 可以转换为 long 或 double，编译错误：二义性
    // func(10);
    return 0;
}

二、函数重载与默认参数的冲突处理

在使用默认参数时，需要特别小心。如果重载函数的参数列表存在重叠，且部分参数使用了默认值，很容易产生调用二义性，导致编译失败。

1. 冲突场景示例

#include <iostream>
using namespace std;

void display(int a, int b = 10) {
    cout << "a = " << a << ", b = " << b << endl;
}

void display(int a) {
    cout << "a = " << a << endl;
}

int main() {
    // 编译错误：二义性，无法确定调用哪个 display
    display(5);
    return 0;
}

2. 解决冲突的方法

• 调整参数列表：避免参数数量和类型的重叠。
• 显式传递参数：调用时明确传递所有参数，强制触发精确匹配。
• 拆分功能：如果逻辑差异较大，考虑使用不同的函数名。

三、实战案例：重载实现通用计算器

为了展示重载的实际应用，我们来实现一个简单的通用计算器，支持整数和浮点数的加减乘除运算。

1. 实现思路

• 定义 4 个重载的 calculate 函数，分别对应 int 和 double 类型的加减乘除。
• 每个函数接收两个操作数和一个运算符，返回计算结果。
• 加入参数校验，特别是除法运算中需检查除数是否为 0，并抛出异常。

2. 完整代码实现

#include <iostream>
#include <stdexcept>
using namespace std;

// 整数运算重载函数
int calculate(int a, int b, char op) {
    switch(op) {
        case '+': return a + b;
        case '-': return a - b;
        case '*': return a * b;
        case '/':
            if(b == 0) {
                throw invalid_argument("除数不能为 0");
            }
            return a / b;
        default:
            throw invalid_argument("无效运算符");
    }
}

// 浮点数运算重载函数
double calculate(double a, double b, char op) {
    switch(op) {
        case '+': return a + b;
        case '-': return a - b;
        case '*': return a * b;
        case '/':
            if(b == 0.0) {
                throw invalid_argument("除数不能为 0");
            }
            return a / b;
        default:
            throw invalid_argument("无效运算符");
    }
}

int main() {
    try {
        // 调用 int 版本 calculate
        cout << "整数除法：" << calculate(10, 3, '/') << endl;
        
        // 调用 double 版本 calculate
        cout << "浮点数除法：" << calculate(10.0, 3.0, '/') << endl;
        
        // 测试除数为 0 的情况
        cout << calculate(5, 0, '/') << endl;
    } catch(const exception& e) {
        cout << "错误：" << e.what() << endl;
    }
    return 0;
}

3. 运行结果

整数除法：3
浮点数除法：3.33333
错误：除数不能为 0

四、总结

函数重载的核心在于参数列表的差异，返回值不参与重载决议。编译器匹配重载函数的优先级遵循：精确匹配 > 提升匹配 > 转换匹配。在使用默认参数时，务必注意避免调用二义性。在实战开发中，合理使用函数重载可以有效简化代码结构，提升函数的通用性和可维护性。