Declaração de vinculação estruturada não pode ser `constinit`

Por [dcl.constinit]/1 :

O especificador constinit deve ser aplicado somente a uma declaração de uma variável com duração de armazenamento estático ou de thread.

Uma declaração de vinculação estruturada não é uma declaração de variável.

Observe também que o mesmo se aplica a constexprtambém. Pois constexpro GCC também se comporta em linha com os outros compiladores e rejeita a declaração.

No entanto, eu me pergunto se essa restrição é intencional por parte dos autores padrão. No momento, não consigo pensar em um motivo.

Conforme mencionado por Jonathan Wakely aqui , não há nenhum problema específico em permitir constexpr(e presumivelmente por extensão constinit) uma vinculação estruturada, mas havia questões em aberto quanto à interpretação que atrasou sua adição ao padrão.

O trabalho nisso parece estar em andamento aqui . Pelo que posso entender, o objetivo é fazer com que constexpras vinculações estruturadas não apenas sejam impostas constexprna definição de variável implícita, mas também tornar as próprias vinculações estruturadas utilizáveis ​​em expressões constantes, mesmo que a variável tenha duração de armazenamento automática.

Entretanto, essa questão mais complexa não é realmente relevante, pois constinitdeveria ter uma semântica relativamente simples, eu acho, ou seja, para adicionar constinità definição de variável implícita, e deveria ser proibida se essa variável tivesse duração de armazenamento automática, assim como para declarações de variáveis ​​normais.