
本文共 3173 字,大约阅读时间需要 10 分钟。
c++ 函数的返回类型,包括const 什么时候起作用呢?
函数返回值不想其立即修改的。
例子如下,这是一个简单的避免产生隐形返回变量的方法,abc 的函数返回是引用,main函数中第10行,++ 操作是基于 const int & 类型,所以会出错,但以后对改引用的操作不会受到const 约束。
这样的好处是避免了函数返回值与操作符的逻辑错误结合,例如下面的例子中函数返回的++,对于main 函数是不直观的,进一步的应用是在操作符重载方面,见下一情况说明。
const int & abc(int a,int b,int &re){ re = a+b; return re;}int main(){ int a = 1,b =2,c; abc(a,b,c)++; /错误 c++; /正确 cout<<
重载运算符符合逻辑
一般变量赋值a=b=c,这是没有问题的,但是(a=b)=c 编译会出错,这是内置操作符的判断,如果对 = 操作符重载了,为了避免这样的逻辑错误,需要在返回类型上加上const 约束,下面例子中A类重载了运算符 +,如果第6行中返回类型没有const 约束,那么15行编译会通过,场景如果是:if(a+b==c) 误写为 if(a+b=c)。
+ 运算符重载加const 约束 对 a+b+c 这样的运算没有影响,因为a+b 运算的结果是const ,但对其只是只读操作,会创建一个新的 A 类返回。
class A{public: int a; A(int b):a(b){} friend const A operator +(const A& lft,const A& rgt) { return A(lft.a + rgt.a); }};int main(){ A a(1),b(3),c(7); a+b = c; /错误 return 0;}
通过函数创建指向常量的指针
如果通过函数来创建常字符串,除了在main 函数中约束之外,也可以在函数返回类型中约束,第一行中左边的const 约束了返回的是常字符串的指针索引,因为它的存在12行必须声明为 const char *p,如果第一行左边const 不存在,那么12行可以加可以不加const,这样约束常字符串的效果只能在main 中反映,不能很好的表达调用函数的功能。
同时第一行中的第二个const 加了也无效,其约束的是一个由 char * p 转变为 char * const 的隐藏指针,该隐藏指针的指向值赋予给main 函数中的p,所以后者可以修改指向。(这时我的理解不确定正确与否)
const char * const helpFun(){ char * p =new char[3]; p[0]='a'; p[1]='b'; p[2]='\0'; return p;}int main(){ const char * p = helpFun(); p++; cout<<
满足对const成员函数的调用
这个结合例子说明比较容易,这里主要有一个原因是:const类型的对象,不能调用自身的非const成员函数,但是可以调用自己的const成员函数。例如下面的例子,b 声明为const A,12行是可以编译成功的,13行缺会错误,根本原因或许是内部 this 指针转换(不确定)。
class A {public: A():num(2) { } void setnum() { } void getnum() const{ }private: int num;};int main(){ const A b; b.getnum(); b.setnum();///错误 return 0;}
基于上面的一个原因,下面例子便容易说明,A 类是B 类运算中产生的隐藏变量,为了调用A 类中的const 函数,B类生产A 类的函数返回类型需要加const。
class A{public: A():num(2){} void setnum(){ num = 10; } void getnum() const{ printf("%d\\n",num); }private: int num;};class B{public: const A* get() { A *p = new A(); return p; }};int main(){ B b; b.get()->getnum(); b.get()->setnum(); return 0;}
const 成员函数的返回类型是引用时候,需要加const 约束
int fun() const;int & fun() const;
成员函数中上面是合法的,下面缺不合法,具体例子如下,对于第5行 函数返回类型中的const 不能省略,不管第10行是否有const,这应该是内部value 对象类型的转换,GetValue 函数中的value 被转换成了 const int(第10行没有const 也会转换),但return 的如果是 int & 类型便出现了 const int -> int & 这种类型转换,这是禁止的,所以返回引用时必须加const,总结来说,如果GetValue 是const函数且返回类型是引用,那么返回类型中的const 和16行的const 不能省略。
class A{public: A():num(2){} void setnum(){ num = 10; } void getnum() const{ printf("%d\\n",num); }private: int num;};class B{public: const A* get() { A *p = new A(); return p; }};int main(){ B b; b.get()->getnum(); b.get()->setnum(); return 0;}
引申如果const 成员函数返回的值 指针呢?这与返回int 类型是一样是赋值给接受对象,而引用因为没有了复制所以必须有const,例如下面代码可以编译运行,同时发现绕开了类的private约束。第6行返回类型加const,其实便是第三种情况。如果第13行 是 const int * p,那么情况便不一样了,第6行和第19行都需要加const。
class Test{public : Test(int a):value(a){ p = &value; } void setValue(){value =10;} int * GetValue()const { return p; } int getv(){return value;}private: int value; int * p;};int main(){ Test t(3); int *a = t.GetValue(); cout<<*a<
发表评论
最新留言
关于作者
