Что означает const при объявлении переменной в данном случае?

Question

[Curssed]

const char * const a
Такое объявление означает, что мы запрещаем менять адрес в указателе и содержимое ячейки по адресу.

const char const a
А что значит это? Компилятор не ругается.

Comments

[longclaps]

для общего развития

Answer 1

[Сергей Горностаев]

Квалификаторы могут применяться к любым типам, в том числе уже квалифицированным.

Например

const char a;
const char const a;
const const char a;
const const const const const char a;

обозначают одно и то же - константу типа char.

Comments

[Денис Загаевский]

ОМФГ. Но зачем?

[Сергей Горностаев]

Денис Загаевский, от этого нет практического толка, просто так можно. Подозреваю, что при разработке лексера или никто не стал заморачиваться контролем положения и количества квалификаторов или сознательно его упростили таким образом.

[Денис Загаевский]

Сергей Горностаев, на лексер это не влияет ни каким образом. Лексер разбивает строку на токены.
Парсер(синтаксический анализатор) таким образом упростить?... Ну хз, по моему опыту, это его не упрощает, а усложняет. В целом выглядит так, что сделали абы как, хуяк-хуяк и в продакшн. А мы теперь мучаемся:(

[Евгений Шатунов]

Денис Загаевский , скажем так:

using type_t = int;
using reference_t = type_t&;
using const_reference_t = const reference_t;

Тут все понятно. Но что если int - это не явный тип, а параметр шаблона? Что если в шаблон передан уже константный тип? А ничего страшного не будет, просто reference_t и const_reference_t будут идентичными. Дело в том, что в конечном итоге компилятору важно только собственное имя типа и его квалификаторы.

[jcmvbkbc]

Но зачем?

Сергей Горностаев, Денис Загаевский, чтобы можно было написать так:

typedef const T T1;
...
const T1 c;

[Сергей Горностаев]

jcmvbkbc, об этом я даже не подумал! Спасибо.

[eeiaao]

jcmvbkbc, всё равно непонятно зачем

[jcmvbkbc]

eeiaao, для этого нужно понять, зачем используют const. После этого нужно понять, как используют typedef. После этого уже должно быть понятно, что удобно, когда в месте использования типа определённого через typedef можно не задумываться, был там const в определении или нет.

[Денис Загаевский]

jcmvbkbc, что это значит? const это вообще модификатор поля(переменной, функции, итд), а не типа.

[Денис Загаевский]

Евгений Шатунов, я не понимаю, что за тип такой const int. Константность это свойство поля, а не типа. Усложнение на ровном месте непонятно зачем.

[jcmvbkbc]

const это вообще модификатор поля(переменной, функции, итд), а не типа.

Денис Загаевский, ...и именно поэтому название для слов const, volatile и restrict в стандарте языка -- это type qualifiers, да?

я не понимаю, что за тип такой const int.

Это целочисленный тип, значение которого нельзя менять.

Константность это свойство поля, а не типа

В объявлении const int *p const -- это константность какого поля?

[Евгений Шатунов]

Денис Загаевский

Константность это свойство поля, а не типа.

Это не так. [1] и [2] в подкрепление.
Я как-то надеялся что ты несколько лучше разбираешься в языке.

[Денис Загаевский]

jcmvbkbc, у типа нет никакого значения, что значит нельзя менять. Имхо, бред.
Евгений Шатунов, я с С++ 5 лет дела не имел, и надеюсь, не понадобится.

Давайте так, я говорю в основном с точки зрения здравого смысла и прагматизма. Может оно и имеет смысл, но я его в ваших примерах не увидел.

[Евгений Шатунов]

Денис Загаевский , у тебя есть отображение массива элементов произвольного типа. В общем виде это шаблон std::span. Как ты укажешь константность элементов этого отображения? Как ты укажешь константность элементов произвольного диапазона?
Логика, здравый смысл и прагматизм в этом, а не где-то там. :)

Вопрос не в том, сколько лет ты не трогал плюсы. Вопрос в том, насколько ты понимал то что пишешь, когда плюсы трогал. Смысл можно просто не видеть, но можно и не хотеть видеть.
Плюсы - это очень сложный язык, инструментарий которого не всегда и не всем нужен в полном объеме. Но это не значит что инструментарий плюсов избыточен или лишен смысла.

