Question

我创建一个struct，将指针指针传递给函数，然后调用malloc()。一切正常。但是，如果我尝试访问内存，程序就会冻结。如果我调用另一个函数并更改访问内存，那么一切正常。

void test(TFeld *Feld, TEinstellung E)
{
int i;

    for (i=0;i<E.Groesse_X*E.Groesse_Y;i++)
    {
        Feld[i].Schiff_Vorhanden = false;
        Feld[i].Schiff_Versunken = false;
        Feld[i].Ueberprueft = false;
    }   
}

void initField (TEinstellung E, TFeld **Feld)
{
    int i;

    *Feld = (TFeld*)malloc(E.Groesse_X*E.Groesse_Y*sizeof(TFeld));

    test(*Feld,E);

    /*  for (i=0;i<E.Groesse_X*E.Groesse_Y;i++)
    {
        Feld[i]->Schiff_Versunken = (bool*)false;
    //  (*Feld[i]).Schiff_Versunken = false;
        //Feld[i]->Ueberprueft = false;
    } */
}

与TFeld的定义：

typedef struct TFeld
{
    bool Schiff_Vorhanden = false;
    bool Ueberprueft = false;
    bool Schiff_Versunken = false;
} TFeld;

我注释掉的部分只是在使用测试功能时崩溃了程序。

有人可以解释一下这种行为。

Answer 1

问题是什么？

在InitField()中，参数Feld被声明为指向TFeld的指针。

*Feld因此是指向TFeld的指针。它被正确初始化为新分配的正确大小的内存区域。

然后调用test()作为参数传递*Feld。不幸的是你也调用了参数Feld，因此这些变量的类型不同，可能会引起一些麻烦。但这不是问题。测试功能应该做你期望的。

当你回到InitField()时，你会尝试访问已初始化的元素：

Feld[i]->Schiff_Versunken = ... //ouch !!!

这会将指针指向指针并访问该表中的第i个指针。但是因为你的指针指针只是一个poitner而不是一个数组，你会得到一个完全损坏的指针。然后，您使用->取消引用此流氓指针，假装它指向TFeld。当你为这个流氓地址分配一个值时，你有不确定的行为（可能是段错误，可能是冻结，可能是任何东西）。

编辑：有关指针解除引用的其他信息：

运营商* ->和[]有 order of precendence ，您必须习惯这些。我们来看看TFeld **Feld：

*Feld[i]与*(Feld[i])相同，因为首先应用了[]，然后才应用*。顺便说一句，进一步，并应用指针算术规则，它与*(*(Feld+i))相同。无论如何，这不是你想要的
*Feld[i].xxx与*((Feld[i]).xxx)相同，因为.的优先级高于*。这不会编译，因为Feld[i]不是TFeld
Feld[i]->xxx与(Feld[i])->xxx相同（因为[]和->具有相同的优先级，但当两者都显示时，它们从左到右应用）。这与(*(Feld[i])).xxx相同。而且还不是你想要的。

但是让我们通过可视化来理解以不同顺序应用解除引用的影响。最重要的是你需要的。你应该避免使用botom：

如何解决？

我建议将注释掉的部分更改为：

for (i=0;i<E.Groesse_X*E.Groesse_Y;i++)
{
    (*Feld)[i].Schiff_Versunken = false;
    (*Feld)[i].Schiff_Versunken = false;
    (*Feld)[i].Ueberprueft = false;
}

或者如果你不喜欢星星和部分：

    Feld[0][i].Schiff_Versunken = false;
    Feld[0][i].Schiff_Versunken = false;
    Feld[0][i].Ueberprueft = false;

多余的间接总是有点棘手。每当您有疑问时，请添加一些括号。

最后一句话：我在这里假设InitField()被一个指向TFeld的指针的有效指针调用，因此*Feld毫无疑问会指向{{{ 1}}。如果是这种情况，您的内存分配指针可以写入内存中的任何位置，从而再次导致内存损坏。如果有疑问，请编辑一个显示调用代码的问题，以便我可以检查。

Answer 2

Feld是指向结构数组的指针。所以你必须（1）取消引用指针，然后（2）索引到数组，最后（3）访问结构内的字段。

在for循环中有两种方法可以写这个;哪一个你更喜欢的是品味问题：

(*Feld)[i].Schiff_Versunken = false;  // option 1
(*Feld + i)->Schiff_Versunken = false; // option 2

Answer 3

在函数内部直接执行此操作时会有所不同。因为Feld是指向test()中结构的指针，而它是指向initField()中结构指针的指针。

使用malloc（）时，指向结构的指针已初始化，因此在test()内访问时没有崩溃。但指向指针的指针仍然未初始化，因此导致initField()中的seg错误。

所以你必须正确分配双指针。请查看此链接以供参考：C - dynamic memory allocation using double pointer

修改struct指针的指针

3 个答案: