在下面的代码段中，gcc和clang都省略了对move构造函数的调用。这是正确的吗？

Question

#include <iostream>
struct D;
struct S{ operator D(); };

struct D{
    D(){}
    D(D&&) { std::cout << "move constructor" << '\n'; }
};

S::operator D() { std::cout << "conversion function" << '\n'; return D(); }

int main()
{
    S s;
    D d(s);
}

>

本案在§8.5/16(N3337)中的第一个子要点中有所涉及，其中没有提到省略。

如果初始化是直接初始化，或者如果初始化是复制初始化，源类型的CV限定版本与目标类型的类相同，或者是目标类型的派生类，则考虑构造函数。列举了适用的构造函数(13.3.1.3)，并通过过载解析选择了最佳构造函数（13.3）。调用这样选择的构造函数来初始化对象，将初始化器表达式或表达式列表作为其参数。如果没有应用构造函数，或者重载解析不明确，则初始化格式不正确。

Answer 1

C++标准喜欢为在一个地方定义的规则创建异常，在一个完全不同的地方。

复制/移动省略规则在12.8/31中指定。代码中有两个复制/移动操作要消除。

第一个简单：在运算符d中，返回表达式中构造的临时值被移动到表示函数返回值的临时值。子弹3允许删除此移动。

null