c - 用 C 返回 "string"时的奇怪行为

Question

我是 C 的菜鸟，我发现我的程序表现得很奇怪:

代码如下:

#include <stdbool.h>
#include <string.h>
#include <conio.h>
#include <stdio.h>

char * p(char arg[] , char sym[] , int i , bool rv) {
    char head[i],w[i];
    strncpy(head,arg,i); head[i] = "\0";
    int l;
    for (l = 0 ; l <= (int)(strlen(sym) / i) ; l++) {
        strncpy(w,sym+l*i,i); w[i] = "\0";
        if (strcmp(head,w) == 0) {
            if (rv) { return head; } else {
                char v[strlen(arg) - i];
                strcpy(v,arg+i);
                v[strlen(arg)-i] = "\0";
                return v;
            };
        };
    };
    return arg;
}

int main() {
    printf(p("/parameter","+-\\/",1,false));
    getch();
}

MAIN 问题是函数的返回值要么是随机生成代码的“字符串”，要么就是什么都没有。

return h;应该返回/，return v;应该返回parameter。

另一个问题是当我编译程序时没有发现错误但是一堆警告告诉函数返回局部变量的地址和赋值从指针生成整数而没有强制转换。

另一方面，return arg; 非常平静，不会给出任何错误。 (如果您不相信，请尝试更改 p("/parameter","+-\\/",1,false) 中的代码。)我做错了什么？

---

函数的使用:

p("argument_passed_to_check","symbols_accepted to_be_at_the_front","separate_for_each_i_characters","return_header_instead_of_parameter")

预期结果:

p("-argue","/\\-",1,false) 返回 argue

p("/help","me",1,false) 返回 /help

p("/help","me",1,true) 返回 (null)

p("--parameter","--++",2,false) 返回参数

p("--parameter","--++",2,true) 返回 --

---

关于我寻求帮助的总结:

• 除了return arg，其他返回部分很奇怪:return head;是随机字符； return v; 什么都不返回。怎样才能让它们达到预期的效果？

• 为什么会有这些警告？

Answer 1

1. 因为 head 被定义为 char head[i]，它的最后一个元素是 head[i-1]。尝试访问 head[i] 具有 C 标准未定义的行为。

2. 因为 w 被定义为 char w[i]，它的最后一个元素是 w[i-1]。尝试访问 w[i] 具有 C 标准未定义的行为。

3. 因为 v 被定义为 char v[strlen(arg) - i]，它的最后一个元素是 v[strlen(arg) -我 - 1]。尝试访问 v[strlen(arg) - 1] 具有 C 标准未定义的行为。

4. 由于 w 是在没有 extern 或 static 的大括号括起来的语句 block 内定义的，因此它具有自动存储持续时间与 block 关联，因此它仅在函数为 block 时存在。当 return 语句被执行时，w 不复存在(在 C 的抽象机中)。语句 return w; 试图返回指向 w 的第一个元素的指针(因为在这种用法中，数组会自动转换为指向其第一个元素的指针) .当这个return语句被执行时，指针就失效了。

5. 由于 v 是在没有 extern 或 static 的大括号括起来的语句 block 内定义的，因此它具有关联的自动存储持续时间与 block ，因此 v 仅在语句执行时存在。当return v;执行时，block执行结束，返回的指针失效。

6. head[i] 是一个字符，但是 "\0" 是一个包含一个字符的字符串，所以 head[i] = "\0"; 是不正确的分配。该字符串将转换为指向其第一个元素的指针，导致尝试将指针分配给 char。这是违反约束的情况，您的编译器应该为此发出警告。同样的问题出现在w[i] = "\0";和v[strlen(arg)-i] = "\0";中。正确的代码应该是 head[i] = '\0';(一旦 head 的大小固定为包含一个元素 head[i]).

补救措施包括:

• 将每个数组定义为足够大，以便将所有元素写入其中。
• 要返回在函数内创建的字符串，可以为它们动态分配空间(如使用 malloc)，在调用者提供的数组内创建字符串，或使用具有静态存储持续时间的数组。如果您使用第一个选项，动态创建的数组，您应该为要释放的空间做好准备(就像调用者在完成它们时将它们传递给 free 一样)。您应该避免使用具有静态存储持续时间的数组，因为它的使用有限且麻烦(例如每个定义只存在一个这样的数组，但调用者可能会多次调用一个函数，每个调用者都需要自己的单独数据) .