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 = ,b =,c;
abc(a,b,c)++; /////////////////////错误
c++; /////////////////////正确
cout<<c<<endl;
return ;
}
- 重载运算符符合逻辑
一般变量赋值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(),b(),c();
a+b = c; /////////错误
return ;
}
- 通过函数创建指向常量的指针
如果通过函数来创建常字符串,除了在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[];
p[]='a';
p[]='b';
p[]='\0';
return p;
} int main()
{
const char * p = helpFun();
p++;
cout<<p<<endl;
delete p;
return ;
}
- 满足对const成员函数的调用
这个结合例子说明比较容易,这里主要有一个原因是:const类型的对象,不能调用自身的非const成员函数,但是可以调用自己的const成员函数。例如下面的例子,b 声明为const A,12行是可以编译成功的,13行缺会错误,根本原因或许是内部 this 指针转换(不确定)。
class A {
public:
A():num() { }
void setnum() { }
void getnum() const{ }
private:
int num;
};
int main()
{
const A b;
b.getnum();
b.setnum();///////////////////////错误
return ;
}
基于上面的一个原因,下面例子便容易说明,A 类是B 类运算中产生的隐藏变量,为了调用A 类中的const 函数,B类生产A 类的函数返回类型需要加const。
class A
{
public:
A():num(){}
void setnum(){ num = ; }
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 ;
}
- 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 Test
{
public :
Test(int a):value(a){}
const int & GetValue()const
{
return value;
}
private:
const int value;
}; int main()
{
Test t();
const int &a = t.GetValue();
cout<<a<<endl;
return ;
}
引申如果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 =;}
int * GetValue()const
{
return p;
}
int getv(){return value;}
private:
int value;
int * p;
}; int main()
{
Test t();
int *a = t.GetValue();
cout<<*a<<endl;
*a = ;
cout<<t.getv()<<endl;
delete a;
return ;
}
参考资料:
http://www.docin.com/p-97354417.html
http://blog.chinaunix.net/uid-24922718-id-3480107.html
http://blog.sina.com.cn/s/blog_4366aa320100cknr.html
http://blog.csdn.net/zhjxin1800/article/details/7584375
http://www.cnblogs.com/lichkingct/archive/2009/04/21/1440848.html