运算符重载的特征标顺序

自己脑洞了一道面试题[smile][smile][smile]：

函数的特征标有没有顺序关系？

答案是有的！

请看下面这个例子：

//declaration

friend String & operator+(const char * schar, String & st);

//defination

String & operator+(const char * schar, String & st)

{

    char * tempString = new char[strlen(st.str) + strlen(schar) + 1];

    strcpy(tempString, schar);

    strcat(tempString, st.str);

    String * temp = new String(tempString);

    delete [] tempString;

    return *temp;

}

//application

String s1("ZJS");

String s2;

s2 = "My name is " + s1;

如果试一下在申明和定义中交换两个特征标的顺序，那将编译不通过。

为什么呢？

因为这是友元函数运算符重载，不同于普通的函数，在调用是不是用标准的函数调用格式：function(argument)，而是用运算符调用（此处为："My name is " + s1），这样的调用方式，是由编译器来帮助你完成参数匹配的工作的，如果交换参数顺序，编译器将无法正确匹配，因为在申明中是以一个常量字符指针和一个类的引用的形式来调用的，编译器在匹配时，只能按照这种顺序进行匹配（"My name is " + s1 ）。如果要交换特征标的顺序，那只有这样调用才能匹配成功：s1 + "My name is "，但这又和我们定义这个函数的功能不一致（前面的字符串连接后面的字符串）。

总结一下，其实很多设计都是为了消除二义性。

不管是进行特征匹配、函数定义还是函数调用，只要是可能产生二义性的代码都应该避免，写出完美（清晰、干净、强壮）的代码是一个优秀程序员追求的目标。