Zig（及C）中结构体传参性能对比：Vec3缩放函数实现选择

首先给出基础的3D向量结构体定义：

pub const Vec3 = struct {
    x: f32 = 0,
    y: f32 = 0,
    z: f32 = 0,

    pub fn init(x: f32, y: f32, z: f32) Vec3 {
        return Vec3{ .x = x, .y = y, .z = z };
    }
}

要为其添加缩放（Scale）函数，以下是两种实现方案，我们从内存与CPU复杂度角度分析哪种性能最优且更合理：

两种实现方案 #

传引用实现 #

pub fn Scale(self: *Vec3, scalar: f32) void {
   self.x = self.x * scalar;
   self.y = self.y * scalar;
   self.z = self.z * scalar;
}

传值并返回实现 #

pub fn Scale(self: Vec3, scalar: f32) Vec3 {
   return Vec3.init(self.x * scalar, self.y * scalar, self.z * scalar);
}

性能与合理性分析 #

内存开销 #

• 传引用实现：仅需传递一个指针（4或8字节，取决于平台），直接在原内存地址修改三个f32字段，无额外内存分配，也不需要复制整个Vec3结构体（12字节）。
• 传值返回实现：调用时需要将整个Vec3复制到函数栈帧；返回时现代编译器的返回值优化（RVO）会消除返回值的复制开销，但传参时的复制无法完全避免（除非编译器做了内联优化）。

CPU指令开销 #

• 传引用实现：仅需解引用指针访问字段，执行三次乘法赋值，指令数量少，无数据复制的CPU开销。
• 传值返回实现：若未被内联，会存在至少一次Vec3的内存复制（传参阶段）；若被编译器内联优化，最终生成的指令可能和传引用版本接近，但这依赖编译器的优化策略和代码调用上下文，无法保证在所有场景下都能达到相同效果。

合理性与适用场景 #

• 传引用实现：适合不需要保留原向量的场景，语义清晰，直接修改原数据，能稳定避免复制开销，在循环等高频调用场景下优势明显。
• 传值返回实现：适合需要保留原向量、生成新向量的场景，属于纯函数（不修改输入参数），风格更安全，不会意外改动原数据，但性能略逊于传引用版本（除非编译器完全优化）。

结论 #

• 若追求极致性能且无需保留原向量，传引用实现是更优选择，能稳定规避复制带来的开销。
• 若需要保留原向量，传值返回是合理的业务选择，现代编译器优化会降低其性能损失，但在性能敏感的核心路径中，建议优先考虑传引用+临时变量的方式替代。

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