我在这里得到结构副本吗？

Question

这是一个假代码示例

vector<Fred> gFred;
{
    // init gFred

    Fred &fred = gFred[0];

    size_t z = 0;
    do
    {
        fred = gFred[z];

        // do odd processing with fred

        z++;
    }
    while (fred.lastElementInSet == 0);
}

引起我注意的是 gFred[0] 被覆盖。 这让我想到，

fred = gFred[z];

实际发生的情况是 gFred[1] 正在覆盖 gFred[0]，而不是 init fred 作为对新元素的引用。

我认为在这里要做的正确的事情就是敲打自己的头几次，然后将其转变为指针实现并继续我的生活。

我的诊断正确吗？ 或者我需要更多的教育吗？

Answer 1

是的，您将在那里获得结构副本。 引用不能反弹，即一旦初始化，它们就保持不变。

而且你的解决方案也是合适的。 不过不知道要不要敲自己的头。

Answer 2

查看引用的一种方法是将它们视为隐式解除引用的指针。 简而言之，它们是指针，但您可以使用普通的变量访问语法来使用它们。

Fred &fred = gFred[0];

这将创建对向量 gFred 第一个元素的引用。 （顺便说一句，你里面有什么东西吗？）编译器会做这样的事情：

Fred *pFred = &gFred[0];

现在，当你这样做时：

fred = gFred[z];

编译器实际上会做这样的事情：

*pFred = gFred[z];

翻译后的意思是：

gFred[0] = gFred[z];

你正在做这个N 次，如果您的向量中有 N 个元素。

如果您尝试初始化 vector 的所有元素，请尝试使用此构造函数：

vector(size_type n, const T& t)      

其中，

n = size of vector
t = gFred[0]

Answer 3

使用您发布的代码（假设 Fred 类型是 POD），gFred[0] 将被重写，并且最终将包含最后一个 z 的 gFred[z] 中的 wahatever 的副本。

您可以切换到使用指针实现，或者可以更仔细地限定引用范围：

{    
    size_t z = 0;
    do
    {
        Fred &fred = gFred[z];
        // do odd processing with fred
        z++;
    }
    while (fred.lastElementInSet == 0);
}

Answer 4

在您提供的代码中，fred 始终引用 gFred[0]。 如果您希望 fred 引用随着循环的每次迭代而更改，请删除行 Fred &fred=gFred[0]; 。 然后将 fred = gFred[z]; 替换为 Fred &fred = gFred[z]。 这样，您就可以在每次循环执行时重新初始化 fred 引用。

Answer 5

编译机制由dirkgently的答案解释，而底层解释是MSN的答案（“引用不能反弹”）。

也许这样读起来更容易：

if

ptr = &xxx;

表示ptr的内容是xxx的地址，then

&fred = gFred[0];

表示的地址 >fred 设置为指向 gFred[0]。 IOW，fred 现在是 gFred[0] 的别名。 这就是为什么 fred = xxx 会覆盖 gFred[0]