WGSL中vec类型属性访问器工作原理及组合访问疑问

这种通过.后跟多个分量标识符（比如xy、zzzz）的写法，叫做向量分量重组（swizzling），核心作用是从原向量中提取指定分量，按你写的顺序组合成新的向量，新向量的维度由你写的分量个数直接决定。

具体行为可以分两种情况理解：

• 多分量组合：比如myvar.xy，从vec3<f32>类型的myvar中依次提取x、y分量，生成一个vec2<f32>类型的新向量，新向量的第一个分量是原myvar的x，第二个是原myvar的y。你也可以打乱顺序，比如myvar.yx会生成x、y分量互换的vec2<f32>。
• 单分量重复：比如myvar.zzzz，提取原myvar的z分量并重复四次，生成一个vec4<f32>类型的新向量，四个分量的值都等于原myvar的z值。

需要注意几个规则：

• 只能使用原向量已有的分量标识符：比如vec3<f32>只有x、y、z三个分量，不能用w来重组，否则会触发编译错误。
• 分量标识符不局限于x/y/z，WGSL还支持r/g/b（对应颜色通道）、s/t/p（对应纹理坐标），但同一重组操作中只能用同一套标识符（比如不能混合x和r）。
• 重组生成的向量类型由分量个数决定：写2个分量就是vec2，4个就是vec4，以此类推。

举个实际代码例子：

let myvar: vec3<f32> = vec3(1.0, 2.0, 3.0);
let xy_vec: vec2<f32> = myvar.xy;     // 结果：vec2(1.0, 2.0)
let zzzz_vec: vec4<f32> = myvar.zzzz; // 结果：vec4(3.0, 3.0, 3.0, 3.0)
let yx_vec: vec2<f32> = myvar.yx;     // 结果：vec2(2.0, 1.0)

内容的提问来源于stack exchange，提问作者commonUser