1

Есть вот такой код для примера:

typedef int* iter;
typedef const int* c_iter;
int arr[]{1, 2, 3, 4};

iter arrbegin()
{ return arr; }

int main()
{
   const auto it = arrbegin();
   it++;
   return 0;
}

И он выбивает ошибку (изменение константных данных) но я немного в замешательстве. Насколько я понимаю данный код эквивалентен этому:

const iter it = arrbegin ();

Но разве const iter не эквивалентен iter_const? Опытным путем я уже понял, что нет, но мне не понятно: почему нет?

3
  • 2
    Это примерно такое же различие, как и "константный указатель" и "указатель на константный объект".
    – Harry
    Commented 11 июл. 2021 в 8:50
  • 2
    А все потому, что люди пишут (и читают) const не с той стороны. В С/C++ объявления пишутся и читаются по спиральному правилу, в данном случае справа налево. Commented 11 июл. 2021 в 8:53
  • 1
    c_iter it = arrbegin(); - это приведёт указатель iter к другому типу спокойно.
    – AlexGlebe
    Commented 11 июл. 2021 в 9:10

1 ответ 1

4

Когда вы добавляете const к typedef-у, он добавляется не слева (и не справа), а на верхний уровень.

Это становится понятнее, если расписать словами значения типов:

typedef int* iter; - "iter - это указатель на int".

const iter - "константный iter", т.е. "константный указатель на int".

А "константный указатель на int" - это int *const, поэтому как раз такой тип вы и получаете. (В противоположность const int * - указателю на константный int.)

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.