将“this”指针转换为另一种类型不会违反严格的别名？

Question

所以如果我这样做：

#include <ios>

using std::forward;

template<class T>
struct pod_version final{
    private:
        alignas(T) uint8_t m_data[sizeof(T)];
    public:
        pod_version()=default;
        pod_version(const pod_version&)=default;
        pod_version(pod_version&&)=default;
        ~pod_version()=default;
        pod_version& operator=(const pod_version&)=default;
        pod_version& operator=(pod_version&&)=default;

        template<class...V>void construct(V&&...v){
            new (m_data) T(forward<V>(v)...);
        }

        void destroy(){
            reinterpret_cast<T*>(m_data)->~T(); // g++: warning typed punned blah im allowed to break ur code LOL
            reinterpret_cast<T*>(this)->~T(); // g++: :D
        }
};

int main(){
    pod_version<int> x;
    x.construct(5);
    x.destroy();
    return 0;
}

注意：“m_data”和“this”应该指向同一个地方...

gcc 4.8.1

Answer 1

使用char，而不是uint8_t。

类型双关语规则对char、signed char 和unsigned char 有特殊情况，并且仅限于这些类型。 uint8_t 不需要表示其中之一。

请注意，这个pod_version 类的整个概念是可疑的。您正在对无效的类型强制执行简单的复制语义。您的代码将尝试在未初始化的内存或对象的二进制图像上调用析构函数。两者都会导致未定义的行为。

Answer 2

您的编译器正确地抱怨m_data 的转换，因为m_data 不是char* 类型，而是int8_t* 类型。严格的别名规则不允许在 char*、unsigned char* 或 signed char* 以外的任何地方进行类型双关。

很可能，编译器无法通过将pod_version<T>* 转换为T* 来判断出某种邪恶的含义。毕竟，这些都是复杂类型，编译器不知道您要访问T 的哪些成员，它可能是int8_t 成员，在这种情况下，强制转换是完全可以的。毕竟，未定义的行为仅在您以不同的基本类型访问相同的内存位置时调用，而不是在您更改指针的类型时调用。

在任何情况下，您都可以通过编写强制转换明确地告诉编译器“我知道自己在做什么”，因此任何健全性检查都是可选的。

Answer 3

标准不要求警告。实现可能会以任何他们认为合适的原因警告您，或者根本不会警告您。

不管怎样，gcc 4.8.2 使用 -Wall 静默编译您的代码。 编辑：不，它没有。