如何在C语言中实现GLSL风格的vec2向量直接索引（foo[0]）访问？

嘿，这个需求很贴合GLSL的使用习惯嘛！要在C里实现vec2 foo既能用foo.x/foo.y访问，又能直接写foo[0]代替foo.d[0]，咱们得绕开C不支持运算符重载的限制，用宏或者编译器小技巧来搞定，下面给你两种可行的方案：

方案一：标准C兼容的宏封装（推荐） #

首先保留你原有的vec2 union定义（把数组成员放前面更直观，不影响功能）：

typedef union {
    float d[2];
    struct { float x1, x2; };
    struct { float x, y; };
} vec2;

这个定义已经保证了foo.x和foo.d[0]是同一块内存，现在要去掉.d前缀，我们可以用宏来封装下标访问逻辑：

写法1：接近函数调用的宏 #

#define AT(v, idx) (v.d[idx])

使用示例：

vec2 foo = {.x = 1.0f, .y = 2.0f};
float x_val = AT(foo, 0); // 和 foo.x、foo.d[0] 完全等价
float y_val = AT(foo, 1); // 和 foo.y、foo.d[1] 完全等价

写法2：更像数组下标的宏 #

如果你想更贴近foo[0]的写法，可以用指针强制转换的宏：

#define VEC(v) ((float*)&v)

使用示例：

float x_val = VEC(foo)[0];
float y_val = VEC(foo)[1];

这个宏的原理很简单：把vec2变量的地址转成float*指针，这样就能用数组下标直接访问了——本质上还是在操作d[2]数组，和命名成员共享内存，完全符合GLSL的向量行为。

方案二：利用GCC/Clang扩展（非标准） #

如果你只需要兼容GCC、Clang这类支持扩展的编译器，可以玩个小花样，但这种写法不具备标准C兼容性，谨慎使用：

比如可以定义一个宏来“模拟”下标运算符：

#define _IDX(v, i) (v.d[i])
#define IDX(v) _IDX(v,

用的时候写成：

float x_val = IDX(foo)0);

不过这种写法可读性太差，还是方案一更实用。

注意事项 #

1. 匿名结构体是C11及以后的特性，如果要兼容更早的C标准，得给结构体加个名字，比如struct xy { float x, y; } xy;，然后用foo.xy.x访问。
2. 不管用哪种方法，只要保证x对应d[0]、y对应d[1]的内存顺序，就不会有问题——你的原始union定义已经满足这一点了。

内容的提问来源于stack exchange，提问作者 Étale-cohomology