这段代码打破了严格的别名规则？

Question

我阅读了http://blog.qt.digia.com/blog/2011/06/10/type-punning-and-strict-aliasing/ ，发现了这段代码。

QDataStream &QDataStream::operator>>(qint16 &i)
{
...
        register uchar *p = (uchar *)(&i);
        char b[2];
        if (dev->read(b, 2) == 2) {
            *p++ = b[1];
            *p = b[0];
...

作者声称MSVC优化了我觉得很奇怪的任务。

MSVC真的利用严格的别名规则吗？

是不是uchar *特别允许用来做打字？

Answer 1

它是编译器错误或代码中调用此方法的错误。 “严格别名规则”允许使用字符类型访问i引用的对象，而不管该对象的实际类型是什么。 调用此方法的代码实际上甚至不必传递对与qint16兼容的对象的引用，以使此函数具有已定义的行为。