gcc:无效错误“使用删除的功能”(复制构造函数)？

Question

简化问题：

#include <stdio.h>
class X
{
public:
    int a = 0;
    X() { printf("constr-def %d\n", a); }
    X(int i):a(i+1) { printf("constr-i %d\n", a); }
    int operator=(int i) { a = i; return i; }
    operator bool() { return !!a; }
    
    //~ X(const X& o) { a = o.a; printf("copy-constr %d\n", a); };
    //~ const X& operator=(const X& o) { a = o.a; printf("copy-op %d\n", a); return *this; };
    
    X(const X& o) = delete;
    const X& operator=(const X& o) = delete;
};

int main() {
    X x;
    X y = 5;  // should be equivalent to X y(5)
    printf("results: %d %d\n", x.a, y.a);
}

编译后的输出，如MSVC；或使用gcc / MSVC和未删除的复制构造函数变体活动(上面注释掉)：

>g++ -Os dede.cpp -o dede
>dede
constr-def 0
constr-i 6
results: 0 6
>Exit code: 0

->复制构造函数从不使用；MSVC按原样成功编译。

按照gcc的方式编译(v9.3.0当前的mingw/msys64 64构建)：

>g++ -Os dede.cpp -o dede
dede.cpp: In function 'int main()':
dede.cpp:20:8: error: use of deleted function 'X::X(const X&)'
   20 |  X y = 5;  // should be equivalent to X y(5)
      |        ^
dede.cpp:14:5: note: declared here
   14 |     X(const X& o) = delete;
      |     ^
dede.cpp:7:2: note:   after user-defined conversion: 'X::X(int)'
    7 |  X(int i):a(i+1) { printf("constr-i %d\n", a); }
      |  ^
>Exit code: 1

gcc为什么在未删除的情况下不使用use of deleted复制构造函数时出错？

Answer 1

在C++17之前，这样的复制省略是一个优化，这是允许的，但是复制(或移动)构造函数仍然必须是存在和访问的。

由于C++17代码工作正常，因为对于强制复制选择，复制/移动构造函数不需要再次出现或访问。

C++17核心语言的prvalue和临时语言规范与早期的C++版本有着根本的不同:不再有临时的复制/迁移。