Início / coding / Perguntas / 79551551
Accepted
Fedor
Asked: 2025-04-03 04:45:59 +0800 CST

A inicialização de uma constante estática pode ser ignorada pelo rótulo 'case'?

  • 772

Tenho uma constante declarada em uma casedas minhas switchdeclarações:

void foo( int& v ) {
    switch( v ) {
    case 0:
        static constexpr int c{ 0 };
        break; 
    case 1:
        v = c;
        break;
    }
}

Tudo funciona bem no GCC, Clang e EDG. Mas se eu compilar o programa no Visual Studio, ele reclama

erro C2360: a inicialização de 'c' é ignorada pelo rótulo 'case'

Demonstração online: https://gcc.godbolt.org/z/jTdnhfzoo

É correto que a inicialização da constante cpode ser pulada? O programa está realmente malformado ou deve ser aceito?

c++

1 respostas

  1. Best Answer

    A inicialização da staticconstante pode ser ignorada pelo caserótulo?

    Não, não se for inicializado de forma constante, como na sua função.

    C++14 6.7.4

    A inicialização constante ([basic.start.init]) de uma entidade de escopo de bloco com staticduração de armazenamento, se aplicável, é executada antes que seu bloco seja inserido pela primeira vez .

    Isso significa que sua função é válida e será inicializada cquando o switchbloco for inserido pela primeira vez. Uma função similarmente válida:

    void foo(int& v) {
    goto bar;
    static constexpr int c{123};
bar:
    v = c; // assigns 123 to v
}

    Remover constexprnão importa aqui. Ainda será uma inicialização constante de uma entidade de escopo de bloco com staticduração de armazenamento e, portanto, executada quando o bloco for inserido pela primeira vez.

    Este bug no MSVC é relatado aqui .

    Nota: Só porque é válido, não significa que seja uma boa ideia. Não faça isso.

    • 4

relate perguntas