[Денис Загаевский]

Евгений Шатунов, не спорю, может я и не всё понимал раньше, тогда я тоже не писал профессионально на С++. Верю, что вы правы. Но от меня концепция ускользает. Впрочем, я не особо вникал, и не особо жалею о том, что не осознаю её.

[jcmvbkbc]

у типа нет никакого значения, что значит нельзя менять.

Денис Загаевский, я тебе в ответ на это приведу цитату из стандарта с99, 6.2.5 Types:

The meaning of a value stored in an object or returned by a function is determined
by the type of the expression used to access it.

[Денис Загаевский]

jcmvbkbc, ок, ок, я понял, стандарт. С точки зрения человека, пишущего на другом языке, это бред. Переменная, поле, функция и так далее, могут сами за себя ответить, тип тут не при чём.

[jcmvbkbc]

С точки зрения человека, пишущего на другом языке, это бред.

С этим -- в спортлото.

[eeiaao]

jcmvbkbc, к сожалению, я в состоянии прочитать и понять Ваш "код". это какой-то бред "не задумываться о том был там const в определении или нет". за такое нужно руки отрывать

[Евгений Шатунов]

eeiaao , почему? У тебя есть убедительные доводы твоих столь радикальных слов? У тебя есть убедительные доводы для обоснования бредовости имеющегося у языка инструментария?

[eeiaao]

Евгений Шатунов, да. если ты делаешь typedef на константный тип и не указываешь в алиасе явным образом, что тип константный - просто путаешь других участников проекта и себя в том числе.
пример:
typedef const int ConstInt;
ок, вижу ConstInt и не буду городить конструкции типа
const ConstInt i;
т.к. имя алиаса выбрано корректно и верно отображает суть
в противоположность:
typedef const int Int;
вводит в заблуждение относительно возможностей использования
потому такие конструкции, несмотря на допустимость, являются дурным тоном

[Сергей Горностаев]

eeiaao, бывает так, что нужно работать с поверхностно документированной, но безальтернативной проприетарной библиотекой, одна из функций которой возвращает некоторый GenericServiceHandler и нет никакой уверенности константный он или нет. Без возможности дважды применять квалификатор пришлось бы использовать метод тыка для проверки и повторять его при каждом обновлении этой библиотеки.

[Евгений Шатунов]

eeiaao , очень узкая и очень поверхностная аргументация.
Давай ты предложишь альтернативу исполнения std::span (да и всей стандартной библиотеке контейнеров) в рамках своей гипотезы. Сделай объявление внутренних типов std::span так, чтобы ты ни разу не использовал квалификатор const.
В частности меня интересуют вложенные типы pointer, const_pointer, reference и const_reference.
В качестве _Tp в шаблон может зайти как чистый тип, так и квалифицированный.

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

[Сергей Горностаев]

Отличный у нас тут диспут вышел! И только автору вопроса пофиг :)

[Curssed]

Сергей Горностаев, не пофиг. Я вопрос задал, чтобы углубиться в тонкости языка.

[Сергей Горностаев]

Curssed, вам ответ помог?

[eeiaao]

Сергей Горностаев, уже хороший пример, спасибо
Евгений Шатунов, прошу перечитать сообщение, на которое был мой первый ответ и понять уже наконец, о чём идёт речь
я же не говорю, что эта возможность языка - ни о чём. я к тому, что пример, который был приведён jcmvbkbc неубедителен, объяснение лучше уже нашлось

[Евгений Шатунов]

eeiaao

прошу перечитать сообщение, на которое был мой первый ответ и понять уже наконец, о чём идёт речь

Чья это проблема, если ты пример понял в каком-то одному тебе известном узком смысле? Давай покажу как читается последний пример Сергея.

/// Большая поверхностно документированная проприетарная библиотека с горой спагетти-кода...
/// Где-то на окраине одного из заголовочных файлов.
typedef const T T1; // GenericServiceHandler
...
/// Где-то в пространстве функции твоего проекта.
const T1 c;