C 修改结构指针的指针

我创建一个结构，将指针的指针传递到函数中，然后调用

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;
    } */
}

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

---

有人能给我解释一下那种行为吗。

有什么问题吗？

在

InitField（）

中，参数

Feld

被声明为指向TFeld的指针

因此，

*Feld

是指向

TFeld

的指针。它已正确初始化为新分配的大小正确的内存区域

然后调用

test（）

作为参数传递

*Feld

。不幸的是，您也调用了参数

Feld

，因此这些变量的类型不同，可能会引起一些麻烦。但这不是问题所在。测试函数应该做您期望的事情

回到

InitField（）

后，您将尝试访问已初始化的元素：

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

这将获取指向指针的指针，并访问该表中的第i个指针。但是，由于指针的指针只是一个poitner而不是一个数组，所以返回的是一个完全损坏的指针。然后用

->

解除对该恶意指针的引用，假装它指向

tField

。当您将一个值分配给这个恶意地址时，您有未定义的行为（可能是segfault，可能是freeze，可能是任何东西）

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

操作员

*

->和

[]

有一个您必须习惯的。让我们看看

t字段**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;
} 

双重间接总是有点棘手。当你有疑问时，加上一些括号

---

最后一句话：我假设调用

InitField（）

时使用了指向

TFeld

指针的有效指针，因此

*Feld

毫无疑问将指向指向

TFeld

的指针。如果是这种情况，内存分配的指针可能会写入内存中的任何位置，从而再次导致内存损坏。如果有疑问，请编辑您的问题，显示呼叫代码，以便我检查

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

有两种方法可以在

for

循环中编写此代码；你更喜欢哪一个是品味的问题：

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

---

在函数内部和直接执行时是有区别的。因为这里的

Feld

是指向

test（）

中结构的指针，而它是指向

initField（）

中结构的指针

当您使用malloc（）时，指向该结构的指针被初始化，因此在

test（）内部访问时它没有崩溃。但是指向指针的指针仍然未初始化，因此导致
initField（）
中出现seg错误

因此，必须正确分配双指针。检查此链接以供参考：
您在此处编写的
Feld[i]->
您可能指的是
（*Feld）[i]。
在您的
struct
typedef中，您可以在第一次使用时省略名称
TFeld
。与中一样，
typedef struct{…}TFeld好吧，我想这样称呼它（*Feld[I]）。Schiff_Versunken=false；等于*Feld[i]>Schiff_Versunken=false；正确的？因为这是我第一次不理解的（*Feld）[I].Schiff_Versunken=false；与（*Feld[i]）不同。Schiff_Versunken=false@我理解你的困惑。请参阅我的编辑，了解优先顺序。我还添加了一个模式来显示不同的含义
（*Feld）[I]
和
*Feld[I]
    Feld[0][i].Schiff_Versunken = false;
    Feld[0][i].Schiff_Versunken = false;
    Feld[0][i].Ueberprueft = false;

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