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

Question

有没有人愿意解释为什么案例 1 和案例 2 对于此代码片段有不同的输出。

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 revision 251580] Copyright (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 创建一个新的 A (int ) 然后将其移入集合中。因此，A(A&& )。

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