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至少有一个未删除的副本或移动构造函数，允许实现创建一个临时对象来保存函数参数或结果对象。临时对象分别由函数参数或返回值构成，并且函数的参数或返回对象被初始化，就好像通过使用未删除的普通构造函数来复制临时（即使该构造函数不可访问，或者不会通过重载决策选择来执行对象的复制或移动）。 [注意：允许此纬度允许类类型的对象传递给寄存器中的函数或从寄存器中的函数返回。 - 结束说明]

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

1 个答案: