如何在C++中不使用模板为两类整数重载函数？

你需要实现支持两类整数类型的函数重载：一类是语言定义的实现大小类型（signed char/short/int/long/long long），另一类是固定大小类型（int8_t/int16_t/int32_t/int64_t），但直接重载会因typedef导致重定义，仅重载单一类型又存在歧义或兼容性顾虑。以下是可行的非模板解决方案：

方案一：仅重载实现定义类型（推荐，符合标准） #

根据C++标准，如果intN_t系列类型存在，它们必然是对应宽度的标准整数类型的typedef：

• int8_t → signed char（唯一的8位有符号整数类型）
• int16_t → short（若short为16位，否则该类型不存在）
• int32_t → int或long（取决于平台的类型宽度）
• int64_t → long或long long（同理）

因此，仅实现标准类型的重载即可覆盖所有固定大小类型的调用，固定大小类型的参数会自动匹配到对应的标准类型重载：

#include <cstdint>

void foo(signed char x) {}
void foo(short x) {}
void foo(int x) {}
void foo(long x) {}
void foo(long long x) {}

int main() {
    // 固定大小类型自动匹配对应标准类型重载
    foo(static_cast<int8_t>(1));
    foo(static_cast<int16_t>(1));
    foo(static_cast<int32_t>(1));
    foo(static_cast<int64_t>(1));
    
    // 标准类型调用正常
    foo(static_cast<signed char>(1));
    foo(static_cast<short>(1));
    foo(1);
    foo(1L);
    foo(1LL);
}

这种写法完全符合C++标准，不存在兼容性问题——只要编译器支持intN_t系列类型，就必然能正确匹配。

方案二：条件编译避免重定义（针对极端场景） #

如果必须显式定义固定大小类型的重载，可以利用编译器内置的类型检查宏，通过条件编译避免typedef导致的重定义：

#include <cstdint>

// 先定义标准类型的重载
void foo(signed char x) {}
void foo(short x) {}
void foo(int x) {}
void foo(long x) {}
void foo(long long x) {}

// 仅当int8_t不是signed char的typedef时添加重载
#if !__builtin_types_compatible_p(int8_t, signed char)
void foo(int8_t x) {}
#endif

// 仅当int16_t不是short的typedef时添加重载
#if !__builtin_types_compatible_p(int16_t, short)
void foo(int16_t x) {}
#endif

// 仅当int32_t既不是int也不是long的typedef时添加重载
#if !__builtin_types_compatible_p(int32_t, int) && !__builtin_types_compatible_p(int32_t, long)
void foo(int32_t x) {}
#endif

// 仅当int64_t既不是long也不是long long的typedef时添加重载
#if !__builtin_types_compatible_p(int64_t, long) && !__builtin_types_compatible_p(int64_t, long long)
void foo(int64_t x) {}
#endif

注意：这种写法依赖编译器特定的内置函数（如GCC的__builtin_types_compatible_p，MSVC对应__is_same），跨编译器需要调整条件宏，通用性不如方案一。

你遇到的问题解析 #

1. 同时重载两类类型导致重定义：intN_t是标准类型的typedef，C++将typedef视为同一类型，因此重复定义同一参数类型的函数会触发重定义错误。

2. 仅重载固定大小类型出现歧义：在部分平台（如Linux x86_64），long和long long均为64位，若int64_t被定义为long，传递long long类型参数时，编译器需要进行类型转换；如果此时存在多个可能的转换路径（尽管实际优先级不同），可能触发歧义错误——本质是仅重载固定大小类型无法覆盖所有标准类型的原生调用。

3. 仅重载实现定义类型的兼容性顾虑：如方案一所述，这种顾虑是多余的，标准保证固定大小类型是标准类型的typedef，因此完全兼容。

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