我应该通过参数还是通过返回值初始化C结构？[关闭]

我工作的公司正在通过初始化函数来初始化所有数据结构，如下所示：

//the structure
typedef struct{
  int a,b,c;  
} Foo;

//the initialize function
InitializeFoo(Foo* const foo){
   foo->a = x; //derived here based on other data
   foo->b = y; //derived here based on other data
   foo->c = z; //derived here based on other data
}

//initializing the structure  
Foo foo;
InitializeFoo(&foo);

我遇到了一些尝试初始化我的结构的问题：

//the structure
typedef struct{
  int a,b,c;  
} Foo;

//the initialize function
Foo ConstructFoo(int a, int b, int c){
   Foo foo;
   foo.a = a; //part of parameter input (inputs derived outside of function)
   foo.b = b; //part of parameter input (inputs derived outside of function)
   foo.c = c; //part of parameter input (inputs derived outside of function)
   return foo;
}

//initialize (or construct) the structure
Foo foo = ConstructFoo(x,y,z);

一个人比另一个人有优势吗？
我应该怎么做，我将如何证明它是一种更好的做法？

在第二种方法中，您将永远不会有半初始化的Foo。将所有结构放在一个地方似乎是一个更明智和明显的地方。

但是...第一种方法还不错，并且在许多领域中经常使用（甚至讨论了依赖注入的最佳方法，如第一种方法的属性注入或第二种方法的构造函数注入） 。都没错。

因此，如果都没有错，并且公司的其他成员使用方法1，那么您应该适合现有的代码库，而不要通过引入新的模式来搞乱它。这确实是在这里发挥作用的最重要的因素，与您的新朋友和睦相处，不要试图做事特别的雪花。

两种方法都将初始化代码捆绑到一个函数调用中。到目前为止，一切都很好。

但是，第二种方法存在两个问题：

1. 第二个对象实际上并不构造生成的对象，而是初始化堆栈上的另一个对象，然后将其复制到最终对象中。这就是为什么我认为第二种方法略逊一筹的原因。您收到的回推可能是由于此无关的副本。

   当你派生类，这是更糟糕的Derived，从Foo用第二种方法，功能：（结构被大量地用于在C对象定向）ConstructDerived()将调用ConstructFoo()，复制生成的临时Foo对象在成的超时隙Derived对象; 完成Derived对象的初始化；只是将得到的对象在返回时再次复制。添加第三层，整个事情变得完全荒谬。

2. 使用第二种方法 ConstructClass()功能无法访问正在构造的对象的地址。这使得在构造过程中无法链接对象，因为当一个对象需要向另一个对象注册自己以进行回调时就需要这样做。

最后，并不是所有structs的课程都是完全成熟的课程。有些structs有效地只是将一堆变量捆绑在一起，而对这些变量的值没有任何内部限制。typedef struct Point { int x, y; } Point;将是一个很好的例子。对于这些，使用初始化函数似乎有些过分。在这些情况下，复合文字语法可能会很方便（C99）：

Point = { .x = 7, .y = 9 };

要么

Point foo(...) {
    //other stuff

    return (Point){ .x = n, .y = n*n };
}

根据结构的内容和所使用的特定编译器，这两种方法都可能更快。一种典型的模式是，满足某些条件的结构可以在寄存器中返回。对于返回其他结构类型的函数，要求调用者为某个临时结构（通常在堆栈上）分配空间，并将其地址作为“隐藏”参数传递；如果函数的返回值直接存储到其地址没有任何外部代码保存的局部变量中，则某些编译器可能能够直接传递该变量的地址。

如果结构类型满足具有函数返回的特定实现要求的要在具有函数返回的寄存器中返回（例如，不大于一个机器字，或恰好填充两个机器字），则该结构可能比传递结构的地址快，尤其是因为将变量的地址暴露于可能保留其副本的外部代码可能会排除一些有用的优化方法。如果类型不满足此类要求，则为返回结构的函数生成的代码将类似于为接受目标指针的函数生成的代码；对于使用指针的表单，调用代码可能会更快，但是该表单放置会失去一些优化机会。

太糟糕了，C没有提供一种方法来禁止函数保留传入的指针的副本（语义类似于C ++引用），因为传递这样的受限指针将获得传递的直接性能优势指向预先存在的对象的指针，但同时避免了要求编译器将变量的地址视为“暴露”的语义开销。

支持“输出参数”样式的一个论据是它允许函数返回错误代码。

struct MyStruct {
    int x;
    char *y;
    // ...
};

int MyStruct_init(struct MyStruct *out) {
    // ...
    char *c = malloc(n);
    if (!c) {
        return -1;
    }
    out->y = c;
    return 0;  // Success!
}

考虑到一些相关的结构集，如果初始化对它们中的任何一个都可能失败，那么为了一致性起见，让所有它们都使用输出参数样式可能是值得的。

我假设您的重点是通过输出参数进行初始化而不是通过返回值进行初始化，而不是构造参数的提供方式上的差异。

请注意，第一种方法可以Foo是不透明的（尽管当前使用的方式不是这样），并且通常对于长期可维护性是理想的。例如，您可以考虑一个分配不透明Foo结构而不初始化它的函数。或者，您可能需要重新初始化Foo先前使用不同值初始化的结构。