返回(大）对象时复制开销

考虑一个简单的Matrix4x4 Identity方法的以下两个实现。

1：这个以 Matrix4x4 引用为参数，其中数据直接写入。

static void CreateIdentity(Matrix4x4& outMatrix) {
    for (int i = 0; i < 4; ++i) {
        for (int j = 0; j < 4; ++j) {
            outMatrix[i][j] = i == j ? 1 : 0;
        }
    }
}

2：这个返回一个矩阵4x4，不带任何输入。

static Matrix4x4 CreateIdentity() {
    Matrix4x4 outMatrix;
    for (int i = 0; i < 4; ++i) {
        for (int j = 0; j < 4; ++j) {
            outMatrix[i][j] = i == j ? 1 : 0;
        }
    }
    return outMatrix;
}

现在，如果我想实际创建一个身份矩阵，我必须做

Matrix4x4 mat;
Matrix4x4::CreateIdentity(mat);

对于第一个变体和

Matrix4x4 mat = Matrix4x4::CreateIdentity();

第二。

第一个显然产生了一个优点，即没有完成一个不必要的副本，同时它不允许将其用作右值;

Matrix4x4 mat = Matrix4x4::Identity()*Matrix4x4::Translation(5, 7, 6);

最后一个问题：有没有办法尽可能避免使用像Matrix4x4::CreateIdentity();这样的方法时不必要的副本，同时仍然允许像我上一个代码示例中那样将该方法用作右值？编译器是否自动优化了它？我很困惑如何有效地完成这个(看似(简单的任务。也许我应该实现这两个版本并使用任何合适的版本？