为何不同类型转换时直接初始化与复制初始化行为存在差异？

这问题的核心其实就藏在std::packaged_task构造函数的一个关键字上——explicit，它直接区分了两种初始化方式的行为逻辑。

两种初始化方式的核心差异 #

咱们先把最关键的规则摆出来：

• 直接初始化（T obj(expr);）：编译器会考虑所有匹配的构造函数，包括被explicit修饰的版本。只要参数能对上，就可以直接调用这个构造函数创建对象。
• 复制初始化（T obj = expr;）：这种方式本质上要求的是隐式转换——把右边的表达式转换成T类型，再用来初始化对象。而explicit修饰的构造函数就是专门用来禁止这种隐式转换的，所以复制初始化过程中，编译器会直接跳过所有explicit构造函数。

对应到你的代码场景 #

std::packaged_task<int()>接受可调用对象（比如你的lambda）的构造函数，是被explicit标记的。这就导致：

• 直接初始化时，std::packaged_task<int()> foo([](){return 10;});是直接调用这个explicit构造函数，参数完全匹配，所以编译顺利通过。
• 复制初始化时，std::packaged_task<int()> foo = [](){return 10;};需要把lambda隐式转换成std::packaged_task<int()>，但因为构造函数是explicit的，这种隐式转换被禁止，编译器自然就报错说“无法从lambda转换到目标类型”。

再补全你对cppreference规则的疑惑 #

你提到cppreference中复制初始化会检查用户定义的转换序列，但这里的转换序列不包含通过explicit构造函数实现的转换。因为explicit的设计初衷就是限制构造函数只能用于显式初始化场景，不能参与隐式转换链。所以你之前忽略的，正是这个构造函数的explicit属性——它直接阻断了复制初始化所需的隐式转换路径。

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