C++保留explicit关键字，如何让MyDouble d=1.1复制初始化生效？

核心矛盾在于：explicit关键字的设计目的就是禁止构造函数用于隐式转换序列，而MyDouble d = 1.1;这种复制初始化语句，本质上依赖于从double到MyDouble的隐式转换（编译器会尝试把1.1隐式转成MyDouble临时对象，再初始化d）。这两种需求在C++标准中是直接冲突的——没有办法让explicit构造函数同时允许复制初始化的隐式转换，却禁止其他场景（比如函数参数传递）的隐式转换。

不过，我们有几种折中方案，可以在保留explicit（避免隐式转换风险）的前提下，实现类似复制初始化的简洁写法：

方案一：使用auto推导的直接初始化 #

这是最简洁的替代方案，写法几乎和你想要的一样：

auto d = MyDouble(1.1);

它本质上是直接初始化，完全符合explicit的要求，同时不会允许任何意外的隐式转换（比如不能直接把1.1传给接受MyDouble的函数）。

方案二：添加工厂方法 #

给MyDouble类添加一个静态工厂函数，明确完成转换：

class MyDouble {
    double d;
public:
    MyDouble() : d(0) {}
    explicit MyDouble(double d_) : d(d_) {}
    MyDouble & operator =(double d_) { d = d_; return *this; }

    // 新增工厂函数
    static MyDouble from_double(double d_) {
        return MyDouble(d_);
    }
};

// 使用方式
MyDouble d = MyDouble::from_double(1.1);

这种方式代码意图清晰，完全避免了隐式转换的风险，同时写法也足够简洁。

方案三：使用用户定义字面量（C++11+） #

定义一个自定义字面量，让1.1可以直接生成MyDouble对象：

class MyDouble {
    double d;
public:
    MyDouble() : d(0) {}
    explicit MyDouble(double d_) : d(d_) {}
    MyDouble & operator =(double d_) { d = d_; return *this; }

    // 友元字面量运算符，方便访问私有构造
    friend constexpr MyDouble operator""_md(long double d) {
        return MyDouble(static_cast<double>(d));
    }
};

// 使用方式
MyDouble d = 1.1_md;

这个方案最接近你想要的“直接赋值”体验，而且字面量的使用让代码意图更明确，同时完全不会引入隐式转换。

为什么不能直接实现MyDouble d=1.1;？ #

C++标准中，复制初始化、函数参数隐式转换、返回值隐式转换等场景，都属于隐式转换序列的范畴。explicit关键字会统一禁止构造函数在这些场景下被隐式调用，目前没有语法可以单独允许复制初始化而禁止其他场景的隐式转换。

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