C++的花括号初始化就是用来匹配std::initializer_list构造函数的吗？

[mq-loser]

C++的花括号初始化就是用来匹配std::initializer_list构造函数的吗？

[Mq-b]

显然不是，虽然在某些情况下它会优先。不过事实上 {} 自身的作用可以说是数不胜数，它不是表达式，没有类型。

不多bb，参见上古博客。

回到最开始的问题

C++的花括号初始化就是用来匹配std::initializer_list构造函数的吗？

我们可以随便举出很多的反例：

#include <iostream>
#include <vector>

struct X{
    X() { puts("X"); }
};

int main(){
    std::vector<X> v{10};
}

{10} 匹配到的是 std::vector 的

constexpr explicit vector( size_type count, const Allocator& alloc = Allocator() );

C++20 起，构造拥有 count 个 默认插入的 T 实例的容器。

---

std::vector v{std::vector{1,2,3}};  // std::vector<int>

std::vector v{std::vector{1},std::vector{2}}; //就能得到std::vector<std::vector<int>>

• 当从类型为正在构造的类模板的特化或特化子级的单个元素进行初始化时，复制构造函数优先于列表构造函数。

在 loser Homework 第12题：实现 make_vector 有详细讲解。

[Matrix-A]

补充说明：

花括号初始化器在初始化类型 T 时，如果

1. 不包含指派初始化器；
2. T 不是聚合类型；
3. 不满足 T 字符数组且初始化列表拥有单个类型适当的字符串字面量元素；
4. 花括号初始化器不为空；
5. T 不为 std::initializer_list 特化

的情况下，会优先匹配 接受 std::initializer_list 作为它的唯一实参，或剩余实参都具有默认值 的构造函数。

因此上面 Mq-b 给出的 std::vector<X> v{10}; 是优先匹配了 接受 std::initializer_list 作为它的唯一实参，或剩余实参都具有默认值 的构造函数。

只是这个函数的参数是 std::initializer_list<X>，不满足条件，才进行了后续的匹配。