Google C++ 风格指南记录-526互联

最近在看谷歌的 C++ 风格指南发现了一些有意思的知识点，遂记录下

1. 第六章第二小节介绍了右值引用

只在定义移动构造函数与移动赋值操作时使用右值引用. 不要使用 std::forward.

定义:

右值引用是一种只能绑定到临时对象的引用的一种, 其语法与传统的引用语法相似. 例如, void f(string&& s); 声明了一个其参数是一个字符串的右值引用的函数.

优点:

用于定义移动构造函数 (使用类的右值引用进行构造的函数) 使得移动一个值而非拷贝之成为可能. 例如, 如果 v1 是一个 vector<string>, 则 auto v2(std::move(v1)) 将很可能不再进行大量的数据复制而只是简单地进行指针操作, 在某些情况下这将带来大幅度的性能提升.

右值引用使得编写通用的函数封装来转发其参数到另外一个函数成为可能, 无论其参数是否是临时对象都能正常工作.

右值引用能实现可移动但不可拷贝的类型, 这一特性对那些在拷贝方面没有实际需求, 但有时又需要将它们作为函数参数传递或塞入容器的类型很有用.

要高效率地使用某些标准库类型, 例如 std::unique_ptr, std::move 是必需的.

缺点:

右值引用是一个相对比较新的特性 (由 C++11 引入), 它尚未被广泛理解. 类似引用崩溃, 移动构造函数的自动推导这样的规则都是很复杂的.

结论:

只在定义移动构造函数与移动赋值操作时使用右值引用, 不要使用 std::forward 功能函数. 你可能会使用 std::move 来表示将值从一个对象移动而不是复制到另一个对象.

上文说到 std::forward，那么 forward 是干啥的呢？

答：std::forward 用于完美转发参数，确保将参数传递给对象的构造函数时保持其原始的左值/右值属性

std::forward 经常被拿出与 std::move 比较，这个我在另一篇文章有介绍：

C++ std::move 的一些问题

它常常与 std::emplace_back 一起使用，下面是个代码示例，

#include <iostream>
#include <utility>
#include <vector>

class MyObject {
 public:
  MyObject(int value) : value(value) {
    std::cout << "Constructor: " << value << std::endl;
  }

 private:
  int value;
};

class MyContainer {
 public:
  // emplace 函数用于构造元素
  template <typename... Args>
  void emplace(Args&&... args) {
    // 使用 std::forward 完美转发参数到构造函数
    objects.emplace_back(std::forward<Args>(args)...);
  }

 private:
  std::vector<MyObject> objects;
};

int main() {
  MyContainer container;

  int value = 42;

  // 使用 emplace 构造 MyObject 对象
  container.emplace(value);
}

std::emplace_back可以在容器内部直接构造对象，避免了额外的拷贝和移动操作，提高了性能。

使用 std::emplace_back 需要注意下面的一些事项：

理解参数： std::emplace_back允许你在容器的末尾构造元素，而不是传递一个已构造的对象。因此，要确保你提供的参数与元素的构造函数参数匹配，以便正确地构造对象。
避免不必要的拷贝和移动：使用std::emplace_back时，不会发生拷贝或移动操作，因为元素是直接在容器内部构造的。这可以提高性能，但也意味着你不应该传递一个已经构造好的对象，而是提供构造对象所需的参数。
注意引用折叠：当使用std::forward进行参数的完美转发时，要注意引用折叠的情况。确保传递参数时保持原始的左值/右值属性。
异常安全性：在std::vector等动态容器中，std::emplace_back可能会触发重新分配内存。要确保在重新分配内存时不会导致资源泄漏或对象的不一致状态。推荐使用RAII（Resource Acquisition Is Initialization）等技术来保证异常安全性。
构造函数的异常：如果元素的构造函数抛出异常，容器会保持原状，不会插入新元素。确保你的构造函数在异常发生时不会引起资源泄漏，并正确处理异常情况。
避免迭代器失效：在插入元素时，要注意可能会导致迭代器失效，因为容器可能会重新分配内存。如果需要保存迭代器，请在插入操作之前保留或更新迭代器。
移动语义的使用：如果参数为右值引用，确保你在移动构造时正确地使用std::move。要遵循移动语义的原则，确保源对象在移动后处于有效但未定义的状态。
了解容器的特性：不同的容器（如std::vector、std::list、std::deque等）可能有不同的行为，例如动态分配内存的频率和方式。了解容器的特性有助于更好地使用std::emplace_back。