将Node**强转为Node*是否属于未定义行为？

代码场景与疑问 #

你定义的代码结构如下：

• 结构体Node的第一个成员为Node* p_next
• 存在指向首个节点的指针p_head
• 尝试将Node**类型的&p_head通过reinterpret_cast转换为Node*，存储到p_node_before_head中，期望通过p_node_before_head->p_next获取p_head的值

对应的代码示例：

#include <iostream>

struct Node{
    Node* p_next;
    int item;   
};

int main(){
    Node head = {nullptr, 5};
    Node* p_head = &head;
    
    //By pretending that "p_head" is a node whose first element is a pointer to the head,
    //we create a new pointer that points to this "node before the head"
    Node* p_node_before_head = reinterpret_cast<Node*>(&p_head);
    
    Node* p_head2 = p_node_before_head->p_next;
    std::cout << p_head2->item << std::endl;
}

你需要明确两个问题：

1. 上述reinterpret_cast及后续访问操作是否属于未定义行为？
2. 如何判断不同指针类型的转换是否符合**指针可互换性（pointer-interconvertibility）**规则？

核心结论：你的代码属于未定义行为 #

虽然在多数平台上这段代码可能“正常运行”，但从C++标准的角度，它明确属于未定义行为，原因如下：

1. 违反对象模型与类型别名规则 #

&p_head指向的是一个Node*类型的变量，而非Node类型的对象。当你用reinterpret_cast<Node*>将其转换为Node*后，通过该指针访问p_next成员，本质是把Node*变量的内存空间当作Node对象来操作——这直接违反了C++的类型别名规则（除非用char/unsigned char类型访问，否则不能用异质指针类型访问对象）。

2. 不满足指针可互换性规则 #

指针可互换性的核心是：两个指针类型指向的内存区域，本质是同一个对象的不同“视角”。根据C++标准，满足指针可互换性的场景仅包括：

• 两种类型是同一类型（忽略const/volatile等限定符）
• 其中一种类型是标准布局类型，另一种是该类型的第一个非静态数据成员的类型（反之亦然，同样忽略cv限定符）
• 两种都是标准布局类型，且它们的共同初始序列包含对方的类型（极少用的边缘场景）

回到你的代码：

• &p_head的类型是Node**，指向的是Node*变量
• Node的第一个成员类型是Node*，但Node**和Node*是完全不同的指针类型，且&p_head指向的并非Node对象，因此完全不满足指针可互换性的前提条件。

正确的替代实现 #

如果需要模拟“头前节点”的逻辑，直接创建一个真实的Node对象即可，完全不需要依赖指针转换的黑魔法：

#include <iostream>

struct Node{
    Node* p_next;
    int item;   
};

int main(){
    Node head = {nullptr, 5};
    Node* p_head = &head;
    
    // 直接创建真实的头前节点
    Node node_before_head = {p_head, 0};
    Node* p_node_before_head = &node_before_head;
    
    Node* p_head2 = p_node_before_head->p_next;
    std::cout << p_head2->item << std::endl;
}

这种方式逻辑清晰，完全符合C++标准，不存在任何未定义行为的风险。

内容的提问来源于stack exchange，提问作者timmy george