首先说结论:
move
用于将一个对象的资源所有权从一个对象转移到另一个对象,以避免不必要的复制。它是一种类型转换,表示你希望将一个对象视为一个右值,从而可以被"移动"而不是"复制"。
forward
用于完美转发模板参数。它确保在将参数传递给其他函数时,保留参数的值类别(即是左值还是右值)。这对于实现通用函数模板尤其重要。
一、move
1.1、cpp内置对象转移所有权
move
用于转移对象的所有权
cpp
std::string s1 = "hello word";
std::string s2 = std::move(s1);
std::cout << s1.size() << ' ' << s1 << std::endl;
std::cout << s2.size() << ' ' << s2 << std::endl;
输出为:
cpp
0
10 hello word
可以看出来对象的所有权已经发生了转移
1.2、自定义对象转移所有权
cpp
#include <iostream>
#include <string>
#include <utility>
class MyClass {
public:
MyClass() : data(new int[10]) {}
~MyClass() { delete[] data; }
// 移动构造函数
MyClass(MyClass&& other) noexcept : data(other.data) {
other.data = nullptr;
}
// 移动赋值运算符
MyClass& operator=(MyClass&& other) noexcept {
if (this != &other) {
delete[] data;
data = other.data;
other.data = nullptr;
}
return *this;
}
private:
int* data;
};
int main() {
MyClass obj1;
MyClass obj2 = std::move(obj1); // 调用移动构造函数
MyClass obj3;
obj3 = std::move(obj2); // 调用移动赋值运算符
}
二、forward
forward
用于完美转发,完美转发保留了参数的原始值类别,使得函数可以适应左值和右值传递的情况。
在模板编程中,尤其是当你编写一个接受各种类型参数的泛型函数时,你可能需要将这些参数转发给另一个函数。简单地传递参数可能会导致值类别的丢失,从而引发性能损失或不符合预期的行为。完美转发通过保留参数的原始值类别,确保它们在传递过程中不会被意外地修改。
cpp
#include <iostream>
#include <utility> // for std::forward
// 一个示例函数,接受一个左值引用和一个右值引用
void process(int& x) {
std::cout << "Processing lvalue: " << x << std::endl;
}
void process(int&& x) {
std::cout << "Processing rvalue: " << x << std::endl;
}
// 泛型函数,使用 std::forward 实现完美转发
template <typename T>
void forwardToProcess(T&& arg) {
process(std::forward<T>(arg));
}
int main() {
int x = 10;
forwardToProcess(x); // 传递左值
forwardToProcess(20); // 传递右值
return 0;
}
可以看到 forwardToProcess
会根据不同的参数类别选择不同的函数实现。