const до/после *

[Igors]

Добрый день

Код

C++ (Qt)
#include <QSet>
QSet<int *> theSet;
 
void Test( const int * ptr )
{
	theSet.insert(ptr);
}
 

Не компилится, говорит что надо так

Код

C++ (Qt)
void Test( int * const ptr )
{
	theSet.insert(ptr);
}
 

Ну ладно, хотя никакой возможности изменить помещенное нет.
Но почему так компилит

Код

C++ (Qt)
typedef int * TInt;
void Test( const TInt ptr )
{
	theSet.insert(ptr);
}
 

(ту статью Алены читал)

Спасибо

[Old]

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

[_Bers]

Не компилится, говорит что надо так

Код

C++ (Qt)
void Test( int * const ptr )
{
    theSet.insert(ptr);
}
 

квалификатор const не обязателен.

Код:

void Test(int* ptr)
{
    theSet.insert(ptr);
}

тебе нужно понять разницу между type* const и const* type

[Igors]

Вопрос был о роли typedef в этом деле

Код

C++ (Qt)
// оказывается такая запись
typedef int * PInt;
const PInt a;
 
// равнозначна такой (константный указатель)
int * const a;
 
// а вовсе не такой (указатель на константу)
const int * a;

Чего это?

[Old]

Чего это?

А что вас собственно удивляет?

Тайпдеф определяет указатель на не константные данные, а потом вы определяете константную переменную этого типа.
typedef != #define, как вы его себе представляете.

[Авварон]

Чего это?

Типы читаются справа налево. Поэтому const int c = 42 не совсем каноничная и понятная запись, более логично было бы int const c = 42 (и да, так можно!). Видимо, для удобства кожаных ублюдков (которые читают слева направо) было сделано исключение (ну а чо, удобно же).

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

[ViTech]

Видимо, для удобства кожаных ублюдков (которые читают слева направо) было сделано исключение (ну а чо, удобно же).

Интересно, что помешало изначально сделать написание типов с указателями/ссылками удобным для кожаных ублюдков?

Чтобы было не:
const X * const p - means “p is a const pointer to an X that is const” (right-to-left),
а
const * const X p  - means "p is a const pointer to a const X" (left-to-right).

Кстати, некоторые кожаные и справа налево читают. А ещё некоторые вообще сверху вниз, справа налево .

[Авварон]

Интересно, что помешало изначально сделать написание типов с указателями/ссылками удобным для кожаных ублюдков?

Возможно, вырвиглазной синтаксис функций принимающих указатели на функции берущих указатели на функции.
Впрочем, так и сделали в простом случае=)

[ViTech]

Возможно, вырвиглазной синтаксис функций принимающих указатели на функции берущих указатели на функции.

Может быть. Похоже, истоки надо в языке С искать. Может тогдашним парсерам так было проще текст разгребать. Т.е. сначала кожаные прогнулись под тупые железяки, а потом начали разгибаться. Но так до конца и не выпрямились .

[Igors]

Типы читаются справа налево.

Пробовал представить как это, но чижело. Напр

Код:

const int * a;

Начинаем с int. Сначала к нему применяется const (получаем константный int), а затем звездочку, в итоге указатель на константный int - вроде верно. Т.е. сначала слева, потом справа, так что ли.

Все-таки интересно с typedef, выходит он играет роль скобок, но где это написано? 

[ViTech]

Пробовал представить как это, но чижело. Напр

Код:

const int * a;

Начинаем с int. Сначала к нему применяется const (получаем константный int), а затем звездочку, в итоге указатель на константный int - вроде верно. Т.е. сначала слева, потом справа, так что ли.

What does “const X* p” mean?

Read it right-to-left: “p is a pointer to an X that is constant.”

[Igors]

What does “const X* p” mean?

Read it right-to-left: “p is a pointer to an X that is constant.”

Применим правило "справа налево" к др случаю

Код:

int * const a;

Начинаем с const (самый правый). И.. что? const "для чего"? Как это понимать? С др стороны если начать с базового int - все вполне стройно.

[kambala]

constant pointer to int (константный указатель на инт)

[ViTech]

What does “const X* p” mean?

Read it right-to-left: “p is a pointer to an X that is constant.”

Применим правило "справа налево" к др случаю

Код:

int * const a;

Начинаем с const (самый правый). И.. что? const "для чего"? Как это понимать? С др стороны если начать с базового int - все вполне стройно.

По той же ссылке в следующем пункте:

X* const p means “p is a const pointer to an X that is non-const”: you can’t change the pointer p itself, but you can change the X object via p.

RTFM.

[Igors]

constant pointer to int (константный указатель на инт)

Конкретно этот случай всем известен, просто запомнить его несложно. Интересны общие "правила чтения (навороченного) типа". Говорят "справа налево". Хорошо

Код:

int * const

Стало быть, const применяется ко всему что слева. Годится (здесь мы знаем "правельный ответ"). Ну а здесь

Код:

const int *

Слева никого нету. И шо