返回对象
当成员函数或独立的函数返回对象时,有几种返回方式可选择。可以返回指向对象的引用,指向对象的const引用或const对象。
一、返回指向const对象的引用
const引用能提高效率,但对于何时可以采用这种方式存在一些限制。若函数返回(通过调用对象的方法或将对象作为参数)传递给它的对象,可以通过返回引用来提高其效率。
例如:编写函数Max(),返回其中较大的数:
Vector force1(50,60);
Vector force2(10,70);
Vector max;
max=Max(force1,force2);
下面两种实现都可以的:
//1
Vector Max(cosnt Vector & v1,const Vector & v2)
{
if(v1.magval()>v2.magval())
return v1;
else
return v2;
}
//2
const Vector & Max(const Vector & v1,const Vector & v2)
{
if(v1.magval()>v2.magval())
return v1;
else
return v2;
}
注:
- 返回对象将调用复制构造函数,而返回引用不会。因此第二个效率高。
- 引用指向的对象应该在调用函数执行时存在。
- v1和v2都被声明为const引用,因此返回类型必须为const。
二、返回指向非const对象的引用
两种常见的返回非const对象情形是:
-
重载赋值运算符;
-
重载与cout一起使用的<<运算符。
-
前者为提高效率,后者必须这样做。
//operator=()的返回值用于连续赋值:
String s1("Good stuff");
String s2 s3;
s3=s2=s1;
s2.operator=()
的返回值被赋给s3,为此,返回String对象或String对象的引用都是可行的。- 通过使用引用,可避免该函数调用String的复制构造函数来创建一个新的String对象。
- 这个例子中,返回类型不是const,因为方法
operator=()
返回一个指向s2的引用,可以对其进行修改。
//operator<<()的返回值用于串接输出;
string s1("Good stuff");
cout<<s1<<"is coming!";
//operator<<(cout,s1)的返回值成为用于显示字符串“is coming”的对象。
//返回类型必须是ostream &,而不是仅仅ostream。
//如果是,将调用ostream类的复制构造函数,而ostream没有公有的复制构造函数。
三、返回对象
- 若被返回的对象是被调用函数中的局部变量,则不应按引用方式返回它。
- 因为在被调用函数执行完毕时,局部对象将调用其析构函数。
- 因此,当回到调用函数,引用指向的对象将不再存在。
- 在这种情况下,应返回对象而不是引用,通常,被重载的算术运算符属于这一类。
Vector force1(50,60);
Vector force2(10,70);
Vector net;
net=force1+force2;
//返回的不是force1,也不是force2,他两应该不变,因此,返回值不能是指向在调用函数中已经存在的对象的引用。
在Vector::operator+()
中得到和被存储在一个新的临时对象中,该函数也不返回指向该临时对象的引用,而应该返回实际的Vector对象,而不是引用:
Vector Vector::operator+(const Vector & b)const
{
return Vector(x+b.x,y+b.y);
}
- 这时存在调用复制构造函数来创建返回的对象的开销,是无法避免的。
- 构造函数调用
Vector(x+b.x,y+b.y)
创建一个方法operator+()
能够访问的对象; - 而返回语句引发的复制构造函数的隐式调用创建一个调用程序能够访问的对象。
四、返回const对象
前面的Vector::operator+()
定义一个奇怪的属性,它旨在让你使用下面方式使用它:
//1
net=force1+force2;//该临时对象被赋给net
//然而,这样定义也允许这样使用它:
//net被赋给该临时对象,最后,使用完临时对象后,将把它丢弃:
//2
force1+force2=net;
//3
cout<<(force1+force2=net).magval<<endl;
-
代码之所以可行,是因为复制构造函数将创建一个临时对象来表示返回值。
-
因此,前面的代码中,表达式
force1+force2
的结果为一个临时对象。 -
若担心这种行为可能引发的误用和滥用。可以将返回类型声明为
const Vector
。 -
若
Vector::operator+()
的返回类型被声明为const Vector
,则语句1仍然合法,语句2,3非法。- 若方法或函数要返回局部对象,则应返回对象。而不是指向对象的引用。这时,将使用复制构造函数来生成返回对象。
- 若方法或函数要返回一个没有公有复制构造函数的类(如ostream类)的对象,必须返回一个指向这种对象的引用。
- 有些方法和对象(如重载的赋值运算符)可以返回对象,也可以返回指向对象的引用。
五、使用指向对象的指针
C++程序经常使用指向对象的指针,前面介绍使用数组索引值来跟踪最短的字符串和按字母顺序排在最前面的字符串。也可以使用指针指向这些类别的开始位置,下面程序使用两个指向String的指针实现此方法。
#include <iostream>
#include <cstring>
#include<cstdlib>
#include<ctime>
using namespace std;
int String::num_strings = 0;
const int ArSize = 10;
const int MaxLen = 81;
class String
{
private:
char* str;
int len;
static int num_strings;
static const int CINLIM = 80;
public:
String(const char* s);
String();
String(const String&);
~String();
int length()const {
return len; }
String& operator =(const String&);
String& operator =(const char*);
char& operator [](int i);
const char&