Início / coding / Perguntas / 79059143
Accepted
Arun
Asked: 2024-10-06 21:04:07 +0800 CST

Comportamento diferente ao usar os typetraits diretamente vs em um conceito para referências de valor r

  • 772

Considere o seguinte trecho de código.

template <typename T>
concept IsRValue = std::is_rvalue_reference_v<T>;

void funTakingRValues(IsRValue auto&& val)
{
    std::cout << val << std::endl;
}

int main()
{
    auto && x = 5;
    std::cout << "Is rvalue reference = " << std::is_rvalue_reference_v<decltype(x)> << std::endl;
    funTakingRValues(std::forward<decltype(x)>(x));
}

Neste caso, xé considerada uma referência de valor r com base no resultado da instrução cout. Mas a restrição IsRValue que depende do mesmo tipo de traço não é satisfeita. O que está acontecendo?

c++

2 respostas

  1. Best Answer

    Conforme declarado por HolyBlackCat , Té deduzido como um intdesde que autoseja qualificado por &&. Para corrigir seu conceito, você pode adicionar a referência rvalue de volta para Tcomo

    template <typename T>
concept IsRValue = std::is_rvalue_reference_v<std::add_rvalue_reference_t<T>>;

    e agora se Té um intentão ele se torna int&&e passa o traço. Se um lvalue inté passado para a função então Té deduzido para int &e adicionar uma referência rvalue a isso ainda resulta em int&por causa das regras de colapso de referência e a função irá dar erro.

    Você pode ver isso funcionando neste exemplo ao vivo .

    • 4

  2. O conceito só recebe a autoparte sem &&, então intno seu caso.

    Observe que, como é uma referência de encaminhamento, passar um lvalue deduziria o autopara T &, e é isso que o conceito receberia.

    • 2

relate perguntas