Что такое const, когда вы объявляете формальный (функциональный) параметр «тип указателя» как «массив констант»?

Question

Что такое const, когда вы объявляете формальный (функциональный) параметр «указатель типа» как «массив констант»?

т.е .: Если T является идентификатор типа, то есть:

void f(const T arr[]); 

эквивалент:

void f(const T * const arr); 

или

void f(const T * arr); 

или

void f(T * const arr); 

И как можно расшифровать стандарты C/C++, чтобы найти эти эквиваленты? :-)

Существуют ли различия между C и C++ и между различными воплощениями стандартов относительно значения заявлений выше? (Для C - стандарты ANSI C89 и позже актуальны)

Answer 1

Прежде всего я должен сказать, что:

void f(int const* p); 

и

void f(const int* p); 

имеют тот же смысл, и это означает, что это указатель на значение, которое вы не можете изменить.

Существует antoher способ объявить указатель:

void f(int* const p); 

А это означает постоянный указатель, и вы не можете назначить его на другой адрес.

Что касается вашего вопроса, то код ниже

void f(const T arr[]); 

будет преобразован в

void f(const T* arr); 

Это будет указатель на первого элемента вашего массив

Answer 2

Для C++ (в настоящий момент вопрос также отмечен как C):

Здесь три различных типа эквивалентности. [1] Форма формальных аргументов const T arr[] распадается на T const* arr, что поэтому эквивалентно в контексте формального типа аргумента. [2] T const* arr эквивалентен const T* arr, что является другим синтаксисом, выражающим то же самое. [3] В контексте тип функции формальный тип аргумента в T const* arr эквивалентен T const* const arr, поскольку верхний уровень const отбрасывается с целью определения типа функции. То есть две декларации функций, которые таким образом отличаются друг от друга, обозначают одну и ту же функцию.

Answer 3

T * const arr средства arr не следует изменять.
const T * arr означает, что *arr не следует изменять.
const T * const arr означает, что ни arr, ни *arr не следует изменять.

Итак, что такое arr в void f(const T arr[]);?
Это как один из вышеперечисленных 3. Сделайте свой выбор перед тем, как мыть над нижним.

void f(const T *arr);

---

И как можно расшифровать стандарты C/C++, чтобы найти эти эквиваленты?

Прочитать стандарты несколько раз. Полезный сайт для данного экземпляра является C gibberish ↔ English

// declare f as function (pointer to const int) returning void 
void f(const int *); 

---

Существует ли различие между C и C++, а также между различными воплощениями стандартов?

Да, конечно, поскольку языки C/C++ - разные языки. C++ имеет ссылочные переменные. Ранняя C не имела const и т. Д.