隐式转换(一)

考虑:

class Array{
public:
    Array(int size);
    ...
    T &operator[](int index);
};
 bool operator==(const Array &lh,const Array &rh);  
int main()
{
    Array a(5);
    Array b(5);
    if(a==b[0]){...}
    return 0;
}

当运行到if语句时,本意是想比较a[x]与b[0]的,但如此也没有进行报错,原因是b[0]使用[]获取下表值是一个整形,然后编译器发现a与int不是同一种类型,但还发现int可以通过Array的带参构造生成一个Array的临时变量,这样就做到了a与b[0]的比较。

其中一种解决的办法是对Array的带参构造的形参类型进行限制,让Array public派生于一个基类,代码如下:

#include <iostream>
using namespace std;

class Array{
public:
    class Array_base{
    public:
        Array_base(int size):array_size(size){}
        int get(){return array_size;}
    private:
        int array_size;
    };
    Array(Array_base size)
    ...
    T &operator[](int index);
};
bool operator==(const Array &lh,const Array &rh);  
int main()
{
    Array a(5);
    Array b(5);
    if(a==b[0]){...}
    return 0;
}

运行之if处会报错,编译器只能在同一时间进行一次隐式转换,Array a(5)的部分,并不存在一个int的constructor,只有一个接受Array_base类型的形参,Array_base是有一个接受int的constructor,所以可以通过一次隐式转换将int生成一个Array_base对象,然后传入Array的构造中,这就实现了Array的构造,但是b[0]只能进行一次Array_base 构造,但不能再继续往下进行。

//———————————————————————-

在这再说一下关于smart pointer的关于如何进行向下转换(子类向基类转换)

void displayAndPlay(const smartPtr<base>&sm,int num);
smartPtr<devired>d1(new devired("devired"));
displayAndPlay(d1,1);

在这个过程中如果是dumb pointer就不会出错而且是非常正常的操作,但在smartPtr是错误的,因为c++ smartPtr<base>与smart<devired>之间并没有继承关系,所以向下转型就不会成功
有效的一个操作是在smartPtr中插入一个模板隐式转换函数
代码如下:

class smartPtr{
    smartPtr(T* realPtr=0);
    T*operator->()const;
    T&operator*()const;

    template<typename newType>
    operator smartPtr<newType>(){
        return smartPtr<newType>(pointee);
    }
    ...
};

隐式转换函数在被调用时实例化为一下形式:

smartPtr<devired>::operator smartPtr<base>(){
    return smartPtr<base>(pointee);
}
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值