主页 / coding / 问题 / 79059143
Accepted
Arun
Asked: 2024-10-06 21:04:07 +0800 CST

直接使用类型特征与在右值引用概念中的行为不同

  • 772

考虑以下代码片段。

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));
}

在这种情况下，x根据 cout 语句结果，被视为右值引用。但依赖于相同类型特征的约束 IsRValue 不满足。发生了什么？

c++

2 个回答

  1. Best Answer

    正如HolyBlackCat所述，T被推导为int因为auto符合&&。要修复您的概念，您可以将右值引用添加回T类似

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

    现在，如果T是，int那么它就变成int&&并且它通过了特征。如果int将左值传递给函数，则T推导为int &，并向其添加右值引用，仍然会导致int&引用折叠规则，并且函数将出错。

    你可以在这个实例中看到它的工作原理。

    • 4

  2. 概念只接收auto没有的部分&&，所以int在你的情况下。

    请注意，由于它是一个转发引用，传递一个左值将会推断出auto，T &这就是概念将接收的。

    • 2

相关问题