Início / coding / Perguntas / 76937024
Accepted
Fedor
Asked: 2023-08-20 05:09:04 +0800 CST

O operador de comparação de amigos pode ser definido para uma classe local?

  • 772

Como o compilador C++20 pode gerar operadores de comparação padrão para uma classe, inclusive como função não-membro amigo, consulte (2) em cppreference.com .

Me deparei com o código trabalhando no MSVC que faz isso para uma classe local dentro de uma função:

void foo() {
    struct A;
    bool operator ==(const A&, const A&);
    struct A { 
        friend bool operator ==(const A&, const A&) = default;
    };
}

Infelizmente, não funciona no Clang ou no GCC, que reclama:

error: cannot define friend function 'operator==' in a local class definition

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

Existe uma maneira de tornar o código aceito pelo GCC:

void foo() {
    struct A;
    bool operator ==(const A&, const A&);
    struct A { 
        friend bool operator ==(const A&, const A&);
    };
    bool operator ==(const A&, const A&) = default;
}

que agora apenas imprime algum aviso vago:

warning: declaration of 'bool operator==(const foo()::A&, const foo()::A&)' has 'extern' and is initialized

mas os outros dois compiladores não gostam, demonstração online: https://godbolt.org/z/he1zjj46G

Enquanto os compiladores divergem, qual deles está correto em ambos os exemplos acima?

c++

1 respostas

  1. Best Answer

    A norma é bem clara quanto a isso:

    Uma função pode ser definida em uma declaração de amigo de uma classe se e somente se a classe for uma classe não local e o nome da função não for qualificado.

    - [class.friend] p6

    Seu primeiro exemplo de código está definindo a friendem uma classe local, portanto, ele viola este parágrafo.

    O segundo exemplo define uma função no escopo do bloco, que também é claramente malformada:

    [...] Uma função deve ser definida apenas em namespace ou escopo de classe. [...]

    - [dcl.fct.def.general] p2

    O fato de o GCC compilar é um bug do compilador e possivelmente relacionado ao fato de o GCC oferecer suporte a funções locais como uma extensão do compilador. O aviso has 'extern' and is initializedque ele dá não faz sentido e normalmente ocorreria em cenários como:

    // <source>:1:12: warning: 'x' initialized and declared 'extern'
//     1 | extern int x = 0;
//       |            ^
extern int x = 0;

    Observação: enviei um relatório de bug para este problema: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111079

    • 2

relate perguntas