类型系统（type system）使接口易于正确使用

        C++中的接口可以是函数（function）、类（class）、模板（template）等。我们在设计C++程序时，不可避免的要设计这些接口，一方面给自己使用，一方面给其他的程序员使用。给自己使用还好说，毕竟自己是知道设计这个接口的用途，以及接口不完美时的“雷点”。但当这些接口给其他程序员或者客户使用时，他们不知道其中的隐性约束，这样导致接口得不到正确的使用，不能满足用户的预期需求。那么，该如何设计接口使得接口的使用者获得预期的结果呢？

       总的思想是，当接口被误用时，让编译器给用户提出抱怨，让代码不能通过编译，及时给用户提供正反馈。及时反馈也是让问题早发现的一种好的机制，这点也是TDD开发的精髓所在吧。那么如何才能做到接口误用时，编译器能够及时抱怨呢？

       针对不同的场景可能有所不同。

       当基本数据类型无法满足需要，或者不能提供类型的边界检查时，可以考虑类型系统（type system）。所谓类型系统（type system）是对基本数据类型进行包裹，组成小型的自定义数据类型，并对该自定义数据类型进行边界值设定。类型系统的好处：1、进行类型值的边界检查，即限定类型的取值范围；2、选取好的名字，能够提示用户“所见即所得”，望文知意；3、能够做到类型安全，类型转换由自己控制。

       下面以日期类为例。

struct Date
{
    Date(int month, int day, int year);
    ......
};

      上述接口类使用的是基本数据类型。众所周知，日期中的月和日是有边界的，月份范围一般是（1-12）或者（0-11），一月中的天数是（1-30），有些月份是（1-31），二月又分闰月（28天）和平月（29天）。可见，Date类使用基本数据类型极易导致接口被错误使用。这时可以使用类型系统（type system），将年、月、日自定义成小型类。

struct Year
{
    explicit Year(unsigned int _y) : y(_y)
    {......}
    
    unsigned int y;
};

struct Month
{
    explicit Month(unsigned int _m) : m(_m)
    {......}

    unsigned int m;
};

struct Day
{
    explicit Day(unsigned int _d) : d(_d)
    {......}

    unsigned int d;
};

//================================================================================
struct Date
{
    Date(const Month& m, const Day& d, const Year& y);
    ......
};

        当用户使用Date类时，一眼就能确定年月日的填写顺序。

        Date d(29, 2, 2018);                                 //error, type incorrectly

        Date d(Day(29), Month(2), Year(2018));      //error, tyep incorrectly

        Date d(Month(2), Day(29), Year(2018));      //OK

        通过这些小类型，也可以限定用户可以做什么和不能做什么。