1

根据 Effective C++，“将对象地址转换为 char* 指针，然后对它们使用指针算术运算几乎总是会产生未定义的行为。”

对于普通的旧数据，这是真的吗？例如，在我很久以前编写的这个模板函数中，用于打印对象的位。它在 x86 上运行得非常好，但是……它是可移植的吗？

#include <iostream>

template< typename TYPE >
void PrintBits( TYPE data ) {
    unsigned char *c = reinterpret_cast<unsigned char *>(&data);

    std::size_t i = sizeof(data);
    std::size_t b;

    while ( i>0 ) {
        i--;
        b=8;
        while ( b > 0 ) {
            b--;
            std::cout << ( ( c[i] & (1<<b) ) ? '1' : '0' );
        }
    }
    std::cout << "\n";
}

int main ( void ) {
    unsigned int f = 0xf0f0f0f0;
    PrintBits<unsigned int>( f );
    return 0;
}
4

2 回答 2

2

它当然不是便携式的。即使您坚持基本类型，也有字节序和 sizeof，因此您的函数将在大字节序机器或 sizeof(int) 为 16 或 64 的机器上打印不同的结果。另一个问题是并非所有 POD 都是基本类型，结构也可能是 POD。

根据实现定义的对齐规则，POD 结构成员可能具有内部填充。因此，如果您传递此 POD 结构：

struct PaddedPOD
{
char c;
int i;
}

您的代码也会打印填充的内容。即使在具有不同编译指示和选项的同一编译器上，填充也会有所不同。

另一方面，也许这正是你想要的。

所以，它不是便携式的，但它不是 UB。有一些标准保证：您可以在 char 或 unsigned char 数组中复制 POD，并且通过 char 缓冲区复制的结果将保持原始值。这意味着您可以安全地遍历该数组，因此您的函数是安全的。但是没有人保证这个具有相同类型和值的对象的数组（或对象表示）在不同的计算机上是相同的。

顺便说一句，我在 Effective C++ 中找不到那段话。你会引用它吗？我可以说，如果您的代码的一部分已经包含大量#ifdef thiscompilerversion. 从这个意义上说，是的，转换为 char * 通常会导致 UB。

于 2013-04-18T09:00:41.743 回答
2

是的，POD 类型始终可以被视为大小为 的字符数组sizeof (TYPE)。POD 类型就像相应的 C 类型（这就是它们“普通、旧”的原因）。由于 C 没有函数重载，因此编写“通用”函数来执行诸如将它们写入文件或网络流之类的操作取决于将它们作为 char 数组访问的能力。

于 2013-04-18T03:51:49.907 回答