复制/移动省略需要明确定义复制/移动构造函数

Question

考虑以下程序：

#include <iostream>
#include <utility>

class T {
public:
    T() { printf("address at construction:    %zx\n", (uintptr_t)this); }
    // T(const T&) { printf("copy-constructed\n"); } // helps
    // T(T&&) { printf("move-constructed\n"); }      // helps
    // T(const T&) = default;                        // does not help
    // T(T&&) = default;                             // does not help
};

T f() { return T(); }

int main() {
    T x = f();
    printf("address after construction: %zx\n", (uintptr_t)&x);
    return 0;
}

使用g++ -std=c++17 test.cpp 编译会得到以下输出（与clang++ 相同）：

address at construction:    7ffcc7626857
address after construction: 7ffcc7626887

基于C++ reference，我希望程序输出两个相等的地址，因为应该保证复制/移动被忽略（至少在 C++17 中）。

如果我明确定义了复制或移动构造函数或两者（参见示例中注释掉的行），程序会给出预期的输出（即使使用 C++11）：

address at construction:    7ffff4be4547
address after construction: 7ffff4be4547

简单地将复制/移动构造函数设置为default 没有帮助。

引用明确说明

[复制/移动构造函数]不需要存在或可访问

那么我在这里错过了什么？

Answer 1

因为这是复制省略可能不适用的特殊情况。

引用自[class.temporary] paragraph 3：

当类类型 X 的对象被传递给函数或从函数返回时，如果 X 的每个复制构造函数、移动构造函数和析构函数都是平凡的或已删除的，并且 X 至少有一个未删除的复制或移动构造函数，允许实现创建一个临时对象来保存函数参数或结果对象。临时对象分别由函数参数或返回值构造，并且函数的参数或返回对象被初始化，就好像使用未删除的普通构造函数复制临时对象（即使该构造函数不可访问或不会被重载决议选择来执行对象的复制或移动）。 [ 注意：授予此权限以允许将类类型的对象传递给寄存器中的函数或从函数返回。 — 尾注 ]