Início / coding / Perguntas / 79321832
Accepted
xmllmx
Asked: 2025-01-01 23:15:31 +0800 CST

Por que o padrão C++ não define implicitamente um lambda que não captura nada como `estático` por padrão?

  • 772

C++23 permite definir um lambda como static. ou seja, se um lambda não captura nada, então ele pode ser definido como static:

// with superfluous argument `this`, less efficient.
auto fn1 = [](int a, int b) { return a + b; }; 

// no argument `this`, more efficient!
auto fn2 = [](int a, int b) static { return a + b; };

Eu só me pergunto:

Por que o padrão C++ não define implicitamente um lambda que não captura nada como staticpadrão?

c++

1 respostas

  1. Best Answer

    Quando lambdas foram introduzidas, ninguém levou em consideração o fato de que lambdas não capturadoras não precisavam passar o thisponteiro do objeto lambda como um argumento para operator(). Quando eles perceberam isso em C++23, era tarde demais para mudar o comportamento padrão que existia desde C++11. A razão pela qual eles não conseguiram mudar o comportamento é descrita em P1169R3

    No entanto, não podemos simplesmente alterar tais lambdas porque isso poderia quebrar o código. Existe um código que pega um parâmetro de modelo de tipo chamável e faz decltype(&F::operator()), esperando que o tipo resultante seja um ponteiro para o tipo membro (que é a única coisa que pode ser agora). Se alterarmos lambdas sem captura para ter um operador de chamada estático implicitamente, todo esse código quebraria para lambdas sem captura. Além disso, isso seria uma quebra de ABI de linguagem. Embora lambdas não devam aparecer em sua ABI de qualquer maneira, não podemos afirmar com segurança que tal código não existe nem que tal código merece ser quebrado.

    Embora eles tenham considerado tornar essa implementação de comportamento definida permitindo que um usuário alterne esse comportamento com uma opção do compilador, isso foi rejeitado porque seria uma mudança de comportamento observável que geralmente não é uma boa opção para escolhas definidas pela implementação.

    • 14

relate perguntas