c++ - 对重载整数构造函数的调用不明确

Question

我将提供这两个构造函数。

BigUnsigned(int value)
    :BigUnsigned(static_cast<unsigned long long>(value)){
}
BigUnsigned(unsigned long long value);

问题是某些参数值的调用不明确。根据this answer , 指的是 C++11 标准，

the type of an integer literal is the first of the corresponding list in Table 6 in which its value can be represented.

表6在这里

int
long int
long long int

因此，在我的例子中，构造函数参数的类型(整型文字)如果属于范围...

<0, numeric_limits<int>::max()>是int

---> 调用 BigUnsigned(int)

(numeric_limits<int>::max(), numeric_limits<long int>::max()>是long int

--->模棱两可

(numeric_limits<long int>::max(), too big literal)是long long int

--->模棱两可

如何在不声明更多构造函数或显式对参数进行类型转换的情况下解决歧义？

This question在 integer promotion和 integer conversion可能有用。不过，我仍然不知道哪一个适用于我的情况。

Answer 1

这里的一个基本问题是十进制文字永远不会被推导为无符号类型。因此，一个太大而无法放入 int 的十进制字面值最终需要在一种情况下进行有符号-> 无符号转换，而在另一种情况下需要进行 long->int 转换。这两个都被归类为“积分转换”，因此都不是“更好”的转换，并且重载是不明确的。

至于在不显式转换参数或添加更多构造函数的情况下处理此问题的可能方法，我可以看到几个。

至少对于文字，您可以添加一个后缀来指定文字的类型是无符号的:

BigUnsigned a(5000000000U); // unambiguous

另一个(也仅适用于文字)将使用十六进制或八进制文字，(根据问题中未引用的表 6 的一部分)可以推断为带符号的或 未签名。不过，这只是部分修复——它仅适用于将推断为无符号的值。对于一个典型的32位int、32位long、64位long long的系统，我相信它会这样出来:

所以对于一个足够大的参数，它不会适合一个有符号的 long long，这给出了一个明确的调用，其中十进制常量仍然是不明确的。

对于使用过较小类型的人来说，从 unsigned long 到 unsigned long long 的转换最初看起来可能是一种提升而不是转换，这会使其更可取。事实上，如果(例如)所涉及的类型是 unsigned short 和 unsigned int，那将是完全正确的——但这种特殊偏好仅适用于具有转换的类型排名低于 int(基本上翻译为:小于 int 的类型)。

因此，这解决了一个数字范围的问题，但前提是它们是文字，并且仅当它们属于一个特定的(尽管相当大)范围时。

对于更一般的情况，唯一真正的治疗方法是更改​​接口(interface)。要么删除 int 的重载，要么添加更多的 ctor 重载，特别是 unsigned 和 long long。这些可以是委派构造函数，就像现有的 int 构造函数一样，如果您决定完全需要它们(但最好只使用 unsigned long long 和完成它)。