C在struct中重载operator()

Here is a code from b2Math.h from Box2d physics engine.

您发布的Box2D源代码的复制和粘贴似乎有错误.特别是,在非const方法中似乎缺少了&符号.

此外,此代码段似乎来自除当前2.3.2发布代码之外的代码库.

这是Box2D 2.3.2 sources on GitHub的部分：

/// Read from and indexed element.
float32 operator () (int32 i) const
{
    return (&x)[i];
}

/// Write to an indexed element.
float32& operator () (int32 i)
{
    return (&x)[i];
}

Why can’t we just use SomeVector.x and SomeVector.y to read/write vector coordinates?

我们可以,而且我们通常这样做.

然而,Box2D中的一些代码(具体为b2AABB :: RayCast)似乎是从算法编写的(b2AABB :: RayCast的评论说“来自实时碰撞检测,p179”)迭代x和y为数组下标零和一.我猜想Erin Cato(Box2D的作者)以这种方式实现了这些运算符：(a)使风格上的访问更符合算法,(b)使其工作,(c)使其工作在看似高效的方式.我可以确认它至少起作用了.

我有my own fork of Box2D,我已经重写了这些运算符.我将其接口更改为使用[](而不是()),并将其实现更改为使用switch语句显式访问x或y.后者我明确地避免了我可能未定义的行为w.r.t. C标准.

这里是我的实现的相关部分的代码段(请注意,我并不认为这是完美或好的,只是它的替代实现是有效的,它应该明确依赖于定义的行为) ：

/// Accesses element by index.
/// @param i Index (0 for x,1 for y).
auto operator[] (size_type i) const
{
    assert(i < max_size());
    switch (i)
    {
        case 0: return x;
        case 1: return y;
        default: break;
    }
    return x;
}

/// Accesses element by index.
/// @param i Index (0 for x,1 for y).
auto& operator[] (size_type i)
{
    assert(i < max_size());
    switch (i)
    {
        case 0: return x;
        case 1: return y;
        default: break;
    }
    return x;
}

And how actually line return (&x)[i]; works?

正如我上面暗示的那样,我之前已经研究过这个问题.

当结构的x和y成员变量的内存布局与具有两个浮点数的数组相同时,它可以工作;它通常做的.因此,&符号(&)获取x参数的地址,然后将该地址视为数据开头的地址,然后由i进行索引.

然而,就C标准而言,我不认为这是定义的行为.然而,根据我的口味,它没有明确定义.

希望这能回答你的问题.