使用单个int的初始化列表时，int与std :: vector<int>的重载决议

Question

使用单个int的初始化列表时，int与std :: vector<int>的重载决议

c++language-lawyeroverloadinginitializer-listoverload-resolution

3

为什么C++会优先选择基本类型的重载匹配，而不是更合适的初始化列表匹配？


#include <vector>

void foo([[maybe_unused]] int i) {}

void foo([[maybe_unused]] const std::vector<int>& v) {}

int main() {
    foo(0);
    foo({1,2,3});
    foo({0}); // calls foo(int) and issues a warning,
              // rather than what seems like the "better"
              // match foo(vector).. why? 
}

<source>:10:9: warning: braces around scalar initializer [-Wbraced-scalar-init]
    foo({0}); // calls foo(int) and issues a warning,
        ^~~

也许这个结果令人惊讶，因为编译器选择了一个选项，然后又发出一条诊断信息？

使用 Clang 14。

https://godbolt.org/z/1dscc5hM4

- Oliver Schönrock

不完全是这样。你正在告诉构建一个可以从int构建的东西，并且可以将其提供给调用foo。嗯，int就可以胜任这个角色。 - Lærne

对我来说并不意外。(顺便说一句，如果你真的把std::initializer_list<int>作为标题，它会获胜) - apple apple

@Lærne 但这不是 std::vector 的第10个构造函数吗？https://en.cppreference.com/w/cpp/container/vector/vector - Oliver Schönrock

为什么编译器在选择 int 时会选择 std::vector<int>，它可以在不创建任何中间类型的情况下调用 foo？强制使用 std::initializer_list 的规则仅适用于显式调用的函数/构造函数，而不适用于中间类型。否则，您可以争论任意创建中间类型，例如，它应该构建一个 std::array<int, 1> 来构建一个 std::deque<int> 来构建一个 std::vector<int> 来调用 foo。 - Lærne

1

@Giogre 这是因为你不能将临时变量绑定到左值引用 int&。 - apple apple

显示剩余10条评论

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- NathanOliver · Accepted Answer

{0}没有类型，所以我们需要尝试将其转换为重载集的参数类型。在考虑时

void foo([[maybe_unused]] const std::vector<int>& v) {}

我们需要参考[over.ics.list]/7.2，其中规定：

否则，隐式转换序列是一个用户定义的转换序列，其第二个标准转换序列是一个恒等转换。

因此，对于该转换序列，我们有一个用户定义的转换。

进一步观察:

void foo([[maybe_unused]] int i) {}

我们发现在[over.ics.list]/10.1中涵盖了转换，其中规定：

如果初始化列表只有一个元素，并且该元素本身不是初始化列表，则隐式转换序列就是将该元素转换为参数类型所需的序列；

在这种情况下，该元素是整型字面量0，这是一个精确匹配标准转换。

所以现在我们有了一个用户定义的转换和一个标准转换，这就是[over.ics.rank]/2.1所涵盖的内容。

标准转换序列优于用户定义的转换序列或省略号转换序列，而且

现在我们知道标准转换是更好的转换，这就是为什么选择int重载而不是std::vector<int>重载的原因。