Какое правильное использование определителя const?

Question

Как я прочитал в стандартах С Адг адрес постоянной должен быть квалифицированы следующим образом:

int * const ptr,

Я спрашивал мой сам, будет работать int const i тоже вместо const int i.

И все.

После того, как я заметил, что они были равны, я просто пытался немного покрутиться, чтобы получить смысл const. Я сделал такие вещи, как

int * const * pPtr и int const * ptr в различных компиляторов, я уведомлен, все они относятся к const, так как если это определение будет:

«Const квалифицируется тип слева от него, так же, как есть нет типа слева от него, он должен перевернуть правую часть «

Но я не мог найти ничего об этом в стандартах. И каждый пример в стандарте написан с const в начале декларации или только за частью static.

(Что по крайней мере, не отказался бы мое предложение ...)

Так почему Allmost каждый использует Конст в начале декларации, как это было бы более понятным то, как я уже говорил?

И как правильно присвоить идентификатор const, в соответствии с предположением, что компиляторы поддерживают оба способа?

Answer 1

Итак, почему почти каждый использует const в начале объявления, так как было бы более понятным, как я упоминал?

Это всего лишь стиль кодирования, как действительный синтаксис.

C11 §6.7 Объявления

Синтаксис

декларация:

декларация-спецификаторов INIT-описатель-listopt;

static_assert декларация

декларации спецификаторы:

хранения класса спецификатор декларации спецификаторы выбирают

типа спецификатор декларации спецификаторы выбирают

типа-спецификатор декларации -специалисты opt

функция-спецификатор декларации спецификаторы выбирают

выравнивание спецификатор декларации спецификаторы выбирают

INIT-описатель-лист:

INIT-описатель

INIT-описатель-лист, INIT-описатель

INIT-описатель:

описатель

описателя = инициализатор

Обратите внимание на линии, которые я использую полужирный, типа спецификатор ключевые слова, как int, char или void и т.д. типа-классификатор ключевые слова, как constvolatile и т.д.

В соответствии со стандартом, объявления-спецификаторы определены рекурсивно, поэтому const int i и int const i являются действительными:

 int   const  i; 
//  |    | 
//type-specifier type-qualifier 
//  \______________/ 
//    | 
//  declaration-specifier 

     const    int  i; 
//  |     | 
//  |   type-specifier 
//  |     | 
//type-qualifier declaration-specifier 
//  \__________________/ 
//    | 
//  declaration-specifier 

Answer 2

Правило большого пальца: Перемещение const за * имеет значение. В противном случае это не так.

Answer 3

Wow, есть много «сопзЬ» происходит.

---

int * const foo1 

foo1 является "константный указатель на INT". Значение foo1 является постоянным. Что может быть изменено foo1.

---

int const foo2 
const int foo3 

foo2 и foo3 имеют одинаковый тип - оба являются правильными - С позволяет как. порядок int и const - это выбор . В обоих случаях идентификатор является постоянным.Имея const первый чаще встречается в моем опыте. Поэтому я, как правило, придерживаюсь предшествующего уровня техники. Далее - я нахожу либо ОК, если он согласуется с модулем. В обоих случаях можно было бы ожидать, чтобы найти инициализатор как const int foo3 = 7;

---

но и некоторые распутывания путаницы необходимо.
[Отредактировано ответ следует]

// OP's experimented with these 
int * const * foo4; 
int const * foo5; 

OP предположил с «Уста квалифицируются типа слева от нее, так же, как нет типа слева от него, он должен quallifie правой части». Это объясняется для этих 2 и, по-видимому, применяется к дополнительным образцам:

foo4 является «указателем на указатель const на int».
foo5 является «указателем на const int».

Дополнительные образцы:

int * const foo6; 
const int* foo7; 
int const * const foo8; 

foo6 является "константный указатель на INT".
foo7 является «указателем на const int» - то же, что и foo5.
foo8 является «указателем const для const int».

foo6 постоянный, данные, на которые он указывает, составляют не постоянный.
foo7 is не постоянный, данные, которые он указывает на , являются рассматриваются как постоянные.
foo8 постоянный. Данные, на которые он указывает, рассматриваются как постоянные.

@ugoren является правильно в посте о перемещении const через *. Перемещение const изменяет тип. Это не разница в стиле, а другой код.

---

Ref:.

C11 6.2.5.29 «Пример 1 типа обозначается как„“флоат *„“имеет тип„“указатель всплывать„“Его тип категория указатель, а не плавающий тип . Const-квалифицированная версия этого типа обозначается как «float * const», тогда как тип, обозначенный как «const float *», не является квалифицированным типом - его тип является «указателем на const-qualified float», и является указателем на квалифицированный тип ».

C11 6,7

http://cdecl.org/