Has a std::byte pointer the same aliasing implications as char*?

安稳与你 提交于 2019-11-27 02:04:46

问题


C++ (and C) strict aliasing rules include that a char* and unsigned char* may alias any other pointer.

AFAIK there is no analogous rule for uint8_t*.

Thus my question: What are the aliasing rules for a std::byte pointer?

The C++ reference currently just specifies:

Like the character types (char, unsigned char, signed char) it can be used to access raw memory occupied by other objects (object representation), but unlike those types, it is not a character type and is not an arithmetic type.


回答1:


From the current Standard draft ([basic.types]/2):

For any object (other than a base-class subobject) of trivially copyable type T, whether or not the object holds a valid value of type T, the underlying bytes ([intro.memory]) making up the object can be copied into an array of char, unsigned char, or std​::​byte ([cstddef.syn]).43 If the content of that array is copied back into the object, the object shall subsequently hold its original value.

So yes, the same aliasing rules apply for the three types, just as cppreference sums up.

It also might be valuable to mention ([basic.lval]/8.8):

If a program attempts to access the stored value of an object through a glvalue of other than one of the following types the behavior is undefined:

  • a char, unsigned char, or std​::​byte type.


来源:https://stackoverflow.com/questions/43551665/has-a-stdbyte-pointer-the-same-aliasing-implications-as-char

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!