Início / coding / Perguntas / 77786306
Accepted
katkak
Asked: 2024-01-09 19:09:27 +0800 CST

Como restringir o parâmetro do parâmetro lambda para ser apenas uma referência?

  • 772

Estou tentando projetar uma função simples como esta:

void draw(Callback callback)
{
    Drawing drawing("name");
    callback(drawing);

    std::cout << drawing.name() << std::endl;
}

onde drawingdeve ser passado para o retorno de chamada como referência, para que o chamador possa modificá-lo da seguinte forma:

draw([](auto& drawing) {
    drawing.set_name("another name");
});

Agora isso funciona, porque estou digitando explicitamente o parâmetro de retorno de chamada como auto&(ou Drawing&). Porém, quando apenas digito o parâmetro como auto(or Drawing), o código também compila, mas não funciona mais conforme o esperado. A drawinginstância é copiada em vez de passada por referência.

Gostaria que o código não fosse mais compilado quando o parâmetro lambda não fosse digitado explicitamente como referência.

Eu tentei o seguinte:

  • using Callback = std::function<void(Drawing&)>;: drawingnão é modificado quando não é digitado explicitamente como auto&.
  • template<typename T> concept Callback = std::is_invocable<void, T, Drawing&>;: o mesmo que acima.
  • using Callback = void (*)(Drawing&);: isso realmente funciona, mas perco a capacidade de usar a captura.

Então, como faço para digitar Callback corretamente para que apenas Drawing&seja um parâmetro válido para o lambda?

c++

1 respostas

  1. Best Answer

    Você pode restringir drawpara que não possa ser chamado com um rvalue-accepting callback:

    template <typename Callback>
  requires (std::invocable<Callback, Drawing&> && !std::invocable<Callback, Drawing&&>)
void draw(Callback callback)
{
    Drawing drawing("name");
    callback(drawing);

    std::cout << drawing.name() << std::endl;
}

    Se o dado callbackfosse aceito autoou auto&&, não satisfaria a restrição:

    int main() {
    draw([](auto& drawing) {}); // OK
    draw([](auto drawing) {});  // error: no matching function call ...
}

    Veja o exemplo ao vivo no Compiler Explorer .

    Por que isso funciona

    O único tipo de referência que não pode ser vinculado a rvalues ​​é uma referência não-const lvalue. Ao restringir a função para que o retorno de chamada não possa aceitar um rvalue, desqualificamos os retornos de chamada que levam Drawing, Drawing&&, const Drawing&e const Drawing&&, uma vez que todos eles podem ser vinculados a um rvalue.

    Essencialmente, forçamos o usuário a pegar Drawing&(ou auto&), e a cópia acidental é impossível porque as referências lvalue não podem ser vinculadas a objetos temporários.

    Nota: as referências de rvalue são convertidas em xvalues ​​do mesmo tipo antes de qualquer análise; é por isso que estou dizendo "rvalores" e não falando sobre referências nesses marcadores.

    Conselhos adicionais

    Observe que se o seu objetivo é Drawingnão ser copiado acidentalmente, você pode evitar isso de maneira mais confiável, excluindo explicitamente o construtor de cópia e o operador de atribuição de cópia. No entanto, isso obviamente se aplicaria em todos os lugares, não apenas dentro de draw.

    • 8

relate perguntas