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

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.

Table 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 转换。这两个都被归类为 "integral conversions"，因此都不被视为 "better" 转换，并且重载不明确。

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

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

BigUnsigned a(5000000000U); // unambiguous

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

因此，对于一个足够大的参数，它不适合 signed long long，这给出了一个明确的调用，其中十进制常量仍然是不明确的。

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

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

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

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

Ambiguous call to overloaded integer constructor

c++

integer

type-conversion

integer-promotion

c++11