Question

我正在写一个小程序。我在Windows上工作。我在我的Ubuntu上重写了这个程序的精确副本。但是在Ubuntu中，每次执行程序时都会出现堆栈碎片错误。在两个OS中我使用Codeblocks IDE。这是我的代码：

#include <stdio.h>


double max_elem(double a, double b)
{
    if (a <= b )
        return a;
    else return b;
}
double  min_elem(double a,double b)
{
    if (a >= b )
        return a;
    else return b;
}
double result (int pawn_v, int pawn_h, int knight_v, int knight_h)
{
    double result_array[7];
    for (int i=0; i<=7; i++)
        result_array[i] = 2;
    double a,b,c,d;
    pawn_h++;

    if (pawn_h>8)
        return 1;
    else if ((pawn_v == knight_v + 2) && (pawn_h == knight_h + 1))
        return -1;
    else if ((pawn_v == knight_v + 2) && (pawn_h == knight_h - 1))
        return -1;
    else if ((pawn_v == knight_v - 2) && (pawn_h == knight_h + 1))
        return -1;
    else if ((pawn_v == knight_v - 2) && (pawn_h == knight_h - 1))
        return -1;
    else if ((pawn_v == knight_v + 1) && (pawn_h == knight_h + 2))
        return -1;
    else if ((pawn_v == knight_v + 1) && (pawn_h == knight_h - 2))
        return -1;
    else if ((pawn_v == knight_v - 1) && (pawn_h == knight_h + 2))
        return -1;
    else if ((pawn_v == knight_v - 1) && (pawn_h == knight_h - 2))
        return -1;
    else if ((pawn_v == knight_v) && (pawn_h == knight_h))
        return (0.5f);
    else
    {

        result_array[0] = result(pawn_v, pawn_h, knight_v + 2, knight_h + 1);

        result_array[1] = result(pawn_v, pawn_h, knight_v + 2, knight_h - 1);

        result_array[2] = result(pawn_v, pawn_h, knight_v - 2, knight_h + 1);

        result_array[3] = result(pawn_v, pawn_h, knight_v - 2, knight_h - 1);

        result_array[4] = result(pawn_v, pawn_h, knight_v + 1, knight_h + 2);

        result_array[5] = result(pawn_v, pawn_h, knight_v - 1, knight_h + 2);

        result_array[6] = result(pawn_v, pawn_h, knight_v + 1, knight_h - 2);

        result_array[7] = result(pawn_v, pawn_h, knight_v - 1, knight_h - 2);

        a = max_elem(result_array[0],result_array[1]);
        b = max_elem(result_array[2],result_array[3]);
        c = max_elem(result_array[4],result_array[5]);
        d = max_elem(result_array[6],result_array[7]);
        return (max_elem(max_elem(a,b),max_elem(c,d)));
    }
}
int main()
{

    char knight_start, pawn_start;
    int knight_start_horizontal, pawn_start_horizontal, knight_start_vertical, pawn_start_vertical;

    scanf("%c%d%*c%c%d%*c", &pawn_start, &pawn_start_horizontal, &knight_start, &knight_start_horizontal);
    knight_start_vertical = int(knight_start)-96;
    pawn_start_vertical = int(pawn_start)-96;

    if (pawn_start_horizontal==2) {
        if (min_elem(result(pawn_start_vertical,pawn_start_horizontal,knight_start_vertical,knight_start_horizontal),result(pawn_start_vertical,pawn_start_horizontal+1,knight_start_vertical,knight_start_horizontal))==0.5)
            printf("%.1f", 0.5);
        else printf("%0.f",min_elem(result(pawn_start_vertical,pawn_start_horizontal,knight_start_vertical,knight_start_horizontal),result(pawn_start_vertical,pawn_start_horizontal+1,knight_start_vertical,knight_start_horizontal)));
    }
    else
    {
        if (result(pawn_start_vertical,pawn_start_horizontal,knight_start_vertical,knight_start_horizontal)==0.5)
            printf("%.1f",0.5);
        else printf("%.0f", result(pawn_start_vertical,pawn_start_horizontal,knight_start_vertical,knight_start_horizontal));
    }
    return 0;
}

如何防止此错误？

Answer 1

我在Windows上工作。我重写了这个的精确副本我的Ubuntu程序。但是在Ubuntu中我每次都会遇到堆栈粉碎错误我执行我的程序的时间。

首先，说明操作系统的名称是不够的。在任何这些系统上都有多个编译器。更不用说＆＃34; Windows＆＃34;从理论上讲，从Windows 1到Windows 10以及＆＃34; Ubuntu＆＃34;也不是一个非常精确的定义。而且编译器有不同的版本和不同的调用选项的无限组合。

第二，如果通过＆＃34;堆栈粉碎错误＆＃34;你的意思是分段错误，程序崩溃＆＃34;在Windows＆＃34;同样。我刚刚在带有/EHsc /Za的Windows 7 64位计算机上的MSVC 2013上尝试过它。在我用一些或多或少的随机输入测试它之后它崩溃了（我刚输入了12,2和2）。

如何防止此错误？

避免C ++调用未定义的行为。与某些其他语言相比，当您发生关键编程错误时，例如尝试访问您不应访问的内存时，C ++有时会将程序的行为留给编译器或操作系统。崩溃或看似随机的崩溃是未定义行为的一种可能表现。

据我所知，您的代码中有两个未定义行为的实例。请注意，第一个已足以使整个程序无效。

double result_array[7];
for (int i=0; i<=7; i++)
    result_array[i] = 2;

[7]表示这是一个包含7个元素的数组，但这些元素的索引是0,1,2,3,4,5,6。在循环的最后一次迭代中，i为7，因此您尝试访问result_array[7]。这是未定义的行为。

   d = max_elem(result_array[6],result_array[7]);

同样，result_array[7]是未定义的行为。

现在，就main函数而言......

char knight_start, pawn_start;
int knight_start_horizontal, pawn_start_horizontal, knight_start_vertical, pawn_start_vertical;

scanf("%c%d%*c%c%d%*c", &pawn_start, &pawn_start_horizontal, &knight_start, &knight_start_horizontal);

scanf是一个特别难以正确使用的旧C函数，因为您必须手动确保参数类型与格式字符串中的类型标识符匹配。使用它时，您将不可避免地产生导致未定义行为的编程错误。在这种情况下，你实际上似乎已经正确地使用了它，尽管在这些年后我个人的想法在解析中间复杂的C格式字符串时仍然存在很大的麻烦，所以不要接受我的话。而且我不明白为什么你使用赋值抑制*部分。

使用C ++流可以使这更加清晰和安全：

std::cin >> pawn_start;
std::cin >> pawn_start_horizontal;
std::cin >> knight_start;
std::cin >> knight_start_horizontal;

或者，更好的是：使用std::getline将整行输入读入std::string并解析该输入，这样您就可以使用错误消息来响应错误的用户输入，例如< em>＆＃34; pawn start horizontal必须是一个数字＆＃34;。 Stackoverflow上有数百个问题，可能有数千个答案。

如果你正在使用它，请考虑使用std::cout代替printf。

我要说并使用您的阵列修复未定义的行为并使用安全的I / O.如果它仍然不起作用，请问一个新问题，因为问题可能在其他地方，但只要存在未定义的行为，进一步推理程序的逻辑是没有意义的。

堆栈粉碎检测到C ++

1 个答案: