std::ignore

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 库功能特性测试宏 (C++20) 类型支持（基本类型、RTTI） 程序工具 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) 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) 关系运算符 (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<=> (C++20 前)(C++20 前)(C++20 前)(C++20 前)(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;			(C++11 起) (C++14 前)
constexpr /*ignore-type*/ ignore;			(C++14 起) (c++17 起 inline)
		(2)
struct /*ignore-type*/ {     template< class T >     const /*ignore-type*/& operator=( const T& ) const noexcept     {         return *this;     } };				(C++11 起) (C++14 前) (仅用于阐述*)
struct /*ignore-type*/ {     template< class T >     constexpr const /*ignore-type*/& operator=( const T& ) const noexcept     {         return *this;     } };				(C++14 起) (仅用于阐述*)

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::set::insert() 所返回的 std::pair<iterator, bool>，但仅保存布尔值。

运行此代码

#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 << "已成功插入值。\n";
}

输出：

已成功插入值。

缺陷报告

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

缺陷报告	应用于	出版时的行为	正确行为
LWG 2773	C++14	已经使 std::tuple 为 constexpr 但未对 std::ignore 如此	亦使之为 constexpr
P2968R2	C++11	未正式规定 std::ignore 在 std::tie 以外的行为	完全规定行为

参阅

tie (C++11)

创建左值引用的 tuple，或将元组解包为独立对象 (函数模板)