std::tuple<Types...>::operator=

< cpp‎ | utility‎ | tuple
 
C++
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
(C++14)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++20)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)

初等字符串转换
(C++17)
(C++17)
(C++17)
 
std::tuple
成员函数
tuple::operator=
非成员函数
(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20)
推导指引(C++17)
辅助类
 
(1)
tuple& operator=( const tuple& other );
 (C++11 起)
(C++20 前)
constexpr tuple& operator=( const tuple& other );
 (C++20 起)
(2)
tuple& operator=( tuple&& other ) noexcept(/* see below */);
 (C++11 起)
(C++20 前)
constexpr tuple& operator=( tuple&& other ) noexcept(/* see below */);
 (C++20 起)
(3)
template< class... UTypes >
tuple& operator=( const tuple<UTypes...>& other );
 (C++11 起)
(C++20 前)
template< class... UTypes >
constexpr tuple& operator=( const tuple<UTypes...>& other );
 (C++20 起)
(4)
template< class... UTypes >
tuple& operator=( tuple<UTypes...>&& other );
 (C++11 起)
(C++20 前)
template< class... UTypes >
constexpr tuple& operator=( tuple<UTypes...>&& other );
 (C++20 起)
(5)
template< class U1, class U2 >
tuple& operator=( const std::pair<U1,U2>& p );
 (C++11 起)
(C++20 前)
template< class U1, class U2 >
constexpr tuple& operator=( const std::pair<U1,U2>& p );
 (C++20 起)
(6)
template< class U1, class U2 >
tuple& operator=( std::pair<U1,U2>&& p );
 (C++11 起)
(C++20 前)
template< class U1, class U2 >
constexpr tuple& operator=( std::pair<U1,U2>&& p );
 (C++20 起)

以另一 tuple 或 pair 的内容替换 tuple 的内容。

1) 复制赋值运算符。复制赋值 other 的每个元素给 *this 的对应元素。
2) 移动赋值运算符。对所有 i ，赋值 std::forward<Ti>(get<i>(other)) 给 get<i>(*this) 。
3) 对所有 i ，赋 std::get<i>(other) 给 std::get<i>(*this) 。
  • 此重载仅若 sizeof...(UTypes) == sizeof...(Types) 且 std::is_assignable<T_i&, const U_i&>::value 对所有 Types 中的 T_i 和 UTypes 中的 U_i 的对应对均为 true 才参与重载决议。
4) 对所有 i ，赋 std::forward<Ui>(std::get<i>(other)) 给 std::get<i>(*this) 。
  • 此重载仅若 sizeof...(UTypes) == sizeof...(Types) 且 std::is_assignable<T_i&, U_i>::value 对所有 Types 中的 T_i 和 UTypes 中的 U_i 的对应对均为 true 才参与重载决议。
5) 赋 p.first 给 *this 的首元素并赋 p.second 给 *this 的第二元素。
  • 此重载仅若 sizeof...(Types) == 2 且 std::is_assignable<T_0&, const U1&>::value 与 std::is_assignable<T_1&, const U2&>::value 均为 true 才参与重载决议，其中 T_0 与 T_1 是组成 Types 的二个类型。
6) 赋 std::forward<U1>(p.first) 给 *this 的首元素并赋 std::forward<U2>(p.second) 给 *this 的第二元素。
  • 此重载仅若 sizeof...(Types) == 2 且 std::is_assignable<T_0&, U1>::value 与 std::is_assignable<T_1&, U2>::value 均为 true 才参与重载决议，其中 T_0 与 T_1 是组成 Types 的二个类型。

参数

other - 要替换此 tuple 内容的 tuple
p - 要替换此 2-tuple 内容的 pair

返回值

*this

异常

1) （无）
2)
noexcept 规定：  
noexcept(

    std::is_nothrow_move_assignable<T0>::value &&
    std::is_nothrow_move_assignable<T1>::value &&
    std::is_nothrow_move_assignable<T2>::value &&
    ...

)
3-6) （无）

示例

本节未完成
原因：暂无示例

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
LWG 2729 C++11 tuple::operator= 未被制约并可能导致不必要的未定义行为 已制约

参阅