扔掉指针上的标志是否合法？

Question

我正在使用 unsigned char*s 包含字符串的过时代码库。对于我的功能，我使用了strings，但是有一个问题：

我不能在旧代码的#include <cstring> 中使用任何东西。从string 复制到unsigned char* 是一个费力的过程：

unsigned char foo[12];
string bar{"Lorem Ipsum"};

transform(bar.cbegin(), bar.cbegin() + min(sizeof(foo) / sizeof(foo[0]), bar.size()), foo, [](auto i){return static_cast<unsigned char>(i);});
foo[sizeof(foo) / sizeof(foo[0]) - 1] = '\0';

如果我这样做，我是否会遇到未定义的行为或别名问题：

strncpy(reinterpret_cast<char*>(foo), bar.c_str(), sizeof(foo) / sizeof(foo[0]) - 1);
foo[sizeof(foo) / sizeof(foo[0]) - 1] = '\0';

Answer 1

[unsigned] char 的严格别名规则有一个明确的例外，因此在字符类型之间转换指针就可以了。

特别是在N3690 [basic.types] 中说任何可简单复制的对象都可以复制到char 或unsigned char 的数组中，如果然后复制回来，则值是相同的。它还说，如果您将相同的数组复制到第二个对象中，这两个对象是相同的。 （第二、三段）

[basic.lval] 表示通过char 或unsigned char 类型的左值更改对象是合法的。

我认为 BobTFish 在 cmets 中表达了对 char 和 unsigned char 中的值是否放错位置的担忧。 “字符”值本质上是char 类型。您可以将它们存储在 unsigned char 中，稍后将它们用作 char - 但这已经发生了。

（我建议编写一些内联包装函数来降低整个事情的噪音，但我认为代码 sn-ps 是为了说明而不是实际使用。）

编辑：删除使用static_cast的错误建议。

Edit2：章节和诗句。