Question

我将通过以下链接了解内存对齐：https://www.ibm.com/developerworks/library/pa-dalign/#N10159。但是，我无法理解下面给出的代码段。

void Munge8( void *data, uint32_t size ) {
    uint8_t *data8 = (uint8_t*) data;
    uint8_t *data8End = data8 + size;

    while( data8 != data8End ) {
        *data8++ = -*data8;
    }
}

这里的目的是增加指针，这可能是由“data8 = data8 + 1”完成的，但是所讨论的代码使用“* data8 ++ = - * data8”。它们都工作正常，即增加指针，但我无法理解后面的逻辑。它比“data8 = data8 + 1”更好吗？

在编译期间，我收到一个错误“alignment_test1.c：44：警告：对'data8'的操作可能是未定义的。”

问题的第二部分是关于下面的代码片段（来自前面提到的相同链接）。

清单2. Munging数据一次两个字节

void Munge16( void *data, uint32_t size ) {
    uint16_t *data16 = (uint16_t*) data;
    uint16_t *data16End = data16 + (size >> 1); /* Divide size by 2. */
    uint8_t *data8 = (uint8_t*) data16End;
    uint8_t *data8End = data8 + (size & 0x00000001); /* Strip upper 31 bits. */

    while( data16 != data16End ) {
        *data16++ = -*data16;
    }
    while( data8 != data8End ) {
        *data8++ = -*data8;
    }
}

第二个'while'循环背后的原因是什么？因为在这种情况下data8和data8End总是相同的。

Answer 1

该文章的代码是一个混乱的混乱。不要阅读或研究它。立即停止阅读文章。

*data8++ = -*data8;调用未定义的行为，因为它包含对data8的无序访问。查看有史以来最常见的C常见问题解答：Why are these constructs (using ++) undefined behavior?

根据数据的原始类型，第二部分很可能包含各种形式的严格别名行为，这是另一种形式的未定义行为。你不能将指针转换为指针指向uint16_t，然后像访问uint16_t一样访问内容，除非是对象的原始类型（有效类型）。这引出了另一个常见的C FAQ What is the strict aliasing rule?

在尝试在互联网上发布技术文章之前，您可以将该文章的作者指向这些链接并告诉他们学习基本的C编程。

了解有关内存对齐的C程序

1 个答案: