第41课

1. 再论类型转换

（1）标准数据类型之间会进行隐式的类型安全转换

（2）转换规则：

　　　　　　

【实例分析】有趣的隐式类型转换   41-1.cpp

#include <iostream>

 

using namespace std;

 

int main()
{

    short s ='a';

    unsigned int ui = 1000;

    int i = -2000;

    double d = i;

   

    cout << "d = " << d << endl;   //d = -2000

    cout << "ui = " << ui << endl; //ui = 1000;

    cout << "ui + i = " << ui + i << endl; //ui + i = 4294966296i。

                                           //因为i会被转为unsigned int类型，

                                           //变成一个很大的正数。

    if ((ui + i) > 0) 

        cout << "Positive" << endl; //该行被输出，因为ui+i变成一个很大的正数

    else

        cout << "Negative" << endl; //负数

 

    //根据标准数据类型的转换规则s->int。'b'为char，也会被转为int型。所以输出4
    cout << "sizeof(s + 'b') = " << sizeof(s + 'b') << endl;   //输出4，即两个int类型相加

   

    return 0;

}

运行结果：

　　

2. 普通类型到类类型的转换——转换构造函数

（1）构造函数可以定义不同类型的参数

（2）参数满足下列条件时称为转换构造函数

　　①有且仅有一个参数

　　②参数是基本类型

　　③参数是其它类类型（但不是本类的const引用，因为那叫拷贝构造函数）

（3）另一个视角：旧式的C方式强制类型转换

int i = int(1.5);　　 //将浮点转为整型，有点像函数调用

Test t;

t = Test(100);       //老旧的C转换方式，有点像函数调用

3. explicit关键字

（1）编译器隐式转换行为：

　　①编译器会尽力尝试让源码通过编译

Test t;

t = 100;  //100这个立即数，默认为int型，怎么可能赋值给t对象呢？现在就报错

          //吗？不急，编译器会看看有没有转换构造函数！Ok，发现Test类中定义

          //Test(int i)，可以进行转换，默认等价于：t = Test(100);

　　②隐式类型转换会让程序以意想不到的方式进行工作，是工程中Bug的重要来源。

（2）杜绝编译器的隐式类型转换：explicit关键字

　　①用explicit修饰转换构造函数。这时会阻止编译器隐式地尝试调用这个函数的行为。

　　②当转换构造函数被explicit修饰时，只能手动进行显式的转换，转换方式：

• • A.static_cast<ClassName>(value);

  • B.ClassName(value);

  • C.(ClassName)value;    //不推荐

【编程实验】普通类型→类类型   41-2.cpp

#include <iostream>



using namespace std;



class Test
{

    int mValue;

public:

    Test(){mValue = 0;}



    explicit Test(int i) //转换构造函数
    {

        mValue = i;

    }



    Test operator + (const Test& p)
    {

        Test ret(mValue + p.mValue);



        return ret;

    }



    int value()
    {

        return mValue;

    }

};



int main()
{

    Test t;

    //t = 5; //会报错，将5赋值给t对象，编译器会尝试调用Test(int i)转换构造函数

             //但由于Test(int i)前面用explicit修饰，以后拒绝了这种尝试。所以

             //编译不通过。

    t = static_cast<Test>(5); //相当于 t = Test(5); 原因：Test(int i)被explicit修饰，

                              //就是告诉编译器要阻止那种通过隐式调用该函数的行为发生。

                              //只有显式调用Test(int i)（或通过强制类型方式转换的）

                              //才允许调用这个函数来进行类型的转换。



    Test r;

    //r = t + 10;//相当于：r = t + Test(10);

    r = t + static_cast<Test>(10);

    cout << r.value() << endl; //15;

    return 0;

} 

运行结果：

　　

4. 小结

（1）转换构造函数只有一个参数

（2）转换构造函数的参数类型是其它类型

（3）转换构造函数在类型转换时被调用

（4）隐式类型转换是工程中Bug的重要来源

（5）explicit关键字用于杜绝编译器这种隐式类型转换的行为