Início / coding / Perguntas / 78792531
Accepted
Fedor
Asked: 2024-07-25 17:29:28 +0800 CST

Por que o operador() copia temporários móveis no Clang?

  • 772

No seguinte programa C++23

struct A {
    A() {}
    A(A&&) = default;
    void f(this A) {}
    void operator() (this A) {}
};

int main() {
    A{}.f(); // ok
    A{}();   // Clang error
}

struct Aé móvel e suas funções de membro f()têm operator()parâmetro de objeto explícito (this A).

No compilador Clang surpreendentemente A{}.f()funciona bem, mas A{}()falha com o erro:

<source>:10:5: error: call to implicitly-deleted copy constructor of 'A'
<source>:3:5: note: copy constructor is implicitly deleted because 'A' has a user-declared move constructor

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

Existe alguma diferença entre funções f()e operator()do ponto de vista da linguagem que explica seu tratamento observável pelo compilador?

c++

1 respostas

  1. Best Answer

    Este é um bug de clang confirmado . O programa está bem formado. A expressão A{}()é equivalente a (interpretada como) A{}.operator()()qual clang aceita . Como A{}é um prvalue (e, portanto, um rvalue), o operador call sobrecarregado A::operator()(this A)é uma opção viável aqui para call A{}.operator()().

    De over.call :

    Uma função de operador de chamada de função é uma função chamada operador() que é uma função membro com um número arbitrário de parâmetros. Pode ter argumentos padrão. Para uma expressão da forma

    postfix-expression ( expression-listopt )

    onde a expressão postfix é do tipo classe, a função do operador é selecionada pela resolução de sobrecarga ([over.call.object]). Se uma função de chamada substituta for selecionada, seja e o resultado da invocação da função do operador de conversão correspondente na expressão pós-fixada; a expressão é interpretada como

    e ( expression-listopt )

    Caso contrário, a expressão é interpretada como

    postfix-expression . operator () ( expression-listopt )
    • 2

relate perguntas