C++矩阵实现：返回值拷贝与传入输出指针方式优劣对比

针对你给出的两种实现，当前4x4矩阵场景下优先选择返回值的Copy out方案，后续扩展到大体积结构体时再根据实际情况调整；你提到的五法则、移动语义完全适用于这类场景，不需要担心性能问题。

先修正示例代码的笔误 #

你贴的第一版Copy out代码有两个明显错误，修正后才能正常编译：

• 返回值类型错写为void，实际应该返回Matrix类型
• 返回的变量名matTransltion存在拼写错误，和定义的局部变量matTranslation不一致

修正后的代码如下：

Matrix TranslatMat(float x, float y, float z) {
    Matrix matTranslation = {
       1.0f, 0.0f, 0.0f, x,
       0.0f, 1.0f, 0.0f, y,
       0.0f, 0.0f, 1.0f, z,
       0.0f, 0.0f, 0.0f, 1.0f };
    return matTranslation;
}

优先选返回值实现的核心原因 #

• 语义更清晰，出错概率低：返回值实现的接口含义一目了然——函数生成并返回一个全新的平移矩阵，调用方不需要额外判断传入的指针是否为空、指向的内存是否合法，写出来的代码Matrix t = TranslatMat(0, 1, 0);可读性远高于传指针的写法，从根源上避免野指针、漏初始化这类低级错误。
• 性能完全满足逐帧调用的要求：
  1. 4x4 float矩阵总共占64字节，属于非常小的结构体，就算真的发生内存拷贝，开销也可以忽略不计。
  2. 现代编译器默认开启RVO（返回值优化）、NRVO（命名返回值优化），会直接在调用方接收返回值的内存位置构造矩阵对象，连移动构造的开销都能完全省掉，实际生成的汇编性能和你手动传指针写的版本没有区别，甚至更好。
• 你提到的五法则、移动构造在这个场景下完全生效：只要你给Matrix实现了正确的移动构造/移动赋值，就算后续把这套模式用到更大的结构体上，返回局部对象时会自动触发移动语义，开销仅相当于拷贝几个指针，远低于全量拷贝的成本。

什么时候需要用传参输出的方案 #

只有两种场景推荐你用输出参数的写法：

• 结构体体积过大（经验阈值是超过128字节，或者包含大量堆上分配的成员，移动成本也较高），这时候返回值的移动开销也不可忽略，可以考虑传输出参数，而且优先用引用而不是裸指针，从类型层面避免空指针问题。
• 函数的语义是修改一个已经存在的矩阵对象，而不是创建全新的矩阵，这时候传入引用/指针做修改是符合直觉的。

更合理的实现优化点 #

• 给Matrix这类基础值类型实现符合五法则的构造、拷贝/移动、析构逻辑，保证值传递、返回的开销可控。
• 这类固定逻辑的数学运算函数可以加constexpr修饰，允许编译器在编译期直接计算常量矩阵的值，彻底消除运行时开销。
• 如果必须用输出参数，优先用Matrix&引用类型代替裸指针，不需要额外做空指针判断。

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