Question

我正在阅读一本书（Eric Lengyel的游戏引擎开发基础），本书正在用c ++编写一些向量操作，这里是片段：

struct Vector3D
{
    float x, y, z;

    Vector3D() = default;

    Vector3D(float a, float b, float c)
    {
        x = a;
        y = b;
        z = c;
    }

    float& operator [](int i)
    {
        return((&x)[i]);
    }
};

我特别关注这篇文章：

float& operator [](int i)
{
    return((&x)[i]);
}

现在我希望这段代码返回x，无论输入什么索引。但是，根据输入输出相应的变量（x，y或z）。为什么是这样？谢谢你的帮助。

Answer 1

暂时，让我们忽略函数执行方式的臭味。

问题是，它是如何运作的？

如果查看类对象的成员变量，当成员之间没有填充时，它们将在内存中布局为：

+-----+-----+-----+
|  x  |  y  |  z  |
+-----+-----+-----+

使用这样的布局，对象看起来好像是float s。

的数组

如果您使用：

float* ptr = &x;

ptr指向此类数组的第一个元素。

ptr[0]计算数组的第一个元素，与x相同。
ptr[1]计算数组的第二个元素，与y相同 ptr[2]计算数组的第三个元素，与z相同。

那是

的原因

return((&x)[i]);

大部分时间都有效，即使这样的代码是导致每个标准的未定义行为的原因。

operator []函数的这个实现如何工作？

1 个答案: