Elisão de cópia garantida para inicialização de array com chaves uniformes - isso não deveria ser obrigatório desde o C ++ 17? [duplicado]

Question

Pelo que entendi as novas regras corretamente

https://en.cppreference.com/w/cpp/language/copy_elision

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0135r0.html

Este código deve ser compilado para compiladores em conformidade com o padrão C ++ 17

struct NonTrivialClass
{
    ~NonTrivialClass( ){  }
};

class MainNonTrivialClass 
{
public:
  MainNonTrivialClass(int t) : m_simpleTypeMember(t) { }
 
  virtual void makeMySelfNonTrivial() {}

  MainNonTrivialClass( const MainNonTrivialClass& other) = delete;
  MainNonTrivialClass& operator=( const MainNonTrivialClass& other) = delete;
  MainNonTrivialClass(MainNonTrivialClass&& other) = delete;
  MainNonTrivialClass& operator=(MainNonTrivialClass&& other) = delete;
  
  NonTrivialClass m_nontrivialMember;
  int m_simpleTypeMember;
};

class ArrayContainer
{
public:
  ArrayContainer() : m_array{{1}, {2} } {}

private:
  MainNonTrivialClass m_array[2];
};


int main()
{
  ArrayContainer accContainer;
}

Mas gcc 9.1.0 com -std = c ++ 17 -O2 -Wall -pedantic diz (como totalmente esperado para pré C ++ 17)

main.cpp: In constructor 'ArrayContainer::ArrayContainer()':
main.cpp:25:39: error: use of deleted function 'MainNonTrivialClass::MainNonTrivialClass(MainNonTrivialClass&&)'
   25 |   ArrayContainer() : m_array{{1}, {2} } {}
      |                                       ^
main.cpp:15:3: note: declared here
   15 |   MainNonTrivialClass(MainNonTrivialClass&& other) = delete;

A inicialização uniforme do array dessa maneira é definida como inicialização de cópia por elemento (?) E deve levar à elisão de cópia, então eu realmente não entendo o que realmente está acontecendo aqui. As regras anteriores ao C ++ 17 parecem ser aplicadas aqui. Outra curiosidade é que o mesmo código compila bem se eu remover m_nontrivialMember de minha MainNonTrivialClass, mas isso não deveria levar ao mesmo erro de compilação, pois o caso de não elisão de cópia força a existência dos construtores de copiar / mover de acordo sempre ?

Answer 1

Isso também deve funcionar antes do C ++ 17, onde essa sintaxe é a inicialização direta. Veja Como inicializar array de classes com construtor de cópia excluído (C ++ 11) que se refere ao bug 63707 do GCC .