C++如何允许单元素初始化列表隐式转换但禁止单值隐式构造

你可以通过同时提供显式的单int构造函数和隐式的单元素初始化列表构造函数实现需求，兼容C++11及以上标准，不需要额外嵌套花括号：

#include <initializer_list>
#include <cassert>

struct S
{
    // 显式int构造函数，仅允许直接初始化场景调用
    explicit S(int value) : val(value) {}
    
    // 隐式initializer_list构造函数，允许列表初始化场景调用
    S(std::initializer_list<int> il) : val(*il.begin()) {
        // 运行时校验初始化列表长度，若需要编译期校验可结合C++20 consteval实现
        assert(il.size() == 1 && "S仅支持单元素初始化列表");
    }

private:
    int val;
    // 其他私有成员、自定义构造函数可正常添加
};

行为验证 #

四个场景的编译结果完全符合预期：

• S f1() { return 0; }：触发int到S的隐式转换，仅有的单int构造函数为显式，无匹配构造函数，编译失败
• S f2() { return { 0 }; }：属于拷贝列表初始化，匹配非显式的std::initializer_list<int>构造函数，编译成功
• S s1 = 0;：属于拷贝初始化，需要int到S的隐式转换，无匹配构造函数，编译失败
• S s2{ 0 };：属于直接列表初始化，优先匹配显式的单int构造函数，编译成功

可选优化 #

如果需要编译期校验初始化列表长度，可以使用C++20及以上的consteval修饰初始化列表构造函数，在编译期捕获长度错误。

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