为什么去掉这个return语句会影响整个递归函数的结果？

Question

我正在使用递归编写回文检查器。我很困惑为什么删除

return true

函数末尾的语句影响返回值。

int firstChar = 0;
int lastChar = 0;
// These two variables are used to transverse the string from both ends 
// eventually meeting

代码#1:

bool palindromeCheck (string text, int firstChar, int lastChar)
{
    string tempCleanText = text;

    // Removes all punctation and space
    if (firstChar == 0)
    {
        // Cleans text, ignore.
        tempCleanText = cleanString(tempCleanText);

        // Sets this variable to the end of the string
        lastChar = tempCleanText.size() - 1;
    }

    // Base Case
    if (firstChar >= lastChar)
    {
        return true;
    }

    if (tempCleanText.at(firstChar) == tempCleanText.at(lastChar))
    {
        palindromeCheck(tempCleanText, ++firstChar, --lastChar);
    }
    else
    {
        return false;
    }

    return true;    // Keeping this in works
}

对于所有回文，这将返回true，对于所有非回文，返回false。

代码#2:

bool palindromeCheck (string text, int firstChar, int lastChar)
{
    string tempCleanText = text;

    // Removes all punctation and space.
    if (firstChar == 0)
    {
        // Cleans text, ignore.
        tempCleanText = cleanString(tempCleanText);

        // Sets this variable to the end of the string
        lastChar = tempCleanText.size() - 1;
    }

    // Base Case
    if (firstChar >= lastChar)
    {
        return true;
    }

    if (tempCleanText.at(firstChar) == tempCleanText.at(lastChar))
    {
        palindromeCheck(tempCleanText, ++firstChar, --lastChar);
    }
    else
    {
        return false;
    }

    // there is no return true here, and so the output is no longer correct
}

这只对一些回文返回 true，对于所有非回文，这返回 false。

回文，例如，

amanaplanacanalpanama

返回false，此时应返回true。

通过测试，表明基本大小写是使用最后一个回文输入的，这意味着函数将其视为有效的回文。但是，我假设程序然后展开调用堆栈，并且当它遍历所有之前的函数调用时，有些东西使函数返回false。

Answer 1

从非无效函数返回而不通过back关键字显式返回值会调用未定义的行为。根据C规范，调用未定义行为的程序实际上可以自由地做任何事情，并且任何导致的奇怪行为的所有责任都将归咎于编写调用未定义行为的代码的程序员。

在这种情况下，实际可能发生的情况是，当您的函数通过放下函数的结尾返回时(并且不执行< code>return false)，存储函数返回值的位置根本不会被写入——这意味着，就调用代码而言，函数返回的值将等于函数返回时恰好出现在该位置的值。在该位置预先存在的值将是任意的和难以预测的，因为它是关于程序如何执行的各种细节的结果，因此程序的行为也将是任意的和难以预测的。

解决方案是确保始终显式返回值；在编译器中启用警告将允许它在您忘记在某些代码路径中返回值时发出警告，从而帮助您完成该任务。

Answer 2

可能是

// ...

if (tempCleanText.at(firstChar) == tempCleanText.at(lastChar))

{
   return palindromeCheck(tempCleanText, ++firstChar, --lastChar); 
}

else
    return false;
// ...

Answer 3

首先，这个函数在任何情况下都是不正确的。例如，对于字符串< code >“1231”，函数返回< code>true。我希望你能亲自检查一下这个。

这部分功能

if (tempCleanText.at(firstChar) == tempCleanText.at(lastChar))
{
    palindromeCheck(tempCleanText, ++firstChar, --lastChar);
}
else
{
    return false;
}

return true;    // Keeping this in works

应至少替换为以下代码段：

if (tempCleanText.at(firstChar) == tempCleanText.at(lastChar))
{
    return palindromeCheck(tempCleanText, ++firstChar, --lastChar);
}
else
{
    return false;
}

这是返回声明

return true;    // Keeping this in works

将被完全移除。

对于您的问题，如果没有最后一个返回语句，函数将具有未定义的行为，因为它在if语句之后不返回任何内容。这就是if语句

if (tempCleanText.at(firstChar) == tempCleanText.at(lastChar))
{
    palindromeCheck(tempCleanText, ++firstChar, --lastChar);
}
else
{
    return false;
}

成功执行，前提是

tempCleanText.at(firstChar) == tempCleanText.at(lastChar))

函数在执行if语句的子语句后返回什么？没什么！：）

此外，除了字符串本身之外声明两个附加参数（索引）也是没有意义的，因为在任何情况下字符串都是按值传递的，您总是可以通过调用成员函数size（）来获取它的大小。

我可以建议这个函数的如下实现类似于你的函数这个函数实现在传递空字符串的情况下返回true。

#include <iostream>
#include <iomanip>
#include <string>
#include <cctype>

bool palindromeCheck( std::string s )
{
    if ( s.size() < 2 )
    {
        return true;
    }
    else if ( ispunct( ( unsigned char )s.front() ) || isspace( ( unsigned char )s.front() ) )
    {
        return palindromeCheck( s.substr( 1 ) );
    }
    else if ( ispunct( ( unsigned char )s.back() ) || isspace( ( unsigned char )s.back() ) )
    {
        return palindromeCheck( s.substr( 0, s.size() - 1 ) );
    }
    else if ( s.front() == s.back() )
    {
        return s.size() == 2 ? true : palindromeCheck( s.substr( 1, s.size() - 2) ); 
    }
    else
    {
        return false;
    }
}

int main() 
{
    std::cout << std::boolalpha << palindromeCheck( "" ) << '\n';
    std::cout << std::boolalpha << palindromeCheck( "1" ) << '\n';
    std::cout << std::boolalpha << palindromeCheck( "1 1" ) << '\n';
    std::cout << std::boolalpha << palindromeCheck( "1,2,2,1" ) << '\n';
    std::cout << std::boolalpha << palindromeCheck( "1 2 3 2 1" ) << '\n';
    std::cout << std::boolalpha << palindromeCheck( "12341" ) << '\n';

    return 0;
}

程序输出是

true
true
true
true
true
false