如果两个指针指向同一个结构变量,是否定义了将一个取消引用的指针分配给另一个指针的行为?
struct Struct {
int member;
};
int main() {
struct Struct s, *p1, *p2;
s.member = 1234;
p1 = p2 = &s;
*p1 = *p2; // is this allowed?
}
Run Code Online (Sandbox Code Playgroud)
我主要问这个问题,因为在这篇 SO 帖子和这篇 SO 帖子中,许多答案表明 struct 赋值或多或少相当于memcpy,并且某些编译器甚至生成memcpy对赋值语句的调用。然而,memcpy当内存位置重叠时, 就没有被定义,这就引出了一个问题:它是为赋值而定义的吗?
这似乎符合预期,但我想知道 C 标准是否对此有任何规定。是否需要添加一个简单的检查
if (p1 != p2) *p1 = *p2;
Run Code Online (Sandbox Code Playgroud)
或使用memmove?
仅供参考,这是我在 C 中实现自己的插槽映射(如此处所述)时出现的。从容器中删除元素时,数组末尾的元素将被复制到删除的位置以保持所有内容连续。在被删除的元素位于数组末尾的情况下,它将被复制到自身(不是非常重要,因为该元素被认为是被删除的,但无论如何让我很好奇)。