c++11 - foo({1,2}) 如何为 "void foo(pair<int,int>)"工作

Question

std::pair 没有以初始化列表为参数的构造函数，但下面的代码如何编译？

void foo(std::pair<int,int> pr)
{
}

void foo2(std::tuple<int,int,int> t)
{
}

void bar()
{
    foo({1,2});                               // compile OK
    foo(std::pair<int,int>{1,2});             // compile OK
    foo2(std::tuple<int,int,int>{1,2,3});     // compile OK
    foo2({1,2,3});     // compile error
}

我用的是clang3.7.0

Answer 1

统一初始化与初始化列表无关。大括号初始化列表(用于初始化对象时 {} 的技术术语)可以调用任何构造函数(尽管它可以仅限于非显式构造函数，取决于您如何使用它)。它更喜欢 initializer_list 构造函数，但它会调用与其参数列表匹配的任何构造函数。

因此它调用带有两个适当类型参数的pair 构造函数。

foo2 是一个编译错误，原因我在上面提到过。 pair 的采用两个值的构造函数不是显式的，但 tuple 的等效构造函数是显式的。因此，您需要显式使用类型名称来调用构造函数:

foo2(std::tuple<int, int, int>{1,2,3});

请注意，在 C++17 中，如果类型列表中的类型可以从给定类型非显式转换，则此 tuple 构造函数将变为非显式。所以您的原始语句应该在 C++17 实现下工作。