下面的代码运行后输出结果为什么都是one one

褚362525

        static const char *msg[] = {"one","two","three","four","five"};
        char *get(int i)
        {
                static char buf[20];
                strcpy(buf, msg[i]);
                return buf;
        }       
        int main()
        {
                printf("%s %s\n", get(0), get(1));
                return 0;       
        }

folklore

static char buf[20];

solu

folklore 发表于 2013-10-28 19:32
static char buf[20];

你的解释是错的。

myworkstation

回复 3# solu


    2楼标记出来了，由于使用了static（所以这个函数是不可重入的），使得get函数做为实参在传递给printf时变量副作用没有结束，而这将导致行为未定义（在函数调用后并传递实参前有一个序列点），标准规定任何变量在两个序列点之间多于一次修改的结果是未定义的。

zxb167

1. #include <stdio.h>
   
2. #include <string.h>
   
3. 
   
4. static const char *msg[] = {"one","two","three","four","five"};
   
5. char *get(int i)
   
6. {
   
7.         if (1 == i)
   
8.         {
   
9.                 printf("i=1\n");
   
10.         }
    
11.         else
    
12.         {
    
13.                 printf("i=0\n");
    
14.         }
    
15.         static char buf[20];
    
16.         strcpy(buf, msg[i]);
    
17.         return buf;
    
18. }
    
19. 
    
20. int main()
    
21. {
    
22.         printf("%s %s\n", get(1), get(0));
    
23.         return 0;
    
24. }

复制代码

输出的结果是：
i=0
i=1
two two
应该是printf()从后向前执行，最终buf指向的内容为 two\0 ，所以输出的都是two

solu

myworkstation 发表于 2013-10-28 23:17
回复 3# solu

未定义行为是什么意思？ 以这个例子来说， 是指两个get() 的 输出是一样的吧？

下面这样的话， 为什么输出是0 1.

1. 
   
2. #include <stdio.h>
   
3. #include <string.h>
   
4. static const char *msg[] = {"one","two","three","four","five"};
   
5. int get(int i)
   
6. {
   
7.         static int ret;
   
8.         ret = i;
   
9.         return ret;
   
10. }
    
11. int main()
    
12. {
    
13.     printf("%d %d\n", get(0), get(1));
    
14.     return 0;
    
15. }

复制代码

bottles

回复 4# myworkstation


    这个跟序列点有关吗？我觉得就是因为printf函数调用参数的先后顺序的关系导致的这个问题。这个printf里面，已经调用了get，2个get之间应该有2个序列点，应该是不影响static变量的赋值阿？

C++2003标准中定义的序列点

   ·完整声明之后

   ·完整表达式之后

   ·进入函数时与退出函数时

   ·|| && ？： ， 四个操作符的第一个操作数之后

第三条讲述了get调用前和调用后也算也个序列点的

zhaohongjian000

2楼4楼解释的很好，某个喷货就不去搭理了。

由于是static的char数组，所以printf后两个参数是同一个地址，所以最后的结果要么是两个one，要么是两个two。两次get调用的顺序是不能保证的，所以行为是未定义的。

myworkstation

回复 7# bottles


    C标准中有一句话非常明确的指出了这个问题：If an attempt is made to modify the result of a function call or to access it after the next sequence point, the behavior is undefined.

myworkstation

回复 6# solu


    因为你改成了非指针的标量类型，两个函数返回值不再是相互依赖的（但是计算过程有依赖），尽管如此你的这个代码不一定在所有编译器上运行的结果都相同，另外因为CPU的乱序执行还是有可能产生其它结果。