C++14到C++17中转换运算符优先级变化的标准原因探究

测试代码 #

#include <iostream>

struct To
{
    To() = default;
    To(const struct From&) {std::cout << "Constructor called\n";}
    To(const To&) {std::cout << "Copy constructor called\n";}
};

struct From
{
    operator To(){std::cout << "Conversion called\n"; return To();}
};

int main()
{
    From f;
    To t(f);
    To t1 = f;
    To t2{To(f)};
}

不同标准下的输出 #

C++14编译（-std=c++14）

Constructor called
Conversion called
Constructor called

C++17编译（-std=c++17）

Conversion called
Conversion called
Conversion called

差异原因：C++17强制拷贝消除特性 #

输出差异的核心是C++17引入的强制拷贝消除（Guaranteed Copy Elision），对应标准[class.copy.elision]条款的关键变更：

1. prvalue表达式的直接初始化规则
   C14及更早版本中，纯右值（prvalue）会先创建临时对象，再通过拷贝/移动构造函数初始化目标对象（即使编译器可优化掉拷贝）；而C17中，当prvalue类型与目标对象类型一致时，prvalue的结果会直接构造在目标对象的内存地址中，完全跳过临时对象创建和拷贝/移动构造调用——这是标准强制要求的行为，而非编译器可选优化。

2. 拷贝/移动构造函数的可用性要求取消
   C14中，即使编译器优化掉拷贝/移动构造调用，这些构造函数仍必须可访问（如不能是private）；C17中，强制拷贝消除场景下，拷贝/移动构造函数可以不存在，编译器也不会尝试调用它们。

逐个语句行为解析 #

1. To t(f);

   • C++14：直接初始化优先匹配To(const From&)构造函数，无需转换，输出Constructor called。
   • C++17：编译器可选择通过From::operator To()将f转换为To类型的prvalue，直接在t的内存中构造结果——由于强制拷贝消除无需调用拷贝构造，这条无拷贝路径更高效，因此被编译器选择，输出Conversion called。

2. To t1 = f;

   • C++14：拷贝初始化先将f转换为To（输出Conversion called），再通过拷贝构造初始化t1，但编译器优化掉了拷贝构造调用。
   • C17：强制拷贝消除直接将转换生成的prvalue构造在t1内存中，行为与C14优化后一致，输出Conversion called。

3. To t2{To(f)};

   • C++14：To(f)直接调用To(const From&)创建临时对象（输出Constructor called），再用临时对象初始化t2，编译器优化掉拷贝构造调用。
   • C++17：To(f)被解析为通过From::operator To()生成To类型的prvalue，直接在t2内存中构造，输出Conversion called。

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