c - 在 C 中使用 char 数组深度复制结构(如何复制数组？)

Question

我的 C 程序中有以下结构

struct person {
    char key[50];
    char color[20];
    int age;
};

我想深拷贝这个结构。我已经设置了深度复制功能，但是我对如何深度复制字符串有点困惑。我听说有人使用 strcpy 和其他人使用 strdup。

我在我的程序中想要的是如果原始人被释放，深度复制的人的键和颜色不受影响。一旦设置，键和颜色就不能改变。就我的目的而言，我应该使用 strcpy 还是 strdup 函数？

Answer 1

Post-K&R(即在标准 C 中)¹ 您可以直接分配它们。下面的函数只是为了让例子更清楚，你总是会就地分配:

void deepCopyPerson(struct person *target, struct person *src)
{
    *target = *src;
}

详细说明:char 数组是结构对象的一部分(真正的数组，不仅仅是指针!)，因此与对象一起分配和复制。

为了让不相信的人满意 ;-) 我在标准草案 1570 中翻找了一下:

6.5.16 Assignment operators

Semantics

An assignment operator stores a value in the object designated by the left operand. [Followed by type conversion and sequencing considerations which are not relevant here.]

[...]

6.5.16.1 Simple assignment

Constraints

One of the following shall hold:

• [...]

• the left operand has an atomic, qualified, or unqualified version of a structure or union type compatible with the type of the right;

[...]

Semantics

In simple assignment (=), the value of the right operand is converted to the type of the assignment expression and replaces the value stored in the object designated by the left operand.

---

¹ The first edition of The C Programming Language , 由贝尔实验室的 Brian W. Kernighan 和 Dennis M. Ritchie 编写并于 1978 年出版，是第一个 C 版本的非正式语言规范，在本书的两位作者指定它之后通常称为“K&R C”(并且作为区别于 10 年后指定的 ANSI C)。这本书的第一版在第 121 页包含以下句子:

The essential rules are that the only operations that you can perform on a structure are take its address with &, and access one of its members.

特别是，您不能分配结构。 (但他们继续“这些限制将在即将发布的版本中删除”。)

事实上，这是 10 年后通过的 ANSI 版本中对语言进行的为数不多的实质性(与句法相反)添加之一。 Kernighan 和 Ritchie 为他们的书准备了一个附带的“ANSI C 版本”。这句话位于第 129 页，现在是:

The only legal operations on a structure are copying and assigning to it as a unit, taking its address with &, and accessing its members.

他们阐述:

Copy and assignment include passing arguments to functions and returning values from functions as well.

这种等效性在今天的最新 C++ 标准中仍然适用。

因为我们在 C++ 的根管中:下一个语句是一个肯定的“结构可能无法比较。”有趣的是，他们添加了这句话 — 显然，内置comparison 在引入内置赋值后提出了自己的建议，但被拒绝了。在我看来，从来没有一个很好的理由:如果你可以按成员分配，为什么不以这种方式进行比较呢？在许多情况下这会很好，而且手动比较很难维护。用 spaceship operator 在 C++20 中使这成为可能又花了 30 年。它在(明确地)默认时生成所有其他比较；事实上，它默认为成员比较。