Início / coding / Perguntas / 79350640
Accepted
Fedor
Asked: 2025-01-13 04:11:26 +0800 CST

Constante de escopo local como argumento padrão da função

  • 772

A declaração de função em um escopo de função pode ter uma constante definida localmente como argumento padrão?

Por exemplo,

void f(int) {}

int main() {
    constexpr int c = 1;
    void f(int = c);
    f();
}

O GCC não gosta disso, dizendo

erro: a variável local 'c' pode não aparecer neste contexto

O MSVC se comporta de forma semelhante:

erro C2587: 'c': uso ilegal de variável local como parâmetro padrão

Mas Clang aceita muito bem. Demonstração online: https://gcc.godbolt.org/z/9vWoK6TEz

Qual implementação está correta aqui?

c++

1 respostas

  1. Best Answer

    Clang está correto, não há nada impedindo o uso de ccomo argumento padrão. Com base nos diagnósticos, GCC e MSVC parecem estar tentando implementar a seguinte nota :

    Uma variável local não pode ser usada como odr ( [basic.def.odr] ) em um argumento padrão.

    No entanto, como cé uma constexprvariável, ler a partir dela não constitui um odr-use. Como cnão está sendo odr-usado aqui, a nota não se aplica.

    Observe que se você tentar usar odr-use cem um argumento padrão, digamos, fazendo uma referência a ele

    void f(const int& = c);  // error: default argument references local variable 'c' of enclosing function

    ou ao cnão fazer isso constexpr, Clang o rejeita.

    • 4

relate perguntas