调用函数时没有调用构造函数

Question

MyType 定义了复制和移动 ctor。执行以下sn-p时（用VS2015编译后）：

template<typename T>
void f(T&& o) {
    // do something with o
}

int main() {
    MyType o{ 1, 2, 3 };
    f(o); // call of copy-constructor expected
    f(std::move(o)); // call of move-constructor expected
}

我本来希望在第一次调用f 之后调用复制构造函数，并在第二次调用f 之后调用移动构造函数。但是在任何情况下实际上都没有调用构造函数。我怀疑这种行为是编译器优化，但不确定可移植性或是否符合标准。

Answer 1

这两个调用都是通过引用进行的——第一个是 lvalue 引用，第二个是 rvalue 引用。 T&& 两者都可以使用，称为forward reference (N4164)。 Scott Meyers 称它们为 universal references，作为模板参数和 auto&& 特别有用。

std::move 用于指示所有权转移，但实际上不做任何动作。它的效果是静态转换到右值引用。

所以你有：

void f(MyType& ) {}
void f(MyType&& ) {}
...
f(o);                         // calls void f(MyType& )
f(static_cast<MyType&&>(o));  // calls void f(MyType&& )

通常在初始化对象时调用移动构造函数。

Move constructorscppreference.com

只要被重载选中，就会调用移动构造函数 分辨率，这通常发生在对象初始化时（通过 从右值（xvalue 或 prvalue) (C++17 前)xvalue (C++17 起) 相同类型，包括

• 初始化：T a = std::move(b);或T a(std::move(b));，其中b是T类型；

• 函数参数传递：f(std::move(a));，其中 a 是 T 类型，f 是 void f(T t);

• 函数返回：return a; 在函数内，例如 T f()，其中 a 是具有移动构造函数的 T 类型。

如果您将f 更改为void f(T o)，第一次调用将调用复制构造函数，第二次调用将调用移动构造函数。

---

Universal vs Forwarding References in C++