#include <iostream>
#include <cstring>
 
template <typename T> T transform(T t);
 
struct my_buffer {
    char data[128];
    unsigned pos;
    my_buffer() : pos(0) {}
    void rewind() { pos = 0; }    
    template <typename T> void push_via_pointer_cast(const T& t) {
        *reinterpret_cast<T*>(&data[pos]) = transform(t);
        pos += sizeof(T);
    }
    template <typename T> void pop_via_pointer_cast(T& t) {
        t = transform( *reinterpret_cast<T*>(&data[pos]) );
        pos += sizeof(T);
    }            
};    
// actually do some real transformation here (and actually also needs an inverse)
// ie this restricts allowed types for T
template<> int transform<int>(int x) { return x; }
template<> double transform<double>(double x) { return x; }
 
int main() {
    my_buffer b;
    b.push_via_pointer_cast(1);
    b.push_via_pointer_cast(2.0);
    b.rewind();
    int x;
    double y;
    b.pop_via_pointer_cast(x);
    b.pop_via_pointer_cast(y);
    std::cout << x << " " << y << '\n';
}

请不要过分关注可能的越界访问以及可能没有必要写这样的事实.我知道char *可以指向任何东西,但我也有一个指向char *的T *.也许还有一些我想念的东西.

这是一个complete example还包括通过memcpy推送/弹出,其中afaik不受严格别名的影响.

TL; DR：上面的代码是否表现出未定义的行为(暂时忽略了一个越界的访问),如果是,为什么？ C 11或其中一个较新的标准有什么变化吗？