C++14下unique_ptr多态返回的编译差异与标准合规性问询

首先直接给结论：你的代码完全符合C++14标准，Clang 3.8无法编译属于编译器实现上的bug/支持不足；代码能运行的核心原因是标准允许返回局部unique_ptr<Derived>时自动触发隐式向上转换的移动构造，拷贝消除是可选的优化，但即使不消除，代码也应当合法。

1. 返回值的行为：拷贝消除与移动构造的关系 #

你提到的“拷贝消除”是编译器的优化，但标准对这种场景有明确的兜底规则：

根据C++14标准[class.copy.elision]条款，当函数返回一个自动存储期的局部对象（比如你的derived），且该对象的类型与函数返回类型（这里是unique_ptr<Base>）可通过移动构造转换时：

• 编译器优先尝试拷贝消除（直接在返回值的内存位置构造derived，完全避免移动/拷贝操作）；
• 如果拷贝消除无法执行（比如关闭了编译器优化开关），编译器会自动将这个局部对象视为右值，等效于你写了return std::move(derived);，触发移动构造。

所以即使没有手动写std::move，代码也不会触发被删除的拷贝构造，而是触发移动构造——这是标准明确保证的行为，不是依赖拷贝消除的特例。

2. unique_ptr的移动构造支持隐式向上转换 #

std::unique_ptr<T>提供了一个模板移动构造函数：

template <class U, class E>
unique_ptr(unique_ptr<U, E>&&) noexcept;

这个构造函数的启用条件是：U*可以隐式转换为T*（比如你的Derived*隐式转Base*），并且该构造函数不是explicit的——这意味着它支持隐式调用。

这完全匹配你的场景：unique_ptr<Derived>的右值可以隐式移动构造为unique_ptr<Base>，标准明确允许这种向上转换的移动操作。

3. Clang 3.8的问题：编译器实现缺陷 #

Clang 3.8虽然声称支持C++14，但在处理这种“返回可转换的unique_ptr局部变量”的场景时存在实现不足。具体来说，它可能没有正确识别到：

• 局部变量derived可以被自动视为右值，从而触发模板移动构造；
• 或者没有正确处理unique_ptr模板移动构造的隐式向上转换逻辑。

后续的Clang版本（比如5.0）修复了这个问题，所以你的代码能正常编译运行。

标准依据总结 #

• 关于返回局部对象自动转右值：C++14标准[class.copy]/32（当拷贝消除的条件满足但编译器未执行消除时，必须将返回的对象视为右值）；
• 关于unique_ptr的模板移动构造：C++14标准[unique.ptr.single.ctor]条款，明确规定该模板构造函数在U*可隐式转换为T*时可用，且非explicit。

内容的提问来源于stack exchange，提问作者void.pointer