大家帮我看看这个C程序

cozo

[PHP]
#include <stdio.h>

void rev(char* s, int ln, char* sr){
    sr += ln-1;
    for(;*s;s++,sr--) *sr=*s;
    sr[ln] = '\\0';
}
int main(){
    char *s="abcdefghijklmnopqrstuvwxyz";
    ln = strlen(s);
    char sr[ln+1];
    rev(s,ln,sr);
    printf("%s\n",sr);
}
[/PHP]
程序很简单，将字符串倒置，但是这个程序会丢掉第一个字符"a"。
如果把sr[ln]='\0'改成sr[ln+1]='\0'就没事了。但是我的sr的长度不是只有ln+1吗？sr[ln+1]为什么不越界？

fingster

sr+=ln;

??0?ln??ln+1?????

cozo

不对，sr是指向这个数组的第一个位置，如果加上ln，也就是26，那就成了sr[26]了，就成了最后一个位置，这里应该是用来存放结束字符NULL的。

kj501

逻辑错误。把rev函数中这一句改成：

1. 
   
2.     sr[ln+ 1] = '\0';
   

复制代码

顺便哆嗦一句，楼主的程序有一些问题，如：
[php]
    ln = strlen(s);
    char sr[ln+1];
[/php]
数组的大小是静态的，如果ln是由s串来动态确定大小，程序很容易出错。应该写成这样：
[php]
    int ln = strlen(s);
    char* sr = (char *)malloc(ln + 1);
[/php]

cozo

thanks，能不能帮我解释一下我原来的问题。
我的数组不是只有ln+1个元素吗？为什么用sr[ln+1]来访问？这不是越界了吗？
另外，我的ln只有一次赋值，这时候它应该相当于一个常量，用
char sr[ln+1]
应该是固定分配内存的。这时候跟malloc有区别吗？

kj501

晕？！！真是不知道怎么对你说，你自己好好看看这段代码：

1. 
   
2. void rev(char* s, int ln, char* sr){
   
3.     sr += ln-1;
   
4.     for(;*s;s++,sr--) *sr=*s;
   
5.     sr[ln] = '\0';
   
6. }
   

复制代码

你的sr早就被改变了，你还能把它当作数组的首地址使用吗？
改成这样就很清楚啦：

1. 
   
2. void rev(char* s, int ln, char* sr){
   
3.         char *sp=sr;
   
4.     sr += ln-1;
   
5.     for(;*s;s++,sr--) *sr=*s;
   
6.     sp[ln] = '\0';
   
7. }
   

复制代码

kj501

最初由 cozo 发表

另外，我的ln只有一次赋值，这时候它应该相当于一个常量，用
char sr[ln+1]
应该是固定分配内存的。这时候跟malloc有区别吗？

相当于常量并不等于是常量。你这个ln是随着strlen()函数的返回值改变的，如果你的字符串长度改变，ln的值也会改变。而常量在初始化后是不会被改变了。

cozo

我不会在一个文件里两次调用这个赋值的。呵呵。
谢谢kj501，终于明白啦。

Linux_Lyb

感谢版主的热心回答,谢谢!~