点运算符和箭头运算符都可以用来访问成员,其中,点运算符获取该类对象的一个成员:箭头运算符与点运算符有关,表达式p->mem等价于(*p).mem:
例子如下:
#include<iostream>
using namespace std;
int main()
{
string s1 = "a string", * p = &s1;
auto n = s1.size();
cout << typeid(n).name() << " " << n<<endl;
n = (*p).size();
cout << typeid(n).name() << " " << n << endl;
n = p->size();
cout << typeid(n).name() << " " << n << endl;
return 0;
}
输出的结果如下:
可以看出三个都是等价的。
因为解引用运算符的优先级低于点运算符,所以执行解引用的运算的子表达式两端必须加上括号。如果没有括号,代码的含义就大不相同了。
因为*p.size()实际上就是*(p.size()),而p是为一个指针,它不包含任何的成员函数,所以上述的语句无法实现。
箭头运算符作用于一个指针类型的运算对象,结果是一个左值。点运算符分成两种情况:如果成员所属的对象是左值,那么结果是左值;反之,如果成员所属的对象是右值,那么结果就是右值。
再总结一遍:(.)点运算符的优先级大于(*)解引用运算符,(++、–)递增运算符和递减运算符也大于(*)解引用运算符。所以下面的这一系列运算就很有特点:
假设iter为vector<string>::iterator,那么分析下面的值;
*iter++//1
(*iter)++//2
*iter.empty()//3
iter->empty()//4
++*iter//5
iter+±>empty()//6
- 正确的,先运行iter++,后面是*iter
- 错误的,因为去完值后*iter是一个string类型,++需要的是整型。
- 错误的,先运行iter.empty(),但是iter是一个迭代器,也相当于是一个指针,所以它本身不是对象,需要取值之后才是对象。
- 正确的
- 错误的,++形容后面的(iter),后面的iter是一个string类型的数据,就会导致类型不一致。
- 正确的,等效于iter->empty();iter++;