隐式转换（一）_mybatis mapper integer 隐式转换

考虑：

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;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

当运行到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;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

运行之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);
1
2
3

在这个过程中如果是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);
    }
    ...
};
1
2
3
4
5
6
7
8
9
10
11

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

smartPtr<devired>::operator smartPtr<base>(){
    return smartPtr<base>(pointee);
}
1
2
3