需要类型转换时定义为非成员函数
前言:
因为自己查阅文章时经常遇到,这些问题:因为环境不同而导致结果不一致、因为文章跳跃度太大而导致无法理解、因为文章代码运行结果不同而苦恼。
所以为了看我文章的人不会遭遇同样的问题,
以后我的文章将遵循以下原则:
1.会在文章开头标明相关配置与环境
2.尽可能循序渐进(还是看不懂可能是我没有这样的天赋),标出阅读的前提知识
3.列出的代码自己先跑一遍
////////////////////////////////////////
语言:c++
前提知识:
1.类
2.函数重载
3.类型转换
集成开发环境:Visual Studio 2017
////////////////////////////////////////
条款24:若为所有参数皆需类型转换,请为此采用non-member函数
class Num
{
public:
Num(intN=0,int M=1):n(N),M(M){}//不设explicit,提供隐式转换
constNum operator*(const Num& rhs)const
{
returnNum(rhs.getN()*n+rhs.getM()*M);
}
constint getN()const{return n;}
constint getM()const{return m;}
private:
intn;
intm;
};
int main()
{
Numnum1(2,3);
Numnum2(3,4);
Numnum3=num1*num2; //成功
num3=num3*num1; //成功
num3=num3*2; //成功
num3=2*num1; //失败
return0;
}
为何num3=num3*2成功而num3=2*num1却失败
因为num3=num3*2中,函数operator=由num3调用且参数为2,参数2为int可通过构造函数隐式转换为Num,所以成功
而num3=num3*2中,虽然想调用operator=但,这个函数却不属于int,这个基础类型int根本不拥有函数。
使用函数形式重写上面两个例子:
num3=num3.operator*(2);
num3=2.operator*(num3); //明显错误
上述情况下,编译器会尝试寻找参数为(int,Num)的operator*的非成员函数。
所以只要写一个参数为(int,Num)的operator*的非成员函数即可,这就是我们一般重载乘法运算符时的做法————将重载乘法运算符声明为friend函数,即非成员函数的operator*可以调用类中的private成员进行运算。
friend constNum operator*(const Num& lhs,const Num& rhs)const
{
returnNum(rhs.getN()*lhs.getN()+rhs.getM()*lhs.getN());
//虽然可以直接使用m和n,但这是个好习惯,保持封装
}
因为声明为友元函数,不再是成员函数,成员函数隐含一个参数this指向调用方,所以友元函数比成员函数多一个参数。
num3=2*num1; //成功
<=>num3=operator*(Num(2),num1);
该条款的重点在于,只有参数位于参数列中,这个参数才有可能被隐式类型转换。
条款46:需要类型转换时请为模板定义非成员函数
条款24的升级版?可能这样说有点不妥,实质上就是把条跨23中的类模板化了,但是一旦模板化了事情就会变得复杂,因为编译器的处理策略不同了。
template
class Num
{
public:
Num(T&N=0,T& M=1);//不设explicit,提供隐式转换
constNum operator*(const Num& rhs)const
{
returnNum(rhs.getN()*n+rhs.getM()*M);
}
constT getN()const{return n;}
constT getM()const{return m;}
private:
Tn;
Tm;
};
Num num;
num=num*2; //失败
上面这个例子跟条款24一致,但是却失败了,因为编译器并不清楚我们要使用哪一个函数,我们想要使用operator(Num,Num)函数,但是编译器必须知道T的类型才能具体化出这个函数,但是它不知道。
在第一参数num时编译器可以推导出T为int,而在第二参数2,它是个int,那么编译器从这个int中就推不出T究竟是个啥。在我们的预想中,我们期望编译器能够把int隐式转换为Num,但是编译器不会这么做,因为推导模板实参时并不考虑通过构造函数产生的隐式转换。
那么怎么办呢,这里有个有趣的办法,模板类中友元声明可以指定特定函数,也就是说只要类被具体化,这个函数就会被同时具体化,就不用在依赖实参推导来具体化函数。即是模板类友元函数,不再是个函数模板而是个模板函数。(前者只是个模具无法直接使用,而后者已经具体化可以直接使用)
虽然上述可以通过编译器,但是却无法链接因为我们没有实现它,我们在类中声明了这个友元函数,期待在类外实现它,但是不行因为这个声明是Num内的所作所为,我们无法在类外实现他,因为我们不能提前指定T并让连接器连接到它,那么就必须在Num中实现它,在声明式中实现它,让它成为一个内联函数。
我们并不使用友元可以访问类中私有成员的特性,而是利用其指定特定函数。