struct f_any
{
f_any() : ptr() {}
~f_any() { delete ptr; }
bool valid() const { return ptr != 0; }
void f() { assert(ptr); ptr->f(); }
struct placeholder
{
virtual ~placeholder() {}
virtual void f() const = 0;
};
template < typename T >
struct impl : placeholder
{
impl(T const& t) : val(t) {}
void f() const { val.f(); }
T val;
};
// ptr can now point to the entire family of
// struct types generated from impl<T>
placeholder * ptr;
template < typename T >
f_any(T const& t) : ptr(new impl<T>(t)) {}
// assignment, etc...
};
boost::any的基本功能与之相同，只是f()实际返回typeinfo const&，并提供其他信息访问以使any_cast函数工作。
boost::any和boost::variant的关键区别在于any可以存储任何类型，而variant只能存储一组列举出的类型之一。 any类型存储void*指向对象的指针，以及一个typeinfo对象，以记住底层类型并实施某种程度的类型安全性。在boost::variant中，它计算最大的大小对象，并使用“放置新的”将对象分配到此缓冲区中。它还存储类型或类型索引。
请注意，如果您安装了Boost，则应该能够在“any.hpp”和“variant.hpp”中看到源文件。只需在“/usr”，“/usr/local”和“/opt/local”中查找“include/boost/variant.hpp”和“include/boost/any.hpp”，直到找到已安装的标头，然后您可以查看。
编辑
正如下面的评论所指出的那样，在我的boost::any描述中有一个轻微的不准确之处。虽然它可以使用void*来实现（和一个模板化的销毁回调来正确删除指针），但实际的实现使用any<T> :: placeholder *，其中any<T> :: holder <T>作为any<T> :: placeholder 的子类，目的是统一类型。
#include指令已经添加了超链接，因此你可以直接查看它们所包含的文件。 - In silicoany 没有使用 void * 实现是因为这会使资源清理更加困难。相反，它使用了一个多态的类层次结构，并为每种存储类型使用派生类模板。这样可以通过虚析构函数进行清理。但是，你的答案其他部分非常好，所以我没有投下自己的反对票。 - templatetypedefboost::any仅在模板构造函数运行时快照typeinfo：它具有指向非模板基类的指针，该基类提供对typeinfo的访问，并且构造函数派生了一个满足该接口的特定类型的类。这种技术实际上可以用于捕获一组类型的其他常见功能（例如流式传输、公共运算符、特定函数），尽管boost不提供此类型的控制。
boost::variant在概念上与以前所做的类似，但通过不直接使用union，而是手动处理其缓冲区中对象的放置构造/销毁（同时明确处理对齐问题），它解决了C++在实际union中复杂类型的限制问题。