更新指针值是否会影响早期的分配

如何解决更新指针值是否会影响早期的分配

我很难理解有关指针的知识，并且正在使用指针和动态列表进行练习。我遇到一个问题，就是一个指针指向一个我不希望它指向的对象的实例，并以无限循环结尾。鉴于以下代码，对于这种行为，我只能给出一个解释：

graph_edge_t *tmp_edge;
graph_edge_t *last_edge = NULL;

tmp_edge->next_edge_p = last_edge;              
last_edge = tmp_edge;

我希望tmp_edge->next_edge_p等于NULL，但是执行此操作后恐怕它等于tmp_edge。这个对吗？有没有一种方法可以给tmp_edge->next_edge_p赋予last_edge的值（在这种情况下为NULL），然后更改last_edge的值，使tmp_edge->next_edge_p不变？

编辑：

这是问题的简化版本。

#include <stdio.h>
#include <stdlib.h>

/* Structure used to hold a graph vertex information. */
typedef struct graph_vertex
{
    int identifier;
    struct graph_vertex *next_vertex_p;
    struct graph_edge *edge_list_p;
} graph_vertex_t;

/* Structure used to hold a graph edge information. */
typedef struct graph_edge
{
    struct graph_vertex *adjac_vertex_p;
    struct graph_edge *next_edge_p;
} graph_edge_t;

int main (int argc,char *argv[])
{   
    graph_edge_t *tmp_edge = NULL;
    
    graph_edge_t *last_edge = NULL;
    
    int id_conn[4] = {2,3,4,5};
    
    tmp_edge = (graph_edge_t *)malloc(sizeof(graph_edge_t));
    
    for (int i = 0; i < 4; i++)
    {
        printf("%d ",id_conn[i]);
            
        tmp_edge->adjac_vertex_p = malloc(sizeof(graph_vertex_t));
        tmp_edge->adjac_vertex_p->identifier = id_conn[i];
        tmp_edge->next_edge_p = last_edge;  
            
        if(tmp_edge->next_edge_p != NULL)
            printf("LE: %d : TMP %d : EDGE: %d \n",last_edge->adjac_vertex_p->identifier,tmp_edge->adjac_vertex_p->identifier,tmp_edge->next_edge_p->adjac_vertex_p->identifier);          
        
        last_edge = tmp_edge;
        /*tmp_edge->next_edge_p points to wrong vertex*/    
    }
}

我希望Last_edge存储上一个循环的边缘信息，这就是为什么在打印后将last_edge设置为tmp_edge的原因，但是当我在等于语句的上方打印last_edge时看到last_edge已经等于tmp_edge：

当前输出：

2 3 LE: 3 : TMP 3 : EDGE: 3 
4 LE: 4 : TMP 4 : EDGE: 4 
5 LE: 5 : TMP 5 : EDGE: 5 

想要的输出：

2 3 LE: 2 : TMP 3 : EDGE: 3 
4 LE: 3 : TMP 4 : EDGE: 4 
5 LE: 4 : TMP 5 : EDGE: 5 

解决方法

更新指针值会影响早期的分配吗？

否

C是一种程序语言。它不像Excel电子表格，如果其他单元格发生更改，则该单元格的内容会更新。 每个语句在前一个语句完成之后执行。 （至少编译器必须创建行为与实际情况相同的代码）。 语句（分配只是语句）没有过去或将来。在给定的时间对其进行评估，此后发生的任何情况都不会考虑。

在C中，如果编写赋值，则不会定义变量之间的依赖关系。 分配只将内存中的某些位从一个位置复制到另一个位置。

tmp_edge->next_edge_p = last_edge;              
last_edge = tmp_edge;

在此代码中，第一行创建的代码将last_edge的内容复制到tmp_edge->next_edge_p所在的内存中。 此后，就没有数据源的踪迹。您可以根据需要随意更改last_edge，而不会影响tmp_edge->next_edge_p。