C语言实现字符串反转时如何从函数返回不定长字符串

你的代码有4个核心问题，导致无法正常输出结果：

• 语法不兼容：变长数组（VLA，即长度为运行时变量的数组）不能用static修饰。static修饰的局部变量内存是编译阶段就确定分配的，而变长数组长度需要运行时根据传入字符串长度计算，二者冲突，编译阶段就会报错。
• 反转逻辑错误：循环初始i=0时，len(string)-i刚好是字符串末尾'\0'结束符的索引，第一个赋值就把结束符放到了反转串的起始位置；同时循环结束后没有手动给反转串追加'\0'，printf用%s输出时会越界读取栈内存，出现乱码。
• 字符串初始化越界：字符串字面量"abcde"包含5个可见字符+1个隐含的'\0'结束符，总占6字节，你定义的char a[5]空间不足，会直接截断结束符，传入reverse函数的本身就不是合法的C字符串。
• 缺少必要头文件：使用printf函数却没有引入<stdio.h>头文件，会触发隐式声明的编译警告。

C语言从函数返回处理后的字符串，常用两种安全的实现方式，不建议用static局部数组的写法——这种写法多次调用reverse时会覆盖同一块内存，很容易出隐蔽bug。

方式1：由调用者传入结果缓冲区（推荐） #

这种方式不需要动态分配内存，也没有静态变量的覆盖问题，是C标准库函数常用的设计思路（比如strcpy、sprintf都是类似逻辑）：

#include <stdio.h>

int str_len(char string[]) {
    int i = 0;
    while (string[i] != '\0') {
        i++;
    }
    return i;
}

/**
 * @param string 待反转的输入字符串
 * @param output 存储反转结果的缓冲区，需保证空间足够容纳输入字符串（含结束符）
 * @return 反转后的字符串指针，与output指向同一块地址
 */
char* reverse(char string[], char output[]) {
    int length = str_len(string);
    for (int i = 0; i < length; i++) {
        output[i] = string[length - 1 - i];
    }
    output[length] = '\0'; // 必须手动追加字符串结束符
    return output;
}

int main(void) {
    char a[] = "abcde"; // 不手动指定数组长度，编译器自动计算包含'\0'的所需空间
    char reversed_buf[sizeof(a)]; // 分配和原字符串等大的缓冲区足够存储结果
    printf("%s", reverse(a, reversed_buf));
    return 0;
}

方式2：函数内动态分配内存返回 #

这种方式不需要调用者提前准备缓冲区，但要注意使用完后必须手动释放内存，否则会造成内存泄漏：

#include <stdio.h>
#include <stdlib.h> // 引入内存分配函数malloc、释放函数free的声明

int str_len(char string[]) {
    int i = 0;
    while (string[i] != '\0') {
        i++;
    }
    return i;
}

char* reverse(char string[]) {
    int length = str_len(string);
    // 多分配1字节用于存储'\0'结束符
    char* reversedString = (char*)malloc(length + 1);
    if (reversedString == NULL) { // 检查内存分配是否成功（内存不足时会分配失败返回NULL）
        return NULL;
    }
    for (int i = 0; i < length; i++) {
        reversedString[i] = string[length - 1 - i];
    }
    reversedString[length] = '\0';
    return reversedString;
}

int main(void) {
    char a[] = "abcde";
    char* res = reverse(a);
    if (res != NULL) {
        printf("%s", res);
        free(res); // 释放动态分配的内存，避免泄漏
    }
    return 0;
}

两种实现运行后都会正确输出edcba。

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