wcslen(） 在使用编译指示包时返回不正确的结果

wcslen() returns incorrect result when pragma pack used

本文关键字：返回 包时 不正确 结果 指示 编译 wcslen      更新时间：2023-10-16

我发现wcslen()在gcc上返回不正确的结果(在msvc上返回正确的结果)，当源是数组，打包结构的成员时wchar_t。我知道在 linux sizeof(wchar_t) == 4 和 Windows 上它是 2，但仍然无法理解打包如何影响 wcslen() 函数。如果我将 wchar_t/wcslen 更改为 char/strlen，它会按预期工作。

#include <cstdint>
#include <cwchar>
#include <cstring>
#pragma pack(push, 1)
struct A
{
uint8_t c;
};
struct B
{
A  a;
wchar_t buf[9];
};
#pragma pack(pop)

int main()
{
const wchar_t* s = L"05.00.06";
B b{};
memcpy(b.buf, s, wcslen(s) * sizeof(wchar_t));
return wcslen(b.buf);
}

为什么这个用 gcc 编译的代码返回 7？它应该返回 8(就像 msvc 一样)。顺便说一句，复制的字节是正确的(b.buf[7] == '6')。

此代码的行为是未定义且不可预测的。您向wcslen函数传递了一个无效的指针，因为它不一定满足其类型的对齐要求。

在您的平台上，wchar_t的对齐要求可能为 2。因此，您传递给wcslen的指针无效。您不会看到类似的行为strlen因为在这种情况下对齐要求为 1，这意味着根本没有要求。

除非您知道已遵守平台的对齐要求，否则不要在填充结构上操作。否则，结果是完全不可预测的。在许多平台上，您的代码会崩溃。

相关文章：