主页 / coding / 问题 / 79161402
Accepted
3CxEZiVlQ
Asked: 2024-11-06 13:13:37 +0800 CST

使用其他聚合初始化成员的值进行内联成员初始化

  • 772

具有聚合初始化的这种代码是有效的 C++ 程序吗？

#include <iostream>
#include <numeric>

struct Sheet {
  const int c[2]{};
  const int sum = std::accumulate(std::begin(c), std::end(c), 0);
};

int main() {
  Sheet sheet0;
  Sheet sheet1{{10}};
  Sheet sheet2{{10, 20}};
  std::cout << sheet0.sum << "\n";
  std::cout << sheet1.sum << "\n";
  std::cout << sheet2.sum << "\n";
}

// Outputs:
// 0
// 10
// 30

这是一个具有类似 Excel 表行为的结构：用户使用一些值初始化单元格，如果用户不初始化，sum则它会获取单元格值的计算总和。

我不确定在聚合初始化中跳过的成员处是否发生内联成员初始化而不是零初始化。

我预计声明

Sheet sheet2{{10, 20}};

相当于

Sheet sheet2{{10, 20}, {}};

并输出0，但我的程序运行表明它们导致不同的输出30和0。

c++

2 个回答

  1. Best Answer

    对于Sheet sheet2{{10, 20}};，数据成员sum将由其默认成员初始化程序初始化。它与初始化Sheet sheet2{{10, 20}, {}};位置不同。sum{}

    对于非联合聚合，每个不是显式初始化元素的元素都按如下方式初始化：

    • 如果元素具有默认成员初始化器，则该元素从该初始化器初始化。（自 C++11 起）

    • 否则，如果元素不是引用，则从空的初始化列表复制初始化该元素。

    • 否则，该程序就是错误的。

      struct S
{
    int a;
    const char* b;
    int c;
    int d = b[a];
};

// initializes ss.a with 1,
//             ss.b with "asdf",
//             ss.c with the value of an expression of the form int{} (that is, 0),
//         and ss.d with the value of ss.b[ss.a] (that is, 's')
S ss = {1, "asdf"};

    具体来说，对于Sheet sheet0;，数据成员c和sum将由其默认成员初始化器初始化。 的 2 个元素c将为零。

    对于Sheet sheet1{{10}};，c将由 初始化{10}，sum将由其默认成员初始化器初始化。由于{10}仅包含 1 个初始化器，小于 的成员数量为c2，因此 的第一个元素c将是10，而第二个元素将是零。

    对于Sheet sheet2{{10, 20}};，c将由 初始化{10, 20}，sum将由其默认成员初始化器初始化。结果 的第一个元素c将是10，而第二个元素将是20。

    • 5

  2. 程序没有任何问题。行为定义明确，保证符合您所观察到的行为。

    如果在聚合初始化中没有为聚合元素提供初始化程序，则除非= {}它具有默认成员初始化程序，否则它将c被初始化为 。无论哪种方式，在聚合初始化中没有相应初始化程序的 元素都将因此被初始化为0。

    sum在类中声明得晚于c，因此它的初始化顺序在 的初始化之后c。由于给出了默认成员初始化程序，因此将使用该初始化程序来初始化它，并且由于排序，c此时已经初始化并可用。

    • 1

相关问题