Início / coding / Perguntas / 79161402
Accepted
3CxEZiVlQ
Asked: 2024-11-06 13:13:37 +0800 CST

Inicialização de membro inline com valores de outros membros agregados inicializados

  • 772

Esse código com inicialização agregada é um programa C++ válido?

#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

Esta é uma estrutura com comportamento semelhante ao de uma planilha do Excel: um usuário inicializa células com alguns valores; se o usuário não inicializar, sumele obtém a soma computada dos valores das células.

Não tenho certeza se a inicialização de membros em linha, e não a inicialização zero, acontece em membros ignorados na inicialização agregada.

Eu esperava que a declaração

Sheet sheet2{{10, 20}};

seria o mesmo que

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

e saída 0, mas minhas execuções de programa mostraram que eles resultam em saídas diferentes 30 e 0.

c++

2 respostas

  1. Best Answer

    Para Sheet sheet2{{10, 20}};, o membro de dados sumserá inicializado por seu inicializador de membro padrão. Não é o mesmo que Sheet sheet2{{10, 20}, {}};where sumserá inicializado por {}.

    Para um agregado não sindicalizado, cada elemento que não é um elemento explicitamente inicializado é inicializado da seguinte maneira:

    • Se o elemento tiver um inicializador de membro padrão, o elemento será inicializado a partir desse inicializador. (desde C++11)

    • Caso contrário, se o elemento não for uma referência, o elemento será inicializado por cópia a partir de uma lista de inicializadores vazia.

    • Caso contrário, o programa estará malformado.

      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"};

    Em detalhes, para Sheet sheet0;, o membro de dados ce sumserá inicializado por seus inicializadores de membro padrão. Os 2 elementos de cserão zero.

    Para Sheet sheet1{{10}};, cserá inicializado por {10}, sumserá inicializado por seu inicializador de membro padrão. Como {10}contém apenas 1 inicializador que é menor que o número de membros de ccomo 2, o 1º elemento de cserá 10e o 2º será zero.

    Para Sheet sheet2{{10, 20}};, cserá inicializado por {10, 20}, sumserá inicializado por seu inicializador de membro padrão. Como efeito, o 1º elemento de cserá 10e o 2º será 20.

    • 5

  2. Não há nada de errado com o programa. O comportamento é bem definido e garantido que será o que você observa.

    Se nenhum inicializador for fornecido para um elemento agregado na inicialização agregada, então ele é inicializado como se por a = {}menos que tenha um inicializador de membro padrão. De qualquer forma, elementos de cque não têm um inicializador correspondente na inicialização agregada serão, portanto, inicializados para 0.

    sumé declarado mais tarde do que cna classe e sua inicialização é, portanto, sequenciada após a inicialização de c. Como um inicializador de membro padrão é fornecido, esse será usado para inicializá-lo e, por causa do sequenciamento, cjá está inicializado e utilizável naquele ponto.

    • 1

relate perguntas