Что не так в этих 5 бесчисленных способах декларирования/инициализации постоянных указателей? (Взято из сомнительной, но популярной книги)

Question

Мой плохой! Я предположил, что следующий отрывок из печально известной, но дико популярной книги полностью действителен . Но только сегодня мне было указано, что он ездил с UB (хотя я еще не нашел, как это происходит). Вот этот конкретный раздел из книги. Вы будете делать мне и многим другим «жертвам», как я отличный если вы можете указать в нумерованном порядке, что не так, или UB с каждым конкретным заявлением, и соответствующие исправления для них.

char *p = "Hello" ; /* pointer is variable, so is string */ 
*p = 'M' ; /* works */ 
p = "Bye" ; /* works */ 


const char *q = "Hello" ; /* string is fixed pointer is not */ 
*q = 'M' ; /* error */ 
q = "Bye" ; /* works */ 


char const *s = "Hello" ; /* string is fixed pointer is not */ 
*s = 'M' ; /* error */ 
s = "Bye" ; /* works */ 


char * const t = "Hello" ; /* pointer is fixed string is not */ 
*t = 'M' ; /* works */  
t = "Bye" ; /* error */ 


const char * const u = "Hello" ; /* string is fixed so is pointer */ 
*u = 'M' ; /* error */ 
u = "Bye" ; /* error */ 

Answer 1

char *p = "Hello" 

«Здравствуйте» строковый литерал помещается в реализации только для чтения памяти и изменить его любым возможным способом является UB. Независимо от того, где вы помещаете квалификатор const, любая попытка изменить строковый литерал - это UB. Правильный способ представить это в C++ является:

const char *p = "Hello"; 

---

char *p = "Hello" ; 

Указатель может быть желание пересесть, но строка не должна быть изменена.

const char *q = "Hello" ; 
char const *s = "Hello" ; 

Правильный способ представления указателя, указывающего на строковый литерал в C++. Указатель можно переустановить, но строка не должна изменяться.

char * const t = "Hello" ; 

Указатель не может быть переустановлен, и строка не должна изменяться.

const char * const u = "Hello" ; 

Указатель постоянный, поэтому строка.

Любая попытка изменить строку в любом из них - это UB.

Answer 2

Эти два случая неопределенное поведение:

char *p = "Hello" ; 
*p = 'M' ; // Undefined behavior: trying to modify a string literal. 


char * const t = "Hello" ; 
*t = 'M' ; // Undefined behavior: trying to modify a string literal.