为什么标准允许通过左值引用元组分配右值引用元组？

看起来std::tuple包含一个或多个引用在构造和赋值方面具有意外行为(尤其是复制/移动构造和复制/移动分配).它与两者的行为std::reference_wrapper(更改引用的对象)和具有成员引用变量的结构(赋值运算符已删除)不同.它允许方便的std::tiepython像多个返回值,但它也允许明显不正确的代码,如下所示(链接在这里):

#include 

int main()
{
    std::tuple x{std::forward_as_tuple(9)}; // OK - doesn't seem like it should be
    std::forward_as_tuple(5) = x; // OK - doesn't seem like it should be
    // std::get<0>(std::forward_as_tuple(5)) = std::get<0>(x); // ERROR - and should be
    return 0;
}

该标准似乎要求或强烈暗示20.4.2.2.9最新工作草案的副本(ish)分配部分中的此行为(Ti&将折叠为左值ref):

template tuple& operator=(const tuple& u);

9 要求: sizeof...(Types) == sizeof...(UTypes)并且is_assignable::value对所有人都是如此i.

10 效果:将u的每个元素分配给*this的相应元素.

11 返回:*this

虽然移动(ish)构造部分20.4.2.1.20不太清楚(is_constructible返回false):

template EXPLICIT constexpr tuple(tuple&& u);

18 要求: sizeof...(Types) == sizeof...(UTypes).

19 效果:对于所有i,构造函数初始化with 的i第th个元素.*thisstd::forward(get(u))

20 备注:除非is_constructible::value对所有人都适用,否则此构造函数不应参与重载决策i.构造函数是explicitif和only if is_convertible::value至少为false i.

std::is_constructible::value == false

std::is_constructible::value == false

std::is_constructible::value == true

std::is_assignable::value == true

std::is_assignable::value == true