C++实现BigInt类构造函数匹配异常 引入iostream后问题自动解决

问题根因 #

1. 核心原因：构造函数重载决议歧义 #

你定义的两个普通构造函数参数排列刚好相反：

BigInt(std::string number = "0", unsigned char base = DEFAULT_BASE);
BigInt(unsigned char base, std::string number = "0");

当你调用BigInt{"+-+---+-+--+1", 10}时，传入的第一个参数是const char*类型（字符串字面量的默认类型），第二个参数是int类型，此时两个构造函数的匹配代价完全相等：

• 匹配第一个构造：const char* → std::string（用户定义转换），int → unsigned char（标准转换）
• 匹配第二个构造：int → unsigned char（标准转换），const char* → std::string（用户定义转换）

这种情况属于C++标准规定的重载决议歧义，但不同编译器的处理逻辑有差异：部分编译器（比如MSVC）会选择第二个构造函数，此时传入的第一个参数是字符串的内存地址，隐式转换为unsigned char后值远大于36，直接触发断言。

2. 为什么加<iostream>后恢复正常？ #

<iostream>头文件内部会引入std::string相关的重载、特化或者字符串字面量相关的辅助定义，会改变重载决议的优先级，让编译器优先匹配第一个构造函数，所以运行正常。这属于编译器实现细节导致的差异，不是标准规定的行为。

3. 额外隐藏bug #

你写的拷贝构造函数漏拷贝了m_sign成员变量，后续做拷贝操作时会出现符号位异常的问题：

// 原错误实现
BigInt::BigInt(const BigInt &copy)
{
    m_number = copy.m_number;
    m_base = copy.m_base;
    // 缺少 m_sign = copy.m_sign;
}

解决方案 #

1. 优先删除参数顺序颠倒的冗余构造函数，避免歧义；如果必须保留，给构造函数加上explicit关键字强制显式调用，避免隐式转换导致的匹配错误。
2. 传参时显式把字符串字面量转为std::string，明确匹配第一个构造：BigInt bigInt{std::string("+-+---+-+--+1"), 10};
3. 补充拷贝构造函数中m_sign的拷贝逻辑。

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