Вопрос 1.
В стандарте языка есть такое понятие как similar types (conv.qual/2). Являются ли типы unsigned char
и int
similar? (Я полагаю, что нет, однако, если да, то хотелось бы узнать почему?)
Вопрос 2.
В разделе стандарта языка, описывающего аддитивные операции (в частности арифметику указателей), есть интересный пункт expr.add/6:
For addition or subtraction, if the expressions
P
orQ
have type “pointer to cvT
”, whereT
and the array element type are not similar, the behavior is undefined. [ Note: In particular, a pointer to a base class cannot be used for pointer arithmetic when the array contains objects of a derived class type. — end note ]
Пусть есть следующий код:
int mass[2];
unsigned char *p = reinterpret_cast<unsigned char *>(mass);
p = p + 1; //UB?
Является ли приведённый код неопределённым поведением? Если нет, то почему?
(По-моему, приведённый код в точности соответствует приведённой цитате из стандарта. Этот вопрос возник у меня отчасти потому, что когда речь заходит о strict aliasing rules, то всегда оговаривается, что к объектам можно получить доступ через char
/unsigned char
. Но о каком доступе к объекту может идти речь, если нельзя наращивать указатель?)
Вопрос 3.
Если поведение кода в вопросе 2 не определено, то как реализовать свой memcpy
?
char*
. Поэтому свойmemcpy
можно реализовать без особых изысков