cpp 转发和移动

server/2024/10/21 10:09:17/

std::forward 和 std::move 在内存上的区别

1. std::move

std::move 是一个标准库函数模板，用于将其参数显式地转换为右值引用。这在需要将对象的资源移动而不是复制时非常有用，例如在移动构造函数或移动赋值操作中。

语法:

template <class T>
typename std::remove_reference<T>::type&& move(T&& t) noexcept;

使用示例:

#include <iostream>
#include <utility>
#include <vector>class MyClass {
public:std::vector<int> data;MyClass(std::vector<int> d) : data(std::move(d)) {std::cout << "Move constructor called" << std::endl;}
};int main() {std::vector<int> vec = {1, 2, 3, 4, 5};MyClass obj(std::move(vec));std::cout << "vec size after move: " << vec.size() << std::endl; // vec size is 0return 0;
}

在这个例子中，std::move(vec) 将 vec 转换为右值引用，因此 MyClass 的构造函数会移动 vec 的数据，而不是复制。

2. std::forward

std::forward 是一个条件性转发函数模板，根据传入的参数类型决定是返回左值引用还是右值引用。它通常用于泛型编程中保持参数的值类别。

语法:

template <class T>
T&& forward(typename std::remove_reference<T>::type& arg) noexcept;

使用示例:

#include <iostream>
#include <utility>void process(int& x) {std::cout << "Lvalue reference: " << x << std::endl;
}void process(int&& x) {std::cout << "Rvalue reference: " << x << std::endl;
}template <typename T>
void wrapper(T&& arg) {process(std::forward<T>(arg));
}int main() {int a = 5;wrapper(a);       // 调用 process(int&)wrapper(10);      // 调用 process(int&&)return 0;
}