std::ignore

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 类型支持 (基本类型, RTTI) 库特性测试宏 (C++20) 程序工具 可变参数函数 initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) 协程支持 (C++20) 契约支持 (C++26) 三路比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用工具 函数对象 位操作 (C++20) bitset hash (C++11) 关系运算符 (deprecated in C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换 和 类型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 通用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

std::tuple

成员函数

tuple::tuple

tuple::operator=

tuple::swap

非成员函数

make_tuple

tie

forward_as_tuple

tuple_cat

operator==operator!=operator<operator<=operator>operator>=operator<=> (until C++20)(until C++20)(until C++20)(until C++20)(until C++20)(C++20)

swap(std::tuple)

get(std::tuple)

辅助概念

tuple-like (C++23)

辅助类

tuple_size<std::tuple>

tuple_element<std::tuple>

uses_allocator<std::tuple>

basic_common_reference<std::tuple> (C++23)

common_type<std::tuple> (C++23)

formatter<std::tuple> (C++23)

ignore

推导指引(C++17)

 

定义于头文件 <tuple>
定义于头文件 <utility>
	(1)
const /*ignore-type*/ ignore;			(since C++11) (until C++14)
constexpr /*ignore-type*/ ignore;			(since C++14) (inline since c++17)
		(2)
struct /*ignore-type*/ {     template< class T >     const /*ignore-type*/& operator=( const T& ) const noexcept     {         return *this;     } };				(since C++11) (until C++14) (exposition only*)
struct /*ignore-type*/ {     template< class T >     constexpr const /*ignore-type*/& operator=( const T& ) const noexcept     {         return *this;     } };				(since C++14) (exposition only*)

1) 一个对象，任何值都可以赋值给它而无效。

2) std::ignore 的类型。

注解

void 表达式或 volatile 位域值不能赋值给 std::ignore。

std::ignore 旨在与 std::tie 一起使用，在解包 std::tuple 时，作为不使用的参数的占位符，但可以用于任何不需要的赋值。

一些代码指南建议使用 std::ignore 以避免来自 [[nodiscard]] 函数的未使用返回值警告，即使不需要赋值。

对于忽略不需要赋值的值，可以转换为 void。对于有名称但其值未使用的变量，可以将它们转换为 void 或使用 [[maybe_unused]] 声明这些变量。

示例

1. 演示了 std::ignore 与 [[nodiscard]] 函数一起使用。
2. 解包 std::pair<iterator, bool> returned by std::set::insert(), 但仅保存布尔值。

运行此代码

#include <iostream>
#include <set>
#include <string>
#include <tuple>
 
[[nodiscard]] int dontIgnoreMe()
{
    return 42;
}
 
int main()
{
    std::ignore = dontIgnoreMe();
 
    std::set<std::string> set_of_str;
    if (bool inserted{false};
        std::tie(std::ignore, inserted) = set_of_str.insert("Test"),
        inserted)
        std::cout << "Value was inserted successfully.\n";
}

输出

Value was inserted successfully.

缺陷报告

以下行为变更缺陷报告被追溯应用于之前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
LWG 2773	C++14	std::tuple 已被设为 constexpr，但 std::ignore 尚未	设为 constexpr
P2968R2	C++11	std::ignore 在 std::tie 之外的行为未被正式指定	被完全指定

参见

tie (C++11)

创建左值引用元组或将元组解包为单个对象 (函数模板)