boost :: variant和boost :: any如何工作?

如何使用boost库中的变体和任何内部工作?在我正在进行的项目中,我目前使用标记的联合。我想使用其他东西,因为C ++中的联合不允许您使用带有构造函数,析构函数或重载赋值运算符的对象。 我查询了任何和变体的大小,并用它们做了一些实验。在我的平台中,variant采用其最长可能类型的大小加上8个字节:我认为我只是8字节的类型信息,其余的是存储值。另一方面,任何只需要8个字节。由于我在64位平台上,我猜任何只是一个指针。 怎么知道它有什么类型? Variant如何通过模板实现它的功能?在使用它们之前,我想更多地了解这些类。     
已邀请:
如果你阅读了boost :: any文档,他们会提供这个想法的来源:http://www.two-sdg.demon.co.uk/curbralan/papers/ValuedConversions.pdf 它是基本的信息隐藏,是一种必不可少的C ++技能。学习它! 由于这里最高的投票答案是完全错误的,我怀疑人们会真正去查看源代码以验证这一事实,这里是任何类似接口的基本实现,它将使用f()函数包装任何类型允许它被调用:
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
中,它计算最大大小的对象,并使用“placement new”在此缓冲区中分配对象。它还存储类型或类型索引。 请注意,如果安装了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
的子类来统一类型。     
boost::any
只是在模板化构造函数运行时快照
typeinfo
:它有一个指向非模板化基类的指针,它提供对typeinfo的访问,构造函数派生一个特定于类型的类来满足该接口。实际上可以使用相同的技术来捕获一组类型的其他常见功能(例如,流,公共运算符,特定功能),尽管boost不提供对此的控制。 boost :: variant在概念上类似于你之前所做的,但是并没有真正使用
union
而是采用手动方法在缓冲区中放置构造/销毁对象(同时明确处理对齐问题),它可以解决限制问题C ++在实际的ѭ16中具有复杂的类型。     

要回复问题请先登录注册