需要类型转换时定义为非成员函数

需要类型转换时定义为非成员函数

前言:

因为自己查阅文章时经常遇到,这些问题:因为环境不同而导致结果不一致、因为文章跳跃度太大而导致无法理解、因为文章代码运行结果不同而苦恼。

所以为了看我文章的人不会遭遇同样的问题,

以后我的文章将遵循以下原则:

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中实现它,在声明式中实现它,让它成为一个内联函数。

我们并不使用友元可以访问类中私有成员的特性,而是利用其指定特定函数。

©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

相关阅读更多精彩内容

  • C++运算符重载-下篇 本章内容:1. 运算符重载的概述2. 重载算术运算符3. 重载按位运算符和二元逻辑运算符4...
    Haley_2013阅读 1,583评论 0赞 49
  • 再读高效c++,颇有收获,现将高效c++中的经典分享如下,希望对你有所帮助。 1、尽量以const \enum\i...
    橙小汁阅读 1,335评论 0赞 1
  • 效果预览: 分析过程: 鼠标指针进入图片时,放大图片并且遮罩变为完全透明; 鼠标指针离开图片时,图片恢复原有尺寸并...
    黄啊码阅读 2,432评论 0赞 0
  • 以前看小说常有这样的桥段:一伙强人在山背后窥伺,看见有大队车马经过,观察到车轮压进路面很深就知道大有油水,于是一声...
    亦农阅读 486评论 2赞 4

友情链接更多精彩内容