对自增自减的后缀式,一般解释是:先使用再自增自减,其实这是一个错误的理解,有时候可能造成令人难以理解的错误.
自增自减的后缀形式仍然是先自增,再使用.只不过其原值以临时对象的形式返回了而已.
关于自增自减的详细论述请见我的另一篇文章(http://blog.csdn.net/islwj/archive/2006/10/19/1340371.aspx)
请看下面的例子:
#include <iostream>
using std::cout;
using std::endl;
const char *st = "c++";
void c_char()
{
int len = 0;
while(*st++)
++len;
st = st - len;
cout << len << ":" << st << endl;
}
st在内存中的分配大概是这样子的(为了分析方便,地址编址从0开始):
地址: 0 1 2 3 4 5
-------------------------
C + + 0
程序的执行结果可能令你吃惊(如果你认为后缀式自增是先使用再自增的话).
const char *st = "c++"
这一句令 st 指向字符串在内存中的首地址(废话一下:B),在这个例子中是指向地址为0的地方.接下来我们来分析while循环的执行情况:
一. 我们来分析如果是先使用再自增程序执行结果应该是怎样的:
如果 st 令 while的条件式 为真的话,那么 st 自增, len = len + 1, 否则退出while循环.
步骤 old_st while条件 st len
-----------------------------------------------
1 0 真 1 1
2 1 真 2 2
3 2 真 3 3
4 0 假
执行到第4步的时候,while条件为假,所以退出while循环, len = 3, st应该是指在地址为 3 的地方.
所以 st = st - len -> st = 3 - 3 -> st = 0. 故程序的输出应该是
3:c++
可是如果你有执行上面的程序的话,你就会发现,情况并不是这样的!那到底是哪里出错了呢?就是后缀式自增是先使用再自增这个基本假设是错的!
二. 我们再来分析一下自增是先自增再使用的情况会是怎样:
st 先自增,并返回原值,如果 原值 令 while的条件式 为真的话, len = len + 1,否则退出while循环.
步骤 st old_st while条件 len
-----------------------------------------------
1 1 0 真 1
2 2 1 真 2
3 3 2 真 3
4 4 3 假 3
执行到第4步的时候,while条件为假,所以退出while循环.此时, st 指向地址为 4 的地方,即已经逾过了字符串的尾(pass-the-end),如果有接触过STL,对逾尾指针这个概念应该是很熟悉的:B
所以 st = st - len -> st = 4 - 3 -> st = 1
故程序的输出应该是: 3:++
不过这应该不是我们想要的结果:B
想正确输出字符串,程序应该改为: st = st - len - 1;
