C ++

在一个变体类中,我正在处理原始存储是一个char数组:

alignas(/* the strictest alignment of all types of the variant */)
char storage[/* ... */];

赋值运算符如下所示:

template<class X>
void operator=(const X &x)
{
  // ...code for clearing the storage and setting the tag for type X...

  new(storage) X(x);
}

而获取存储对象的代码是:

template<class X>
const X &get()
{
  // ...
  return *reinterpret_cast<X *>(storage);
  // ...
}

它似乎工作,但它总是很好的定义? 我担心安全地取消引用指针(是否允许使用类型别名规则?)。

目前的实施方案和实施方案之间是否有区别?

 return *static_cast<const X *>(static_cast<const void *>(storage));

相关问题/答案:

https://stackoverflow.com/a/7321815/3235496(请参阅James Kanze的评论)。


编辑

第二个问题在这里已经有了答案:C ++什么时候我们应该更喜欢使用两个链接的static_cast而不是reinterpret_cast


由于storage是正确对齐的,我无法想象可能出现问题的位置。 关于指针转换的段落(*)4.10说:类型“指向cv T的指针”的prvalue,其中T是对象类型,可以转换为类型“指向cv void的指针”的prvalue。 将指针的非空指针值转换为对象类型为“指向cv void的指针”的结果表示与原始指针值相同的字节在内存中的地址。

关于第二个问题,有关reinterpres_cast第5.2.10段:对象指针可以显式转换为不同类型的对象指针。 当对象指针类型的prvalue v被转换为对象指针类型“指向cv T的指针”时,结果是static_cast<cv T*>(static_cast<cv void*>(v)) ,其中cv表示可选的constvolatile

所以这部分是保证每个规格。 更多,因为我们看到一个强制转换void *应该指向内存的第一个字节,因为我对标准的理解没有UB ......提供的编译器有相同的理解;-)

(*)Référence:当前C ++规范的草案

链接地址: http://www.djcxy.com/p/83635.html

上一篇: c++

下一篇: C++ template operator not found as match