C++ Clang或GCC拒绝/接受此CTAD代码是否正确？

Clang和GCC同意接受此代码

标准要求的行为是什么

#include <utility>
#include <iostream>
#include <vector>

int main()
{
    std::vector pairs = {std::pair{1,11},{2,22}, {3,33}};
    for (const auto& p: pairs) {
        std::cout << p.second << std::endl;
    }
}

#包括
#包括
#包括
int main（）
{
std:：vector pairs={std:：pair{1,11}，{2,22}，{3,33}；
用于（常数自动和p:对）{
std:：coutCTAD的过程在很大程度上是由定义的。广义上说，重载集是该类型的所有可访问构造函数，加上任何演绎指南。重载集是根据以下规则解决的：

按照[dcl.init]和[over.match.ctor]、[over.match.copy]或[over.match.list]中的说明执行初始化和重载解析（根据所执行的初始化类型而定）

由于“执行的初始化类型”肯定是列表初始化，因此我们继续讨论。在这里我们得到了这个臭名昭著的项目符号列表：


最初，候选函数是类T的初始值设定项列表构造函数（[dcl.init.list]），参数列表由初始值设定项列表作为单个参数组成


如果没有找到可行的初始值设定项列表构造函数，将再次执行重载解析，其中候选函数是类T的所有构造函数，参数列表由初始值设定项列表的元素组成



这告诉我们，
初始值设定项列表构造函数
是优先的；它们在重载解析时以一种非常特殊的方式首先被破解（即，构建一个
std:：initializer\u列表
并将其作为参数传递）。但是，Clang给出了一个明显的错误：

注意：候选函数模板不可行：最多需要2个参数，但提供了3个参数
向量（初始值设定项列表），

也就是说，它试图调用该构造函数，就好像“参数列表由初始值设定项列表的元素组成”。这表明Clang在通过CTAD进行列表初始化时跳过了第一个要点。在带括号的init列表周围添加参数“修复”了这一问题，这一事实也表明这就是正在发生的情况

奇怪的是，它适用于简单类型，如整数的初始值设定项列表。如果您将每个成员显式命名为
pair
，那么它就可以工作。Clang可以
auto
-推断
{std:：pair{1,11}，{2,22}，{3,33}生成的
初始值设定项列表的类型
很好。所以这个bug看起来非常具体。
几乎肯定不是问题的原因，但是，当使用
std:：pair
时，您应该真正地
#包括
…不要依赖于其他标题隐式地包含这个事实。“@Nicol Bolas”（我希望我可以标记编辑器）：我认为c++20也是一个有效的标记，因为我关心当前的标准，它经常会出现一些情况，并且在下一个标准中澄清/修复了一些特殊情况…有趣的
std:：vector pairs（{std:：pair{1,11}，{2,22}，{3,33}）
两者都适用。为什么那个项目符号列表臭名昭著？我不知道它背后的历史。@cigien-。
note: candidate function template not viable: requires at most 2 arguments, but 3 were provided
     vector(initializer_list<value_type> __l,