C++程序设计兼谈对象模型(侯捷)——课程笔记(一)

本篇包含内容为转换函数(conversion)以及non-explicit one argument constructor。注意这里的one argument指的是“一个实参”就可以，而不一定只能是一个实参，比如说下文的实例构造函数里就包含一个默认实参。

一、转换函数

class Fraction
{
public:
    Fraction(int num, int den=1)
        : m_numerator(num), m_denominator(den) { }
    operator double() const{
        return (m_numerator / (double)m_denominator);
    }

private:
    int m_numerator;
    int m_denominator;
};

...
Fraction f(3, 5);
double d = 4 + f; //调用operator double()将f转为0.6

如上文实例所示，形如operator double()的东西就叫做转换函数，可以将一个类的对象转换为相应的类型(问题：转换函数支持哪些类型？)。 注意转换函数不需要声明返回类型，但是有返回值；转换函数必须是类的成员函数；转换函数没有参数。

另外，转换函数前面也可以加explicit关键字禁止隐式转换。

二、non-explicit-one-argument constructor

class Fraction
{
public:
    Fraction(int num, int den=1)
        : m_numerator(num), m_denominator(den) { }
    
    Fraction operator+(const Fraction& f){
        return Fraction(...);
    }
private:
    int m_numerator;
    int m_denominator;
};

...
Fraction f(3, 5);
Fraction d2 = f + 4; //调用non-explicit将4转换为Fraction
                     //然后调用operator+

在构造函数前加关键字explicit可以关闭这种隐式转换，也就是只允许显示转换

三、标准库中转换函数的例子

template <class Alloc>
class vector<bool, Alloc>//模板偏特化，以后会讲
{
public:
    typedef _bit_reference reference;
protected:
    reference operator[] (size_type n){
        return *(begin() + difference_type(n));    
    }
...

struct _bit_reference{
    unsigned int* p;
    unsigned int mask;
    ...
public:
    operator bool() const { return !(!(*p & mask)); }
...

如上面例子所示，_bit_reference里面就有一个转换为bool值的转换函数