C++如何处理或避免函数参数char到int的隐式转换问题

方法1：删除非int类型的重载（兼容C++11及以上版本） #

直接为add2声明所有非int参数的模板重载并标记为删除，编译器遇到非int传参时会直接匹配到已删除的重载，触发编译报错，是兼容性最高的实现方案：

#include <iostream>
class calc {
public:
    int add2(int x) {
        return x + 2;
    }
    // 所有非int类型的传参都会匹配到该已删除模板
    template<typename T>
    int add2(T x) = delete;
};

int main() {
    calc c;
    c.add2(1); // 正常编译，返回3
    c.add2('a'); // 编译报错：尝试使用已删除的函数
    c.add2(1.5); // 编译报错：尝试使用已删除的函数
    c.add2(1L); // 编译报错：尝试使用已删除的函数
}

方法2：静态断言+类型萃取（兼容C++11及以上版本） #

借助类型萃取工具在编译期校验参数类型，支持自定义错误提示，方便排查问题：

#include <iostream>
#include <type_traits>
class calc {
public:
    template<typename T>
    int add2(T x) {
        static_assert(std::is_same_v<T, int>, "参数仅支持int类型");
        return x + 2;
    }
};

int main() {
    calc c;
    c.add2(1); // 正常编译
    c.add2('a'); // 编译报错，输出自定义提示"参数仅支持int类型"
}

方法3：C20 概念约束（C20及以上版本） #

用C++20引入的concept特性直接约束参数类型，语法最简洁直观：

#include <iostream>
#include <concepts>
class calc {
public:
    int add2(std::same_as<int> auto x) {
        return x + 2;
    }
};

int main() {
    calc c;
    c.add2(1); // 正常编译
    c.add2('a'); // 编译报错：参数类型不满足same_as<int>约束
}

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