为何花括号初始化在构造函数中失效却在赋值运算符中生效？

为什么赋值能编译，构造不行？ #

赋值语句e = { "Hello", "World" }的逻辑 #

这条语句调用的是entity::operator=(keyval_t)。编译器会自动把{ "Hello", "World" }隐式转换成keyval_t（即std::pair<std::string_view, std::string_view>）——因为std::pair原生支持用两个同类型参数构造，而字符串字面量可以隐式转成std::string_view，整个过程是一层合法的隐式转换，符合C++规则，所以编译通过。

拷贝初始化entity f = { "Hello", "World" }失败的原因 #

这是拷贝初始化场景，规则要求初始化器必须能直接隐式转换成entity类型。但这里需要两步转换：

1. { "Hello", "World" } → keyval_t；
2. keyval_t → entity（通过自定义构造函数）。

C++禁止拷贝初始化中出现两层用户定义的隐式转换，因此编译器找不到匹配的构造函数，编译失败。

让两种场景都工作的解决方案 #

方案1：改用直接初始化语法 #

直接初始化允许构造函数的参数进行隐式转换，用双层花括号即可：

entity f{{"Hello", "World"}};

内层花括号会被直接用来构造keyval_t，再传给entity的构造函数，整个过程是合法的。

方案2：显式转换初始化器 #

显式把花括号转成keyval_t，这样只剩一层隐式转换（keyval_t→entity）：

// C++17及以上可以简化写法
entity f = std::pair{"Hello", "World"};
// 兼容旧标准的写法
entity f = std::pair<std::string_view, std::string_view>{"Hello", "World"};

方案3：新增匹配花括号的构造函数 #

给entity添加一个接受两个std::string_view的构造函数，让花括号列表直接匹配构造函数参数，不需要中间转换：

struct entity
{
    using keyval_t = std::pair<std::string_view, std::string_view>;

    entity() = default;

    entity(keyval_t keyval) {
        printf("our special ctor called!\n");
    }

    // 新增构造函数，复用原构造逻辑
    entity(std::string_view k, std::string_view v) : entity(keyval_t{k, v}) {}

    auto operator=(keyval_t keyval) {
        printf("our special operator called!\n");   
    }
};

修改后，不管是拷贝初始化还是赋值语句都能正常编译运行。

内容的提问来源于stack exchange，提问作者glades