Этот метод оценивает пустую строку?

Question

Я новичок в C++, поэтому, пожалуйста, несите меня, если это глупый вопрос.

Метод ниже, кажется, создает строку с именем reversePhrase но без начального значения, а затем использовать его phrase.evalPalindrome(reversePhrase):

void testForPalindrome(string origPhrase) 
{ 
    string reversePhrase; 
    bool isPalindrome; 
    Palindrome phrase(origPhrase); 


    if (phrase.evalPalindrome(reversePhrase)) 
    { 
     cout << "This phrase IS a palindrome!" << endl; 
    } 
    else 
    { 
     cout << "This phrase is NOT a palindrome." << endl; 
    } 
    cout << "Original phrase: " << origPhrase << endl; 
    cout << "Reverse phrase: " << reversePhrase << endl << endl; 
} 

В Java это создаст исключения нулевого указателя. Но я проанализировал метод, который вызывается, и похоже, что он принимает адрес строки.

bool Palindrome::evalPalindrome (string& reversePhrase) 
{ 
    // code 
} 

Но я не понимаю, как это работает. Выполняет ли начальный string reversePhrase; память reversePhrase? Если да, то как вызывающая функция может затем распечатать reversePhrase, которая была изменена из другой функции (код не отображается, но он изменен из другой функции).

Кажется, что писать код таким образом трудно читать.

Answer 1

В java это создало бы исключение нулевого указателя.

Это потому, что Java - это другой язык с различным синтаксисом создания объекта.

В C++, как только вы написали string reversePhrase, этот объект был полностью сформирован и готов к работе.

---

Но я проанализировал метод, который вызывается, и выглядит она принимает адрес строки.

Нет, он принимает ссылку на строку! И это почему область вызова может позже увидеть измененную строку!

Answer 2

Вы не создаете указатель, а объект типа string. Он никогда не назначается, поэтому он должен быть пустой строкой "". Получение адреса к нему будет работать нормально, поскольку это действительный объект.

Я не уверен, что эта функция будет работать.

Answer 3

string& reversePhrase не объявляет evalPalindrome, чтобы принять адрес строки. Он объявляет, что функция принимает ссылку на строку. (Декларирование его string* будет означать адрес строки, иначе указатель на строку.)

В C++, при инициализации строки без аргументов:

string reversePhrase; 

он создает пустой string, поэтому reversePhrase равен "". Таким образом, это не пустая строка, просто пустая, которую вы можете безопасно передать по ссылке на функцию evalPalindrome, которая затем сможет изменить исходный объект строки, переданный ему.

Answer 4

Что здесь происходит, так называется пропуск по ссылке. Обычно, когда вы передаете переменную в C++, ее копия выполняется. Вот почему, когда вы запускаете ниже, вы получите «A», «B», «A».

int main(){ 
    string s = "A"; 
    cout << s << endl; 
    cngLetter(s); 
    cout << s << endl; 
} 

void cngLetter(string s){ 
    s = "B"; 
    cout << s << endl; 
} 

Если вы пройдете по ссылке, то она обновит его на основной теме. Далее будет печатать «A», «B», «B»

int main(){ 
    string s = "A"; 
    cout << s << endl; 
    cngLetter(s); 
    cout << s << endl; 
} 

void cngLetter(string& s){ 
    s = "B"; 
    cout << s << endl; 
} 

Обратите внимание, что только один символ был добавлен к этому, &, который вызывает передачу по ссылке, т.е. не копировать, а вместо этого память адрес. Мне не нужно набирать много в этом посте, так как вы можете прочитать об этом here

string s не неуправляемая память, поэтому, если вы не назначили ее сначала, то вместо этого вы получите «», «B», «B»

int main(){ 
    string s; 
    cout << s << endl; 
    cngLetter(s); 
    cout << s << endl; 
} 

void cngLetter(string s){ 
    s = "B"; 
    cout << s << endl; 
} 

в основном, строка, которая не дала щёток значение просто пустая строка.

Answer 5

Оператор '&' в этом контексте является синтаксической конфеткой для '*'. В методе evalPalindrome, в то время как reversePhrase передается как указатель, он ВСЕГДА разыменовывается. Это делает невозможной обычную ошибку, а не разыменование указателя. Вы правы, что это может привести к запутыванию кода, поскольку значение передаваемого значения может быть изменено подобно тому, как оно было передано в качестве указателя, за исключением того, что вызывающая функция не имеет указаний на то, что она передается в виде указателя если вы специально не смотрите на подпись метода.