修改结构体的指针

Question

我创建一个结构，将指针的指针传递到函数中，然后调用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 !!!

这会将指针指向指针，并访问该表中的第ith个指针。 但是由于指针的指针只是一个Poitner而不是数组，因此您将获得一个完全损坏的指针。 然后，使用->假装它指向TFeld来取消引用该恶意指针。 然后，当您向该恶意地址分配一个值时，您的行为就不确定（可能是段错误，可能冻结，可能是任何事情）。

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

运算符* ->和[]具有必须习惯的优先顺序 。 让我们看一下TFeld **Feld ：

• *Feld[i]与*(Feld[i])相同，因为首先应用[] ，然后仅应用* 。 顺便说一句，进一步讲，应用指针算术规则，它与*(*(Feld+i)) 。 无论如何，这不是你想要的
• *Feld[i].xxx与*((Feld[i]).xxx)因为. 具有比*高的优先级。 因为Feld[i]不是TFeld类型， TFeld不会编译
• Feld[i]->xxx与(Feld[i])->xxx （因为[]和->具有相同的优先级，但是当两者出现时，它们都是从左到右应用的）。 这进一步与(*(Feld[i])).xxx 。 仍然不是您想要的。

但是让我们可视化以了解以不同顺序应用取消引用的影响。 最重要的是您需要的。 根本是应避免的事情：

怎么解决 ？

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

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的有效指针来TFeld ，因此*Feld无疑会指向TFeld的指针。 如果是这种情况，则您的内存分配指针可能会写入内存中的任何位置，从而再次导致内存损坏。 如有疑问，请对您的问题进行编辑，以显示调用代码，以便我检查。

Answer 2

Feld是指向结构数组的指针。 因此，您必须（1）取消引用指针，然后（2）索引数组，最后（3）访问struct内部的字段。

有两种方法可以在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-使用双指针的动态内存分配