zerglurker的C语言教程009——运算符详解（一）

标签：c++   c语言   编程   语言   教程   

在之前几节我们讲过数据类型、讲过函数、讲过代码执行顺序以及一些添加简单函数的方法。

这一节我们将着重讲讲运算符。包括运算符的含义以及优先级的概念

在C语言中，以下运算符是被公认的：

注1： reinterpret_cast<>()和static_cast<>()貌似都是强制转换，但是两者是不同的

观察下面的代码：

class A {
public:
	A(){ m_a = 1; }
	int m_a;
};

class B {
public:
	B(){ m_b = 2; }
	int m_b;
};

class C : public A, public B 
{
};

void OperatorPriority()
{
	
	C c;
	printf("%p, %p, %p\n", &c, reinterpret_cast<B*>(&c), static_cast <B*>(&c));
	B* b1 = &c, *b2 = reinterpret_cast<B*>(&c), *b3 = static_cast <B*>(&c);
	printf("%d, %d, %d\n", b1->m_b, b2->m_b, b3->m_b);
}

这是什么意思？

这说明在转换的时候reinterpret_cast<>()是无脑转换，完全不管前因后果，进行强制转换

而static_cast<>()会先尝试匹配一下，能匹配则会做出处理，否则则进行强制转换

所以m_b static_cast<>()会输出正确值，而reinterpret_cast<>()会给出一个错误值

但是为什么强制类型转换又可以正确输出m_b呢？这就涉及到c++的多态特性，以后我会讲到的。这里只讨论运算符，不做深入讲解。

注2：前缀自增/减运算 和 后缀自增/减运算

前缀自增/减 是这样的 ++变量 --变量

后缀自增/减 是这样的 变量++ 变量--

有很多资料说后缀自增/减运算 优先级高于前缀

这个说得太简单，实际情况非常复杂（也就是说这种说法完全是拍脑袋，没有实践的扯淡！）

首先，来看代码：

首先++a--;语句根本就是个语法错误！前缀和后缀运算符不能同时进行，所以也无法比较他们的优先级。

不过这不能说明网上的优先级说明是错误的，因为我们可以拿它们同级的其他运算符进行比较

注意test002函数 ！运算是和前缀自增运算同级的运算符，按理说应该是先计算后缀自增然后再计算非，

这样就应该等价于a=!(a++) 即结果应该为0 。但是为什么输出的却是1呢？

答案很复杂。上面真实的运算是这样进行：

先计算计算a++ 即0++=1 保存结果到a 然后按照a=0计算!a即 !0=1，再次保存结果到a 导致的结果就是a最后变成了1

下面是该代码的反汇编

	a = !a++;
00113EBD 8B 45 F8             mov         eax,dword ptr [a]  
00113EC0 89 85 30 FF FF FF    mov         dword ptr [ebp-0D0h],eax  
00113EC6 8B 4D F8             mov         ecx,dword ptr [a]  
00113EC9 83 C1 01             add         ecx,1  
00113ECC 89 4D F8             mov         dword ptr [a],ecx  
00113ECF 83 BD 30 FF FF FF 00 cmp         dword ptr [ebp-0D0h],0  
00113ED6 75 0C                jne         main+0B4h (0113EE4h)  
00113ED8 C7 85 2C FF FF FF 01 00 00 00 mov         dword ptr [ebp-0D4h],1  
00113EE2 EB 0A                jmp         main+0BEh (0113EEEh)  
00113EE4 C7 85 2C FF FF FF 00 00 00 00 mov         dword ptr [ebp-0D4h],0  
00113EEE 8B 95 2C FF FF FF    mov         edx,dword ptr [ebp-0D4h]  
00113EF4 89 55 F8             mov         dword ptr [a],edx

看函数test003 test004

003的计算是这样进行的：先计算a+a 即 0+0 得到0，再计算自增 即0++ 得到1 。最后进行赋值，取a++的值1

下面是实际的计算过程

00DD3E55 8B 45 F8             mov         eax,dword ptr [a]  
00DD3E58 03 45 F8             add         eax,dword ptr [a]  
00DD3E5B 89 45 F8             mov         dword ptr [a],eax  
00DD3E5E 8B 4D F8             mov         ecx,dword ptr [a]  
00DD3E61 83 C1 01             add         ecx,1  
00DD3E64 89 4D F8             mov         dword ptr [a],ecx 

这不是说明+运算符的优先级高于后缀++吗！！

004的计算是这样进行的：先计算2+a 即2+0 得到2，再计算自增，即2++，得到3

01383E89 8B 45 F8             mov         eax,dword ptr [a]  
01383E8C 83 C0 02             add         eax,2  
01383E8F 89 45 F8             mov         dword ptr [a],eax  
01383E92 8B 4D F8             mov         ecx,dword ptr [a]  
01383E95 83 C1 01             add         ecx,1  
01383E98 89 4D F8             mov         dword ptr [a],ecx 

现在我们来总结一下：

后缀运算符 和!运算符在一起的时候，后缀运算符会被屏蔽

后缀运算符和+-*/等运算符在一起的时候，先计算其他，再计算自增

现在你是不是已经彻底糊涂了？

很好，这样就对了。

因为我们现在得到一个结论：

1 那些所谓的优先级，全部是扯淡，千万不要指望优先级能够完全按照你的预想来执行

2 请用圆括弧安排好优先级——只有这个是唯一可靠的伙伴！

下一节开始我将逐个对运算符进行分析和讲解，敬请期待……

zerglurker的C语言教程009——运算符详解（一）

标签：c++   c语言   编程   语言   教程   

原文地址：http://blog.csdn.net/zerglurker/article/details/46489133