Question

我使用的变式类型。

template< TTL_TPARAMS_DEF(TTL_MAX_TYPELIST_PARAMS, empty_type) >
struct variant
{
    typedef variant this_t;
    typedef meta::typelist< TTL_ARGS(TTL_MAX_TYPELIST_PARAMS) > list;
    ...

    template< typename T >
    variant( const T& r ) : which_(0), pnt_(0)
    {
        typedef meta::find_equivalent_type<const T&, list> found;
        pnt_ = new(stor_.buf_) ttl::data_holder<typename found::type>(r);
        which_ = found::index;
    }
    ...
private:
    template<int N> 
    struct storage
    {
        union
        {
            ttl::data_holder_base dummy;  //hope to satisfy alignment settings
            char buf_[N];
        };
    };

    int which_;
    ttl::data_holder_base* pnt_;
    storage< sizeof(ttl::data_holder<typename list::largest_type>) > stor_;
    ....
};


struct data_holder_base {};

template< typename T >
struct data_holder : data_holder_base
{
    ...
    typedef const T& param_type;

    T d;
    ...
    data_holder( param_type d_ ) : d(d_) {}
    ...
};

当我在网络上发送这种类型的物体并用“memcpy”“重建”它时, 指针“pnt_”显然指向Nirvana。由于我知道储存的类型, 我试图用一个投影来重建指针“pnt_” :

template<typename T>
inline void rebuild()
{
    pnt_ = reinterpret_cast<ttl::data_holder<T>*>(stor_.buf_); 
}

For the case I checked this example it works. But I don t know how the placement new (pnt_ = new(stor_.buf_) ...) is placing the object into stor_.buf_. Would it be required to store something like std::distance(&stor_.buf_[0], pnt_) to find the object?

还是有不同的方法可以把 pnt/code> 调回来?



Thank you
  Mario

Answer 1

Plaage new 将新对象放入 stor_.buf/code>, 原因是该设置是如何定义 new 的。您给 new 提供您想要使用的内存地址, 并在该位置构造该对象。它返回了同一个地址, 所以存储在 stor_.buf/code> 中的地址是 stor_.buf/code> 的地址, 但与构建对象的类型有关, ttl::data_desert<found:ty> , 而不是。由于地址相同, std:::troet value 你提到的地址总是为零(假设这个电话甚至会编译,因为参数类型不同,所以它会成功)。



stor_.buf/code> 的地址也总是与 stor_.dummy  的地址相等。 您可以通过像这样指定  pnt/code > 来简化添加的代码 :


pnt_ = &stor_.dummy;


然而,由于您显然只是复制了插座上的原始内存, 从而固定了这个 < code> evariant  对象的内部, 它只是冰山的一角。 您的变量持有的价值可能 < em> 也包含地址, 您没有办法在其中找到地址。 即使您有, 您可能不需要地址 。 您幸运地在“ code > variant  ” 上重新固定的地址恰好是同一对象中的一个地址, 所以很容易计算。 但是, 您可以考虑 < code>std: string , 将存储从自由存储处分配内存; 发送一个插头不会给您任何在另一端可用的字符数据, 它甚至不会给您。 您应该学习其它技术来序列化和淡化 < code> tl:: variant  对象。 您可以在 Stack Overtroll 上张贴一个问题, 询问如何操作 。

友情链接