const char *&

[Igors]

Добрый день

Код

C++ (Qt)
void Test( const char *& src )
{
}
 
int main()
{
	char * test = new char[128];
//	const char * test = new char[128];	// Ok
	Test(test);
	return 0;
}

Почему это не компилится 

Спасибо

[Old]

Потому что так const char *& src вы описываете ссылку на константный указатель на char.
А вам надо char * const & src, т.е. константную ссылку на указатель на char.

[Racheengel]

а const char & * src ?

[Old]

а const char & * src ?

Не бывает указателей на ссылку.

[vbv]

>Не бывает указателей на ссылку.
Ссылка есть указатель.
Не бывает указателей на указатель.... Дожились.
Просто выглядит по другому.

[Old]

>Не бывает указателей на ссылку.
Ссылка есть указатель.
Не бывает указателей на указатель.... Дожились.
Просто выглядит по другому.

Дожили. А это что за тип?
char **val;

А теперь попробуйте указатель на ссылку скомпилировать. А лучше книгу какую нибудь по С++ почитать.

[Igors]

а const char & * src ?

А чего это я должен гадать?

Код

C++ (Qt)
void Test1( const char * src )
{
  ++src; // ok
  src[0] = 0; // error
}

Ф-ция принимает указатель на константу, сам указатель менять можно, данные по нему - нет. Я этого и хотел, но еще и чтобы сам указатель менялся когда ф-ция отдала упр-е. Напр прочитал слово из строки и продвинул указатель на следующее слово. Поэтому  

Код

C++ (Qt)
void Test1( const char *& src )
{
  ++src; // ok
  src[0] = 0; // error
}

Но почему вызывающий не может привести НЕконстантный указатель к константному - хз. Наверное просто "это другой тип", а ссылка должна быть "точно такого типа". Напр

Код

C++ (Qt)
typedef char * Ptr;
typedef const char * CPtr;
 
void Test( CPtr & src );
 
Ptr src;
Test(src); // error 

Выходит нельзя сделать ссылку на CPtr из Ptr. Или я фантазирую?

[Авварон]

Возможно, тут работает правило "1 встроенное преобразование, 1 пользовательское преобразование".
Тут встроенных преобразования 2:
1) char * -> const char *
2) const char * -> const char *&

Не уверен, правда, что это правило распространяется на ссылки.

[__Heaven__]

Ссылка есть указатель.

Ссылка не есть указатель. Ссылка хранит адрес объекта. Автоматически разименовывается при использовании.

[ViTech]

>Не бывает указателей на ссылку.
Ссылка есть указатель.
Не бывает указателей на указатель.... Дожились.
Просто выглядит по другому.

What is a reference?

[__Heaven__]

Судя по ошибкам компилятора, полагаю, что в результате неявного преобразования char * в const char * мы получаем rvalue, от которого по стандарту нельзя брать неконстантную ссылку.

[Igors]

What is a reference?

Отак от - тыц ссылочкой, и усе И что же там пишут?

Important note: Even though a reference is often implemented using an address in the underlying assembly language, please do not think of a reference as a funny looking pointer to an object. A reference is the object. It is not a pointer to the object, nor a copy of the object. It is the object.

А почему собсно? Изменилась "семантика" (я и такое слово знаю ), но "физически" все тот же махровый указатель. И знать это весьма полезно, напр

Код

C++ (Qt)
Object * obj = new Object;
Object & ref = *obj;
..
delete obj;   // ref is not longer valid 
 

Если это "It is the object" то какого ж <template> он стал invalid? Так что я бы не спешил тупенько повторять "что написали умные люди" - может они не так уж умны?   

[__Heaven__]

Переменная = адрес объекта
Ссылка  = адрес объекта
Указатель =  адрес памяти, в которой хранится адрес объекта

[ViTech]

А почему собсно? Изменилась "семантика" (я и такое слово знаю ), но "физически" все тот же махровый указатель. И знать это весьма полезно, ...

Разработчики стандарта языка и компиляторов отдельно подчёркивают, что ссылка - это не указатель, и не важно, как на текущий момент это внутри реализовано. Вы же свою линию гнёте .

Код

C++ (Qt)
Object * obj = new Object;
Object & ref = *obj;
..
delete obj;   // ref is not longer valid 
 

Если это "It is the object" то какого ж <template> он стал invalid?

Что здесь странного? Вы создали объект, через разыменование указателя получили доступ к нему и теперь можете обращаться к этому объекту через ссылку/псевдоним. Потом объект удалили, следовательно все его псевдонимы(ссылки на него) стали невалидными.

Так что я бы не спешил тупенько повторять "что написали умные люди" - может они не так уж умны?   

Тогда можете жить в своём мире, отличном от мира "умных людей" .

[ViTech]

Переменная = адрес объекта
Ссылка  = адрес объекта
Указатель =  адрес памяти, в которой хранится адрес объекта

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