C++ any类型用法 _ 存储任意类型变量的方法【实战】

std::any：一个被误解的“万能”容器

先明确一个核心认知：std::any绝非“万能容器”。 它本质上是一个仅存储单个值的、运行时类型安全的盒子。想从中取值？必须显式地、精确地指明类型，否则等待你的将是毫不留情的 std::bad_any_cast 异常，导致程序崩溃。它不支持比较、哈希，也无法直接序列化，这些能力都需要你手动实现。

std::any 是仅存储单个可复制类型的运行时类型安全容器，取值必须用指针版 std::any_cast 检查，不支持 unique_ptr、数组、抽象类等，且无比较、哈希、序列化能力。

std::any 能存什么、不能存什么

它的胃口其实很挑剔，只接受“可复制”的类型。这意味着整数、std::string、std::vector，或者任何定义了可用拷贝构造函数的自定义类，都能轻松放进去。但下面这些情况，编译器会直接亮起红灯：

• 想把 std::unique_ptr 直接赋值进去？行不通，因为它不可拷贝。正确的姿势是使用移动语义：std::any{std::move(ptr)}。
• 空值（nullptr_t）可以存，但要注意，默认构造的 std::any a; 本身就是空的，里面什么都没装。
• 函数指针、数组类型（比如 int[5]）、抽象类对象，以及那些只有前置声明但未定义的“不完整类型”，统统不在支持列表里。
• 还有一个隐蔽的陷阱：存储在其中的对象，其析构函数绝对不能抛出异常，否则 std::any 自己在销毁时可能会直接调用 std::terminate，终结整个程序。

字符串字面量陷阱："hello" 存进去不是 std::string

这是新手最容易栽跟头的地方之一。当你写下 data = "hello"; 时，心里想的可能是存一个字符串对象，但实际上，编译器会把它当作一个 const char*（C风格字符串指针）存进去。后果就是，后续任何尝试用 std::any_cast(data) 取值的操作，都会必然触发 std::bad_any_cast。

• 真想存 std::string，必须显式构造：data = std::string("hello"); 或者使用 std::make_any("hello");。
• 读取时也必须对型入座：if (auto p = std::any_cast(&data)) { use(*p); }。
• 别被假象迷惑：std::cout << std::any_cast(data) 能打印出内容，是因为 std::cout 对 const char* 有专门的处理，这跟 std::any 的类型安全机制无关。

怎么安全取出值：永远别裸用 std::any_cast(a)

直接调用 std::any_cast(a) 是在玩火，因为它一旦类型不匹配就会抛出异常。在配置解析、插件参数传递这类高频代码路径里，异常处理的代价很高，调试起来也相当棘手。更安全的做法是使用指针版本配合空指针检查：

立即学习“C++免费学习笔记（深入）”；

• if (auto p = std::any_cast(&a)) { use(*p); } —— 只有类型匹配时，指针才非空，全程无异常。
• 如果你存进去的是个常量对象（比如 const std::string s = "x"; a = s;），那么取的时候也必须用 std::any_cast(&a)，否则类型依然对不上。
• 如果不确定里面具体是什么类型，又不想写一长串的 if-else 分支来判断？这其实是一个强烈的信号：你或许应该考虑使用 std::variant 这种编译期类型安全的替代品，而不是硬着头皮用 std::any。
• 最后，关注一下性能：每次调用 .value() 或 any_cast 都需要在运行时比对 type_info。在极端情况下，比如百万次级别的频繁访问，其性能可能比 std::variant 慢上2到5倍。

小对象优化（SOO）和内存分配不可依赖

sizeof(std::any) 的大小通常是16或32字节，但这仅仅代表了控制块的大小，绝不意味着它能“免费”存储同等大小的对象。对象是否会在堆上分配内存，完全取决于编译器的具体实现和对象本身的尺寸：

• 对于小型类型（如 int, bool, 较短的 std::string），编译器可能会启用小对象优化（SOO），直接将数据存储在 std::any 对象内部。
• 但对于大型对象（比如很长的字符串、巨大的 std::vector），堆内存分配几乎不可避免，并且拷贝或移动的开销会相当显著。
• 因此，千万不要根据 sizeof(std::any) 来推断其存储能力；也别天真地以为“存一个包含100万个double的vector会很便宜”——它真的会去调用 malloc。
• 如果需要高性能，或者类型集合在编译期就是确定的，那么 std::variant 几乎总是更好的选择。std::any 真正合理的用武之地，是在插件系统、脚本语言绑定这类“确实无法预知将来会塞入什么类型”的动态边界场景。

话说回来，最容易被忽略的一点是：它没有定义 operator==，不支持哈希，也不能直接序列化——所有这些功能，都需要你手动添加类型标签和相应的逻辑来实现。所以，别再把它当作一个神秘的黑盒容器了；它本质上是一份带有明确运行时成本的、需要你小心维护的显式契约。