如何更改通过引用传递给函数的字符串的值？

Question

在过去的一个小时里，我一直在极度沮丧地尝试，但无论我尝试什么或查找什么，我都找不到任何特定于 CString 的内容。

所以我有一个我正在处理的库的函数是这样的（从中删除了不相关的位）

char *String_set(char **string_one, char *string_two){
 // Tests pointers to check if NULL, return NULL if one is
 free(*string_one); // Free the pointer so as to not cause a leak.
 *string_one = malloc(strlen(string_two) + 1); // Allocate string_one
 memset(*string_one, 0, strlen(string_two) + 1); // Cleans the string
 strcpy(*string_one, string_two); // Copy string_two into string_one by reference
 return *string_one;
}

现在，我也试过不释放 *[=32=]，而是重新分配指针以容纳 string_two，然后清除它（使用 memset），但两者具有相同的结果。 A) 如果传递的是字符串文字，则出现分段错误，或者 B) 如果传递的是可变字符串，则无变化。

（对我来说）最重要的是我向它添加了很多打印语句来监视函数的运行情况，如果有的话，当我得到这样的输出时它让我更加困惑...... .

//Output before function is called. It outputs info about the string before function
String's value:  
// Initialized it to "", so it's meant to be empty.
String's Memory Address: 0x51dd810
// Inside of function
String's value:  
// Same value
String's Memory Address: 0x51dd810 
// Same memory address
String_Two's Value: "Hello World" 
// What I am attempting to replace it with.
// After operations in function, before return statement
Final String's Value: "Hello World" 
// Gets set
Final String's memory address: 0x51dd950 
// Different address
// After return
String's value:  
// Nothing changed. Even after freeing the contents at memory address?
String's memory address: 0x51dd810 
// Still same memory address ?

然后它没有通过我的单元测试，因为值没有按预期更改。我可以得到一个关于为什么的答案吗？现在，我是 C 的新手，但我认为在堆上分配的任何东西在范围内都是全局的，因此可以在任何地方访问。也可以在任何地方修改。为什么，我的更改根本没有通过？为什么字符串的值在函数中改变了，却在它的return处回滚？我知道 C 是按值传递的，但我认为按值传递引用是可行的。如何正确更改传递给函数的字符串的值，我的代码有什么问题？

提前致谢。

编辑：Gist 应该运行可用的代码（删除 REVERSE、LOWERCASE、UPPERCASE 行）

Edit2：在手机上更新了 GIST，可能还有其他错误，匆忙发布。

Edit3：Ideone 的...奇怪的工作构建。奇怪的是，这也适用于 Windows 和 Linux 虚拟机，所以问题可能并不具体存在......老实说，我无话可说（无视运行时间错误）。我试着编译我的项目和运行一遍又一遍的测试，ideone 中的代码是逐字逐句的（虽然我运行没有运行时间，奇怪的是).

Answer 1

这不是一个完整的答案，我不确定这是否会成为代码审查，这实际上是关于 SO 的题外话。（如果您发现任何其他缺陷，请随时编辑此答案。）

String_Utils_concat() 没有清晰的所有权语义。如果 SELECTED(parameter, MODIFY)，则它 returns string_one（在测试中是文字），否则 temp（分配）。除非您在调用时记住 parameter 的值，否则您无法安全地释放结果。
代码很复杂。考虑使用 strdup 和 asprintf.
您在平台上看到的差异可能是由于不同的内存管理方案和未定义行为的不同行为。
parameter 的深度耦合是所有问题的根源。只需将代码从里到外翻转，代码就可以变得不那么复杂。无法提供片段，因为所有这些 string_xxx 和参数值，以及整个目标，对我来说都是胡说八道。

如果您需要具有 duplicate/concat 功能的字符串库，那么：

char *strdup(const char *s); // already in libc
char *s; asprintf(&s, "%s%s", s1, s2); // already in libc

...在针对这种情况进行积极清理之后，您的功能变得微不足道：

// String_Utils_copy() eliminated as strdup() ('parameter' was not used)

char *
String_Utils_set(char **string_one, char *string_two)
{
    free(*string_one);
    return (*string_one = strdup(string_two));
}

char *
String_Utils_concat(char *string_one, char *string_two, int parameter)
{
    char *temp; asprintf(&temp, "%s%s", string_one, string_two);

    if (SELECTED(parameter, MODIFY)) {
        String_Utils_set(&string_one, temp, NONE);
        // i.e. 1) free(string_one);
        //         ^ this probably frees literal
        //      2) string_one = strdup(temp);

        free(temp);
        return string_one;

        // (what was the point at all?)
        // entire thing is same as "return temp" except for freeing literal
    }

    return temp;
}

我希望现在有一些线索...

快速编辑：因为您已经无缘无故地在这里和那里分配和复制，我假设您没有处于非常紧密的循环中，也没有受到其他限制。那么所有接口都应该坚持 widely-default "get const char *, return char * that should be freed" 规则。即

char *String_Utils_set(...); // throw it away
char *String_Utils_concat(const char *s1, const char *s2);
char *strdup(const char *s); // already in libc

char *s = String_Utils_concat("Hello, ", "World!");
printf("%s\n", s);
free(s); s = NULL;

char *s = strdup("Hello!");
printf("%s\n", s);
free(s); s = NULL;

有了这个干净和适当的界面，您可以就地完成 parameter 所指的任何事情，没有任何麻烦。

如何更改通过引用传递给函数的字符串的值？

How do I change the value of a string passed by reference to a function?

c

c-strings