Указатель на ссылку

Question

я читал, и я увидел следующий код:

template <> 
inline bool is_empty(const char* const& x) 
{ 
    return x==0 || *x==0; 
} 

Что const char* const& x значит?

Я попытался следующий код, чтобы понять:

void f(const char* const& x) 
{ 
    // whatever 
} 

void main() 
{ 
    char a = 'z'; 
    char &j = a; 
    f(a);//error 
    f(*a);//error 
    f(&a);//fine 
    f(j);//error 
    f(&j);//fine  
    f('z');//error 
} 

Он работает только для f(&a) и f(&j).

Что делает const char* const& x на самом деле означает?

Answer 1

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

Рассмотрите то, что мы знаем о ссылках. Ссылка на C++ является переменной, которая относится к существующей переменной в другом месте:

int x = 1; 
int &y = x; // <-- y refers to x. Any changes to y will update x as well, and vice versa. 

Также рассмотрите то, что мы знаем о указателях. Указатель указывает на другой объект в памяти:

int *m = new int(5); // Pointer to an allocated integer in memory. 
int *n = m;   // Pointer to the same memory. 

Так что в вашем случае то, что вы на самом деле имеете, является ссылкой на указатель!

int *m = new int(5); // Pointer to an allocated integer in memory. 
int *ptr = m;   // Pointer to m. 
int *&ptrRef = ptr; // Reference to ptr. 

В приведенном выше примере, изменение ptrRef обновит указатель, но не значение.

Вот немного более полного примера:

int *myPtr = new int(5); // myPtr points to an integer. 

... 

void ChangePointer(int *&ptr) 
{ 
    delete ptr; 
    ptr = new int(6); 
} 

... 

std::cout << *myPtr << std::endl; // <-- Output "5" 
ChangePointer(myPtr); 
std::cout << *myPtr << std::endl; // <-- Output "6" 

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

В вашем случае вы передаете ссылку на указатель const. Это примерно эквивалентно:

DoStuff(const Object &myObject); 

В вашем случае, вы передаете указатель, а не объект, хотя.

Кажется немного лишним, чтобы передать указатель const по ссылке. Указатель не может быть изменен (это const), и нет смысла передавать указатели по ссылке (передать по ссылке не более эффективно, чем передавать по значению для небольших объектов, таких как указатели и целые числа). Я бы не хотел догадываться, почему это было сделано в вашем случае.

Answer 2

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

const char* const& i Установка возвращается:

заявляет, что я, как ссылка на константный указатель на константный полукокс

Значения декларации должно быть очевидно, в настоящее время.

Answer 3

Он должен перевести на «Ссылка на постоянный указатель на постоянный символ». Это означает, что указанному указателю не может быть назначен новый целевой адрес (указать), а ссылка, которую он ссылается, не может быть изменена.

отредактирован после комментария. Однако последствия должны оставаться неизменными.

Answer 4

Давайте это друг от друга:

• задний & означает, что это ссылка к тому, что тип является.

• const char тип, который указывает на время

• * const означает, что указатель является постоянным

Итак, это ссылка на константный указатель на константный символ. Вы не можете изменить char, на который он указывает (если вы не отбросили constness), и вы не можете изменить указатель (т. Е. Указать ему на что-то еще). Указатель передается по ссылке, поэтому копирование не происходит.

Answer 5

Другие ответы в основном охватывают семантику ссылок на указатели.

Но что, если вы в сомнении: является ли ссылка на указатель или указатель на ссылку? Это может сбить с толку! Однако, C++ не позволяет указатель на ссылки!

Указатели хранят адреса объектов и ссылки являются не объекты, так что не может быть какой-либо указатель ссылки.