GCC和Clang对constexpr构造函数的不同行为

Question

对于这个结构:

struct Wrapper {
    int value;

    constexpr explicit Wrapper(int v) noexcept : value(v) {}
    Wrapper(const Wrapper& that) noexcept : value(that.value) {}
};

而这个功能:

constexpr Wrapper makeWrapper(int v)
{
    return Wrapper(v);
}

以下代码无法为Clang(Apple LLVM版本7.3.0)编译,但是对于GCC(4.9+)编译良好,两者都具有-Wall -Wextra -Werror -pedantic-errors:

constexpr auto x = makeWrapper(123);

Clang抱怨说"非constexpr构造函数'Wrapper'不能用于常量表达式." 哪个编译器是对的？

Answer 1

虽然返回时的复制或移动Wrapper从makeWrapper()可被省略,则需要用C++ 14存在.现有的复制构造函数是非的constexpr,它的存在禁止创建隐式移动构造函数.结果我觉得clang是对的:你需要制作一个复制构造函数constexpr.

请注意,使用C++ 17代码可能会变得正确:有一个建议在某些情况下强制执行copy-elision:P0135r0.然而,似乎这种变化尚未落入工作文件中.它可能会在本周登陆(感谢@NicolBolas指出它不在那里).我没有在邮件中看到更新的论文.