std::any::any

 

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::any

成员函数

any::any

any::~any

any::operator=

修改器

any::emplace

any::reset

any::swap

观察器

any::has_value

any::type

非成员函数

swap(std::any)

any_cast

make_any

辅助类

bad_any_cast

 

constexpr any() noexcept;	(1)	(C++17 起)
any( const any& other );	(2)	(C++17 起)
any( any&& other ) noexcept;	(3)	(C++17 起)
template< class ValueType > any( ValueType&& value );	(4)	(C++17 起)
template< class ValueType, class... Args > explicit any( std::in_place_type_t<ValueType>, Args&&... args );	(5)	(C++17 起)
template< class ValueType, class U, class... Args > explicit any( std::in_place_type_t<ValueType>, std::initializer_list<U> il, Args&&... args );	(6)	(C++17 起)

构造新的 any 对象。

1) 构造空对象。

2,3) 复制 (2) 或移动 (3) other 的内容进新实例，从而任何内容的类型和值都等于构造函数调用前的 other 所拥有者，或者若 other 为空则内容为空。正式地说，

2) 若 other 为空，则构造的对象为空。否则，等价于 any(std::in_place_type<T>, std::any_cast<const T&>(other))，其中 T 是 other 中含有的对象类型。

3) 若 other 为空，则构造的对象为空，否则，构造的对象含 other 中曾容纳的对象，或从 other 中的对象（将该对象当作右值）构造的同类型对象。

4) 构造对象，其初始内容为 std::decay_t<ValueType> 类型的对象，从 std::forward<ValueType>(value) 直接初始化它。

• 此重载只有在 std::decay_t<ValueType> 既非与 any 相同类型，亦非std::in_place_type_t 的特化，且 std::is_copy_constructible_v<std::decay_t<ValueType>> 为true 时才会参与重载决议。

5) 构造对象，其初始内容为 std::decay_t<ValueType> 类型的对象，从 std::forward<Args>(args)... 直接非列表初始化它。

• 此重载只有在 std::is_constructible_v<std::decay_t<ValueType>, Args...> 与 std::is_copy_constructible_v<std::decay_t<ValueType>> 皆为 true 时才会参与重载决议。

6) 构造对象，其初始内容为 std::decay_t<ValueType> 类型的对象，从 il, std::forward<Args>(args)... 直接非列表初始化它。

• 此重载只有在 std::is_constructible_v<std::decay_t<ValueType>, std::initializer_list<U>&, Args...> 与 std::is_copy_constructible_v<std::decay_t<ValueType>> 皆为 true 时才会参与重载决议。

模板形参

ValueType	-	所含的值类型
类型要求
- std::decay_t<ValueType> 必须满足可复制构造 (CopyConstructible) 。

参数

other	-	另一个用以复制或移动的 any 对象
value	-	用于初始化所含值的值
il, args	-	要传递给所含对象的构造函数的实参

异常

2,4-6) 抛出所含类型的构造函数所抛出的任何异常

注解

因为默认构造函数为 constexpr，所以静态的 std::any 是在任何动态非局部初始化开始之前，作为静态非局部初始化的一部分初始化的。这使得在任何静态对象的构造函数中使用 std::any 对象是安全的。

示例

运行此代码

#include <boost/core/demangle.hpp>

#include <any>
#include <initializer_list>
#include <iostream>
#include <memory>
#include <set>
#include <string>
#include <utility>

struct A
{
    int age;
    std::string name;
    double salary;

#if __cpp_aggregate_paren_init < 201902L
    // C++20 前进行原位构造所需
    A(int age, std::string name, double salary)
        : age(age), name(std::move(name)), salary(salary) {}
#endif
};

// 使用 abi 去重整，以打印 any 所持有的实例的可读类型名
void printType(const std::any& a)
{
    std::cout << boost::core::demangle(a.type().name()) << '\n';
}

int main()
{
    // 构造函数 #4: std::any 持有 int
    std::any a1{7};
    
    // 构造函数 #5: std::any 持有原位构造的 A
    std::any a2(std::in_place_type<A>, 30, "Ada", 1000.25);
 
    // 构造函数 #6: std::any 持有带有自定义比较的 A 的 set
    auto lambda = [](auto&& l, auto&& r){ return l.age < r.age; };
    std::any a3(
        std::in_place_type<std::set<A, decltype(lambda)>>,
        {
            A{39, std::string{"Ada"}, 100.25},
            A{20, std::string{"Bob"}, 75.5}
        },
        lambda);

    printType(a1);
    printType(a2);
    printType(a3);
}

可能的输出：

int
A
std::set<A, main::{lambda(auto:1&&, auto:2&&)#1}, std::allocator<A> >

参阅

operator=

赋值 any 对象 (公开成员函数)