WGSL中替代GLSL输出参数的惯用实现方案是什么

WGSL 本身没有提供 GLSL/HLSL 支持的 out/inout 参数修饰符，对应需求有三种符合规范的实现方式，按需选择即可：

• 方案1：自定义结构体返回值（官方首推，适合强关联返回值）
  你猜测的结构体写法本身就是官方推荐的标准实现，当返回的多个值逻辑关联度高（比如例子里沃罗诺伊计算返回的距离和所属网格本身就是计算结果的绑定属性），这种写法语义最清晰，也方便后续扩展字段，不算冗余样板。
  示例代码：

  struct VoronoiResult {
      cell: vec2<i32>;
      distance: f32;
  };
  
  fn voronoi(x: vec2<f32>) -> VoronoiResult {
      // 实际计算逻辑
      var ret: VoronoiResult;
      ret.distance = 0.0; // 替换为实际距离计算结果
      ret.cell = vec2<i32>(0, 0); // 替换为实际网格坐标结果
      return ret;
  }
  

• 方案2：多返回值+解构（零样板代码，适合轻量临时场景）
  WGSL 原生支持元组类型多返回值，调用时可以直接解构拿到所有返回值，完全不需要额外定义结构体，适合返回值数量少、不需要复用返回结构的场景，代码量比out参数写法更简洁：

  fn voronoi(x: vec2<f32>) -> (f32, vec2<i32>) {
      // 实际计算逻辑
      let dist = 0.0; // 替换为实际距离计算结果
      let cell = vec2<i32>(0, 0); // 替换为实际网格坐标结果
      return (dist, cell);
  }
  
  // 调用处直接解构取值
  let (distance, cell) = voronoi(vec2<f32>(0.5, 0.5));
  

• 方案3：指针参数（等价out参数行为，适合大对象修改场景）
  WGSL 支持函数接收指针类型参数，在函数内修改指针指向的内存值，效果和out参数完全一致。但官方更推荐仅在需要修改传入的大体积结构体、避免拷贝开销时使用这种写法，普通小返回值场景可读性不如前两种：

  // 第二个参数为function地址空间下vec2<i32>的指针，等价out参数
  fn voronoi(x: vec2<f32>, cell: ptr<function, vec2<i32>>) -> f32 {
      // 实际计算逻辑
      let dist = 0.0; // 替换为实际距离计算结果
      let computed_cell = vec2<i32>(0, 0); // 替换为实际网格坐标结果
      *cell = computed_cell; // 给指针指向的变量赋值
      return dist;
  }
  
  // 调用处传入变量地址即可
  fn example() {
      var out_cell: vec2<i32>;
      let distance = voronoi(vec2<f32>(0.5, 0.5), &out_cell);
      // 此处out_cell已经被赋值
  }
  

选型建议 #

• 多处复用、逻辑关联强的返回结果优先选结构体方案
• 单次使用、返回值少的轻量场景优先选多返回值方案
• 仅在需要避免大对象拷贝时选指针参数方案

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