D15.1.0 安全封装函数接口的一个小技巧

假设我们有一个表现日期的类的构造函数：

class Data
{
public:
    Data(int month, int day, int year);
    ……
};

Data d(5, 21, 2019);

这样写好像没任何问题，2019年5月12日。因为这函数使我们自己设计的，我们很清楚该怎么调用。可以这个接口开放给其他人，可能就会冒出以下两种错误：

• 错误的次序传递参数，如：

  Data d(21, 5, 2019);//2019年21月5日肯定不合理

• 参数里面传递了一个无效的月份或者天数。

  Data d(2, 30, 2019);//2月没有30天

那怎么解决这个问题？

导入简单的外覆类型

struct Month{
    explicit Month(int m) : val(m) {}
    int val;
};

struct Day{
    explicit Day(int m) : val(m) {}
    int val;
};

struct Year{
    explicit Year(int m) : val(m) {}
    int val;
};


class Data
{
public:
    Data();
    ~Data();

public:
    Data(const Month& m, const Day& d, const Year& y);
};

C++中的explicit关键字只能用于修饰只有一个参数的类构造函数, 它的作用是表明该构造函数是显示的， 而非隐式的。（后面部分给出关于关键词explicit解释。）

在Data类的构造函数中分别引入了Month、 Day和Year变量，这就是外覆类型。Data类型可以如下初始化：

Data d(Month(5), Day(21), Year(2019));

用户就可以非常清晰明了地传入对应的参数了。

其实这Data类还可以做进一步的修改。例如一年只有12个月，要是给Month传入了13，就不合理了。办法之一是利用enum表现月份，但enum不具备我们希望拥有的类型安全，因为enum可被拿来当一个int使用。另一种做法是预先定义所有有效的Months：

class Month{
public:
    static Month Jan() { return Month(1); }
    static Month Feb() { return Month(2); }
    ………………
    static Month Dec() { return Month(12); }

private:
    explicit Month(int m);//显示构造函数
};

Data的初始化变成：

Data d(Month::May(), Day(21), Year(2019));

这样Data类的构造函数接口就容易被正确使用，不太容易被误用了。

explicit解释

Number类定义：

class Number
{
public:
    Number(int num)
    {
        m_iNum = num;
    }
    ~Number();
    int m_iNum;
};

下面是调用:

Number num = 20; //这步调用是可以的，直接把20转换成了Number对象，这叫隐式转换

下面改进一下，使用关键字explicit声明。

class Number
{
public:
    explicit Number(int num)
    {
        m_iNum = num;
    }
    ~Number();
    int m_iNum;
};

下面是调用:

Number num1 = 20; //这步调用就不行了，因为explicit关键字取消了隐式转换。

总结，C++中的explicit关键字用于修饰只有一个参数的类构造函数。

它的作用是取消构造函数的隐式转换。

​