Google C++每周贴士 #172: 指派初始化器

最新推荐文章于 2023-02-07 09:25:55 发布

clangpp

最新推荐文章于 2023-02-07 09:25:55 发布

阅读量324

点赞数

分类专栏： Google C++每周贴士 Google C++ Tips of the Week

原文链接：https://abseil.io/tips/172

版权

37 篇文章 16 订阅

订阅专栏

37 篇文章 3 订阅

订阅专栏

（原文链接：https://abseil.io/tips/172 译者：clangpp@gmail.com）

每周贴士 #172: 指派初始化器

指派初始化器是C++20中的一种语法，以紧凑、易读、易维护的方式初始化结构体内容。为了取代繁复的

struct Point {
  double x;
  double y;
  double z;
};

Point point;
point.x = 3.0;
point.y = 4.0;
point.z = 5.0;

可以用指派初始化器写成

Point point = {
    .x = 3.0,
    .y = 4.0,
    .z = 5.0,
};

这样稍稍减少了重复，但更重要的是，可以在更多上下文下被使用。例如，它意味着结构体可以是const，而不必依靠笨拙的变通方法：

// 清晰地向（可能更大更复杂的代码的）读者表明，该结构体永远不会改变。
const Point character_position = { .x = 3.0 };

或者可以被直接用在函数调用端，而不必在对应作用域中引入额外的标识符：

std::vector<Point> points;
[...]
points.push_back(Point{.x = 3.0, .y = 3.0});
points.push_back(Point{.x = 4.0, .y = 4.0});

指派初始化器是聚合初始化的一种形式，因此只能与聚合在一起使用。这基本意味着“没有用户提供的构造函数或虚函数的结构体或类”，也就基本意味着Google风格中使用struct（而不是class）的场景。

C++20的指派初始化器的语法，跟你对其他C++特性（如构造函数成员初始化列表）的期待是一致的。显式提及的字段以表达式提供的顺序被初始化，而且允许忽略那些你希望有“默认”行为的字段：

Point point = {
    .x = 1.0,
    // y会是0.0
    .z = 2.0,
};

上面的“默认”是什么意思？除特殊情况（如union）以外的回答是：

这通常是最不吓人的行为。详情请参考标准。

指派初始化器从C99开始就是C语言标准的一部分，且在此之前就被编译器以非标准扩展提供使用。但直到最近它都不是C++的一部分：硕果仅存的C不是C++子集的例证之一。因为这个原因，Google风格指南曾经说不要用它。

经过了两个十年，情况总算改变了：指派初始化器现在是C++20标准的一部分了。

相比于C版本，C++20形式的指派初始化器有一些限制：

关注