C: объявить постоянный указатель на массив постоянных символов

Question

Я пытаюсь понять объявления массива, константы и их результирующие типы переменных.

Следующая разрешено (мой компилятор):

 char s01[] = "abc" ; // typeof(s01) = char* 
const char s02[] = "abc" ; // typeof(s02) = const char* (== char const*) 
char const s03[] = "abc" ; // typeof(s03) = char const* (== const char*) 

В качестве альтернативы, мы можем объявить размер массива вручную:

 char s04[4] = "abc" ; // typeof(s04) = char* 
const char s05[4] = "abc" ; // typeof(s05) = const char* (== char const*) 
char const s06[4] = "abc" ; // typeof(s06) = char const* (== const char*) 

Как получить результирующую переменную типа const char* const? Не допускаются (мой компилятор) следующее:

const char s07 const[] = "abc" ; 
char const s08 const[] = "abc" ; 
const char s09[] const = "abc" ; 
char const s10[] const = "abc" ; 
const char s11 const[4] = "abc" ; 
char const s12 const[4] = "abc" ; 
const char s13[4] const = "abc" ; 
char const s14[4] const = "abc" ; 

Благодаря

Answer 1

const char *const s15 = "abc"; 

Answer 2

s01 и др не действительно указатель типов, они типы массивов. В этом смысле они уже действуют немного как const указатели (вы не можете повторно назначить s01, чтобы указать, например, на другое место).

Answer 3

Применение cdecl:

cdecl> declare foo as constant pointer to array of constant char 
Warning: Unsupported in C -- 'Pointer to array of unspecified dimension' 
     (maybe you mean "pointer to object") 
const char (* const foo)[] 
cdecl> declare foo as constant pointer to array 4 of constant char 
const char (* const foo)[3] 
cdecl> declare foo as constant pointer to constant char 
const char * const foo 

Указатели на массивы редко используются в C; обычно функции API ожидают указатель на первый элемент.

Answer 4

Ваши первые typeof комментарии не совсем правильные. Тип s01 - char [4], а типы s02 и s03 - const char [4]. При использовании в выражении, а не в субъекте либо операторов &, либо sizeof, они будут оценивать значения r 0 0, char * и const char * соответственно, указывая на первый элемент массива.

Вы не можете объявить их таким образом, чтобы они распадались на rvalue, которое само является const-квалифицированным; на самом деле не имеет смысла иметь const-qual rvalue, так как rvalues ​​не могут быть назначены. Это как сказать, что вы хотите константу 5, которая имеет тип const int, а не int.