20200427重新排版,已经找不到原文地址了，有问题的地方挺多的，不细看了，侵权联系删除~
首先看一个例子：
int fun1()
{
cout<<"num1"<<endl;
return 1;
}
int fun2()
{
cout<<"num2"<<endl;
return 2;
}
int main()
{
cout<<fun1()<<" "<<fun2()<<endl;
return 0;
}输出结果是
num2
num1
1 2
为什么呢？为什么不是num11num22呢？这里涉及到cout输出流的执行顺序问题。
cout的输出顺序有如下规律：
- 计算顺序：自右至左
- 输出顺序：自左至右
cout作为输出流，有一个缓冲区，先从右往左将输出读入缓冲区，在从缓冲区中读出（类似堆栈）
假设 a = 1; b = 2; c = 3; cout<<a<<b<<c<<endl;
缓冲区：|3|2|1|<- (把“<-”看作是指针)
输出： |3|2|<- (输出 1)
|3|<- (输出 2)
|<- (输出 3)
结果就是123.
在一开始的例子中，从右往左读入，先执行fun2（），输出num2，并将返回值2保存进缓冲区，再执行fun1（），输出num1，并将返回值1保存进缓冲区。最后开始读取缓冲区中的内容，输出1 2。
c/c++在函数调用时，默认都是右序入栈，这肯定是没有错的。如果不是右序入栈的函数，必须以其它关键字指明，比如pascal关键字。但是，这里不光涉及到参数的入栈顺序，还涉及到以表达式做为函数参数时，表达式的求值顺序。
看这个例子：
如果有这样一个函数：
int max(int a, int b); 我这样调用它：
int x = 10;
int y = 6;
int z = max(x, y);生成代码时，必然是y先入栈，然后x入栈，再call max。这就是右序入栈，c/c++的默认方式。但是，如果在调用时，以表达式做为参数，又会怎么样呢？看下面
int z = max(x - y, x + y);要知道，在调用max的时候，不可能把x + y这样的整个表达式入栈，必须求出表达式的值，然后将表达式的值做为函数调用的参数入栈。可是，这里有两个表达式：x-y 和 x+y，那么先应该求x-y的值，还是先求出x+y的值？
c/c++语言都没有规定这个顺序，编译器实现可以自己定义。也就是说，一个编译器，可以先求出x+y的值，再求x-y的值，然后将x+y的值入栈，然后再将x-y的值入栈，调用max。也可以先求出x-y的值，再求x+y的值，然后将x+y值入栈，然后再将x-y的值入栈，调用max。 参数求值顺序不定，但是参数入栈顺序确定。
看下面的例子：
cout << "ljgajagj";这相当于operator << (cout, "ljgajagj"); 这两句是完全相同的，只是不同的写法而已。在调用时，"ljgajagj"的地址先入栈，然后cout入栈，然后调用 operator <<，最终的结果就是输出字符串"ljgajagj"。
看下面的例子：
cout<<" ljgajagj"<<endl;这相当于 operator<<( operator << (cout, "ljgajagj") , endl) ; 红色部分，以一个函数调用的形式，做为最外面的operator <<()的第一个参数。最外面的operator<< 有两个参数，其中一个是表达式，所以先要对此表达式求值， 也就是先调用里面的operator << (cout, "ljgajagj") 部分，输出字符串，然后将endl入栈，然后将operator << (cout, "ljgajagj") 的返回值，也就是一个cout对象入栈，然后调用外面的operator<<()。这样，肯定是先输出字符串，而不会先输出endl。
下面看上面提出的问题，因为最后的endl不影响结果，所以，为了方便，忽略最后的endl，简化成下面的形式：
cout<<f1()<<"\n"<<f2();这个语句相当于：
operator << ( f1(), operator << (cout, "\n") , f2() );对于最外面的operator <<()，有三个参数，且有三个参数都是表达式，所以要分别对三个表达式求值，可是对三个表达式的求值顺序是不一定的。
如果是左序：
- 调用f1()求值，输出字符串"In f1() 0:"，
- 调用operator << (cout, "\n")求值，得到cout对象
- 调用f2()求值，输出字符串"In f2() 1:"
- 将f2()返回值、cout对象、f1()返回值入栈
- 调用最外面的operator<<()输出
如果是右序：
- 调用f2()求值，输出字符串"In f2() 0:"，
- 调用operator << (cout, "\n")求值，得到cout对象
- 调用f1()求值，输出字符串"In f2() 1:"
- 将f2()返回值、cout对象、f1()返回值入栈
- 调用最外面的operator<<()输出
2、故总结如下：
a cout和printf 计算表达式的先后是未定义行为；从左到右 从右到左 都合法， 先中间再两边也完全可以。先计算表达式的值然后压栈，然后再输出，所以不同的编译器如vc和gcc的表现行为是不一样的。
int main()
{
int i=2;
cout<<i++<<++i<<i<<i++<<endl;
cout<<i<<endl;
}对于如上程序 不同的编译器结果是不一样的，所以C++中有两种"未定义行为".
- 一种叫 "undefined".比如未初始化局部变量的值. 一般来说,这种行为的结果是未知的.
- 另一种叫 "unspecified".比如参数的计算顺序. 这种行为的结果通常是可预期的.但其结果是和实现相关的.
楼主的问题就是第二种.这种东西看似有些规律.但却是完全不通用的东西...不过似乎考试却经常考第二种东西...呵呵
cout<<i++<<++i<<i<<i++<<endl;写这样的代码会被公司辞退的。看看编译出的来的汇编代码就知道是如何压栈的了。真相都在这里
// C/C++ code
static char sprint_buf[1024];
int printf(char *fmt, ...)
{
va_list args;
int n;
va_start(args, fmt);
n = vsprintf(sprint_buf, fmt, args);
va_end(args);
write(stdout, sprint_buf, n);
return n;
}
int vsprintf(char *buf, const char *fmt, va_list args)
{
int len;
unsigned long num;
int i, base;
char *str;
char *s;
int flags; // Flags to number()
int field_width; // Width of output field
int precision; // Min. # of digits for integers;
//max number of chars for from string
int qualifier; // 'h', 'l', or 'L' for integer fields
for (str = buf; *fmt; fmt++)
{
if (*fmt != '%')
{
*str++ = *fmt;
continue;
}
// Process flags
flags = 0;
repeat:
fmt++; // This also skips first '%'
switch (*fmt)
{
case '-': flags |= LEFT; goto repeat;
case '+': flags |= PLUS; goto repeat;
case ' ': flags |= SPACE; goto repeat;
case '#': flags |= SPECIAL; goto repeat;
case '0': flags |= ZEROPAD; goto repeat;
}
// Get field width
field_width = -1;
if (is_digit(*fmt))
field_width = skip_atoi(&fmt);
else if (*fmt == '*')
{
fmt++;
field_width = va_arg(args, int);
if (field_width < 0)
{
field_width = -field_width;
flags |= LEFT;
}
}
// Get the precision
precision = -1;
if (*fmt == '.')
{
++fmt;
if (is_digit(*fmt))
precision = skip_atoi(&fmt);
else if (*fmt == '*')
{
++fmt;
precision = va_arg(args, int);
}
if (precision < 0) precision = 0;
}
// Get the conversion qualifier
qualifier = -1;
if (*fmt == 'h' || *fmt == 'l' || *fmt == 'L')
{
qualifier = *fmt;
fmt++;
}
// Default base
base = 10;
switch (*fmt)
{
case 'c':
if (!(flags & LEFT)) while (--field_width > 0) *str++ = ' ';
*str++ = (unsigned char) va_arg(args, int);
while (--field_width > 0) *str++ = ' ';
continue;
case 's':
s = va_arg(args, char *);
if (!s) s = "<NULL>";
len = strnlen(s, precision);
if (!(flags & LEFT)) while (len < field_width--) *str++ = ' ';
for (i = 0; i < len; ++i) *str++ = *s++;
while (len < field_width--) *str++ = ' ';
continue;
case 'p':
if (field_width == -1){
field_width = 2 * sizeof(void *);
flags |= ZEROPAD;
}
str = number(str, (unsigned long) va_arg(args, void *), 16, field_width, precision, flags);
continue;
case 'n':
if (qualifier == 'l'){
long *ip = va_arg(args, long *);
*ip = (str - buf);
} else{
int *ip = va_arg(args, int *);
*ip = (str - buf);
}
continue;
case 'A':
flags |= LARGE;
case 'a':
if (qualifier == 'l')
str = eaddr(str, va_arg(args, unsigned char *), field_width, precision, flags);
else
str = iaddr(str, va_arg(args, unsigned char *), field_width, precision, flags);
continue;
// Integer number formats - set up the flags and "break"
case 'o':
base = 8;
break;
case 'X':
flags |= LARGE;
case 'x':
base = 16;
break;
case 'd':
case 'i':
flags |= SIGN;
case 'u':
break;
case 'E':
case 'G':
case 'e':
case 'f':
case 'g':
str = flt(str, va_arg(args, double), field_width, precision, *fmt, flags | SIGN);
continue;
default:
if (*fmt != '%') *str++ = '%';
if (*fmt)
*str++ = *fmt;
else
--fmt;
continue;
}
if (qualifier == 'l')
num = va_arg(args, unsigned long);
else if (qualifier == 'h'){
if (flags & SIGN)
num = va_arg(args, short);
else
num = va_arg(args, unsigned short);
}
else if (flags & SIGN)
num = va_arg(args, int);
else
num = va_arg(args, unsigned int);
str = number(str, num, base, field_width, precision, flags);
}
*str = '\0';
return str - buf;
}
351
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
