操作符重载问题
让我们再仔细地看一看String类的等于操作符。第一个操作符使我们能够比较两个String类对象是否相等,第二个允许我们比较一个String 类对象是否等于一个C风格的字符串。例如
int main()
{
String flower;
if ( flower == "lily" ) // ok
// ...
else
if ( "tulip" == flower ) // 错误
// ...
}
在main()中,等于操作符的第一个用法调用了String类重载的operator==(const char*)。 但是,第二次使用等于操作符却导致了一个编译错误。问题在于,只有在左left操作数是该类类型的对象时,才会考虑使用作为类成员的重载操作符。因为这里的左操作数不是类类型,所以编译器试图找到一个内置操作符。它可以有一个C风格字符串的左操作数和一个String 类型的右操作数,但事实上并不存在这样的操作符。所以编译器为main()中第二次使用等于操作符就会产生一个错误信息。
但是,你可能会说,我们可以用类构造函数,从一个C风格字符串创建一个String类的对象,为什么编译器不能隐式地做如上的转换呢?
if ( String( "tulip" ) == flower ) // ok: 调用成员操作符
简要的答案是效率。重载的操作符并不要求两个操作数的类型一定相同。例如:
class Text
{
public:
Text( const char * = 0 );
Text( const Text & );
// 等于操作符的重载集合
bool operator==( const char * ) const;
bool operator==( const String & ) const;
bool operator==( const Text & ) const;
// ....
};
在 main()中的表达式可以重写如下:
if ( Text( "tulip" ) == flower ) // 调用 Text::operator==()
因此,为了给这个比较操作找到等于操作符,编泽器必须查着所有的类定义,以找到所 有能够把左操作数转换成类类型的构造函数。然后再为每一个类类型找到相关的重载等于操作符,看是否有一个能执行等于操作。接着,编译器还需要判断哪一个”构造函数和等于操 作符“的组合对于右操作数是最佳匹配。如果要求编译器这样做的话,那么,编译C++程序所需时间会显著增加。因此,编译器只考虑在左操作数的类中定义的成员重载操作符。
但是,声明非类成员的重载操作符也是可以的。非类成员的重载操作符对于main()中的比较而言是错误的。对于这个比较C风格字符串是左操作数。如果我们用名字空间域中声明的等于操作符,如下所示,来代替String中的成员等于操作符,则这个比较操作就会有效。
bool operator==( const String &, const String & );
bool operator==( const String &, const char * );
注意到这些全局重载操作符比成员重载操作符多了一个参数。对于成员操作符,隐式的this指针被用作隐式的第一个参数。在成员重载操作符的定义中,通过this指针可以引用左操作数flower。对于全局重载操作符,代表左操作数的参数必须被显式指定。
有了针对String类的全局重载操作符,如下表达式
flower == "lily"
将调用操作符
bool operator==( const String &, const char * );
等于操作符的第二个用法将调用哪个操作符?
"tulip" == flower
我们没有定义下列重载操作符
bool operator==( const char *, const String & );
我们需要这样做吗?我们可以这样做,但不是必需的。当一个重载操作符是一个名字空 间的函数时,对于操作符的第一个和第二个参数,即等于操作符的左和右两个操作数都会考虑转换。这意味着编译器将解释等于操作符的第二个用法如下
operator==( String("tulip") , flower );
并调用下列重载操作符执行比较
bool operator==( const String &, const String & );
好,现在你可能想知道为什么我们要提供第二个重载操作符
bool operator==( const String &, const char * );
从C风格字符串到String类的类型转换也可以被应用到右操作数上。如果我们只定义一个名字空间重载操作符,它接受两个String类的操作数,那么函数 main()也能够没有错误地通过编译
bool operator==( const String &, const String & );
我们是只提供这样一个重载操作符,还是再提供另外两个操作符?
bool operator==( const char *, const String & );
bool operator==( const String &, const char * );
这将取决于从C风格字符串到String的类型转换开销,即它会取决于应用程序中调用String构造函数引起的额外开销。如果我们预料到会频繁地使用等于操作符来比较C风格字 符串和 String 型的对象,则提供所有这三个名字空间全局操作符就不失为一个好主意。
那么,一般应该怎样决定是把一个操作符声明为类成员还是名字空间成员呢?在某些情 况下,程序员没有选择的余地。
如果一个重载操作符是类成员,那么只有当跟它一起被使用的左操作数是该类的对象时,它才会被调用。如果该操作符的左操作数必须是其他的类型,那么重载操作符必须是名字空间成员。
C++要求:赋值(=)、下标([])、调用(())和成员访问箭头(->)操作符必须被定义为类成员操作符。任何把这些操作符定义为名字空间成员的定义都会被标记为编译时刻错误。
由类设计者选择把操作符声明为一个类成员还是一个名字空间成员,如果有一个操作数是类类型,如String类的情形,那么对于对称操作符,比如等于操作符,最好定义为名字空间成员。
C++ Primer
总结:
当重载操作符是一个类成员时,只有在左left操作数是该类类型的对象时,才会考虑使用作为类成员的重载操作符;当一个重载操作符是一个名字空间的函数时,对于操作符的第一个和第二个参数,即等于操作符的左和右两个操作数都会考虑转换。如果该操作符重载函数会被频繁调用,需要考虑到类型转换的开销问题,为了防止由此引起的效率问题,可以提供多个该操作符的重载函数,以此来避免发生类型转换,从而提升效率。