kc9jud's questions

C++ tem a regra de "sequência inicial comum" para uniões:

Em uma união de layout padrão com um membro ativo (11.5) do tipo struct T1, é permitido ler um membro de dados não estático m de outro membro de união do tipo struct T2, desde que m faça parte da sequência inicial comum de T1 e T2; o comportamento é como se o membro correspondente de T1 fosse nomeado.

Como isso interage com structs aninhados ? Por exemplo, é permitido acessar u.s.s1.a1, u.s.s1.a2, u.s.s2.a1, u.s.s2.a2se u.bestiver ativo? Ou o fato de S::s1e B::b1terem tipos diferentes implica que Se Bnão têm uma sequência inicial comum ?

struct A
{
  int a1, a2;
};

struct S
{
  A s1, s2;
};

struct B
{
  int b1, b2, b3, b4;
};

union U
{
  S s;
  B b;
};

/******************/
U u;
u.s.s1.a1 = 1;
u.b.b1 == 1;  // UB?
/******************/

Comecei a usar esse tipo de construção, que depende dos parâmetros de modelo explícitos do C++20 para lambdas:

template<typename... Ts>
struct Foo
{
  std::tuple<Ts...> bars;

  auto get_labels(const std::array<std::size_t,sizeof...(Ts)>& indices) const
  {
    // construct tuple from bar labels
    return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
        return std::make_tuple(std::get<Is>(bars).get_label(indices[Is])...);
      }(std::index_sequence_for<Ts...>{});
  }
};

Exemplo do Compiler Explorer

Existe uma maneira relativamente elegante de fazer isso em C++17 ou C++14? Ou devo apenas tornar C++20 um requisito agora?