C++中的结构是否按顺序分配内存?每次都以某种方式获得指针比较的正确答案

我正在尝试解决一个问题。

问题定义：给定一个包含 n 个节点的单链表。修改前半节点的值，使第一个节点的新值等于最后一个节点的值减去第一个节点的当前值，第二个节点的新值等于倒数第二个节点的值减去第二个节点的当前值，前半部分节点也是如此。如果 n 为奇数，则中间节点的值保持不变。请注意，链表的半节点保持不变。

EG ： 6 3 5 4 10

答： -4 -1 5 4 10

我编写了一个程序来跟踪下半部分的节点，其顺序与使用递归处理所需的顺序相反。但是，出于粗心大意，我比较了两个指针，以检查两个指针是否相互交叉以停止处理它们。

我每次都正确获得输出。

完整代码：

#include <bits/stdc++.h>
using namespace std;
struct Node
{
int data;
struct Node* next;
};
struct Node* modifyTheList(struct Node *head);
void push(struct Node **head_ref, int new_data)
{
struct Node* new_node =(struct Node*) malloc(sizeof(struct Node));
new_node->data = new_data;
new_node->next = *head_ref;    
*head_ref = new_node;
}
void printList(struct Node *head)
{
if (!head)
return;
while (head->next != NULL)
{
cout << head->data << " ";
head = head->next;
}
cout << head->data << endl;
}
int main()
{
int t;
cin>>t;
while(t--){
int n;
cin>>n;
struct Node *head = NULL;
while(n--){
int a;
cin>>a;
push(&head, a);
}
head = modifyTheList(head);
printList(head);
}
return 0;
}
void modify(Node *head ,Node** left)
{
if(head!=NULL)
{
modify(head->next,left);
if(head >= *left )            //line of concern, comparing pointers
return;
else
{
(*left)->data=(*left)->data-head->data;
(*left)=(*left)->next;
}
}
}
struct Node* modifyTheList(struct Node *head)
{
if(head==NULL || head->next==NULL )
return head;
struct Node *temp = head;
modify(head,&temp);
return head;
}

1. 有人可以告诉我这样比较有效吗？

2. 如果这不成立，它是如何通过在线评委的测试用例的？