列表初始化的返回类型是什么？

Question

有没有人想解释一下为什么案例 1 和案例 2 对这段代码 sn-p 有不同的输出。

struct A {
    A() { cout << "A()" << endl; }
    A(int i) { cout << "A(int)" << endl; }
    A(const A&) { cout << "A(const A&)" << endl; }
    A(A&&) noexcept { cout << "A(A&&)" << endl; }
    A& operator=(const A&) { cout << "operator=(const A&)" << endl; return *this; }
    A& operator=(A&&) noexcept { cout << "operator=(A&&)" << endl; return *this; }
    friend bool operator< (const A&, const A&) { return true; }
};

int main() {
    std::set<A> aSet;
    aSet.insert(1);       // case 1
    //aSet.insert({1});   // case 2

    return 0;
}

对于情况 1，输出为：

A(int)
A(A&&)

对于情况 2 是：

A(int)
A(const A&)

编译器版本为：

g++ --version g++-7 (SUSE Linux) 7.2.1 20170901 [gcc-7-branch 修订版 251580] 版权所有 (C) 2017 Free Software Foundation, Inc.

Answer 1

std::set::insert 的相关重载为：

std::pair<iterator,bool> insert( value_type const& value ); // #1
std::pair<iterator,bool> insert( value_type&& value );      // #2
void insert( std::initializer_list<value_type> ilist );     // #6

当您调用aSet.insert(1); 时，它会优先调用#2 而不是#1 - 这将通过A(int ) 创建一个新的A，然后将其移动到集合中。因此，A(A&& )。

但是，当您调用aSet.insert({1}) 时，选择的重载是#6。每当您使用列表初始化时，std::initializer_list 候选者是强烈首选（基本上，我们首先仅考虑这些候选者进行重载解析，然后，如果我们不这样做找到一个，考虑其余部分，我们是否重做重载解决方案）。由于std::initializer_list 由const array 支持，一旦我们通过A(int ) 创建了A，我们必须 将其复制出来——我们不能移动它。因此A(A const& )。