C++设计与声明——让接口容易被正确使用

一个简答易错的例子##

class Date
{
public 
    Date(int month,int day,int year);
}

一年后使用这个接口的时候，写了Date d(15,10,2015)或者Date d(2015,10,15)，准确的应该是Date d(10,15,2015)，欧，多么低级的错误，花了我一个早上的时间去调试这个bug。

解决的方法###

• 为参数声明自定义类型

struct Day    
{
    explicit Day(int d):val(d)
    {}
    int val;
};
struct Month    
{
    explicit Month(int d):val(d)
    {}
    int val;
};
struct Year    
{
    explicit Year(int d):val(d)
    {}
    int val;
};
class  Date
{
public:
	 Date(const Month& m,const Day& d,const Year& y);
};
Date d(30, 3, 1995);    //wrong
Month m(10);
Day m(15);
Year y(2015);
Date(y, m, d);	        //wrong
Date(m, d, y);	        //right

这样子声明类型会很麻烦，但是对“接口被误用”却又神奇的疗效

• 使用预先定义的类

class Month
{
public:
    static Month Jan()
    {
        return Month(1);
    }
    ...
private:
    explicit Month(int m);
    ...
};

通过函数返回我们需要的月份，保证参数的正确性。

PS：上面使用函数返回，是为了保证使用的月份实例已经初始化

• 自定义类型与内置类型保持一致

常见的方法有：加上const。再来一个易错的例子

class INT
{
public
    INT(int);
    INT opeaator=(INT);
    INT operator*(INT);
    int val;
};
    if(a*b = c)
    {...}

我们重新定义了系统的int类型，却发现，在a * b = c成功地通过了编译阶段，这个时候要想不进入if下的程序块真的是难上加难，这很明显违背我们的初衷。假如operator*返回的是const，那么就会限制a * b = c的执行。其实，这只是与内置类型的int符合罢了。所以，自定义的type应该尽量内置类型保持一致，除非我们有个好理由（其实一般我们也找不到这种理由）。

• 保持接口一致化

假如string使用Length，List使用size返回内部的对象个数，你是不是每次使用的时候都要考虑一下要使用Length还是size？假如不想自己的心灵饱受折磨，请保持功能一致的接口使用方法一致。

• 在客户之前预防客户的错误

假如createInvestment()返回一个Investment类型的指针给客户，谁也无法保证客户使用完了会正确地释放内存。所以较佳的做法是，先发制人，强迫客户使用智能指针，将返回值修改为std::tr1::share_ptr< Investment >createInves()给客户，这基本消除了发生内存泄露的可能性。

假如客户希望通过getRidOfInvestment()来删除指针，但却希望客户自己完成这件事，那又多了一个通往错误的大门。我们可以在返回智能指针前就先指定好删除器，以免客户遗忘。

std::tr1::shared_ptr< Investment> createInvestment()
{
    std::tr1::share_ptr< Investment> retVal(static_cast< Invesment*>(0),
    getRidOfInvestment);
    retVal = ...;    //令retVal指向正确的对象
    return retVal; 
}

上面的例子中，就算用户忘记了释放内存，最后智能智能share_ptr也会根据getRidOfInvestment正确地释放，从而减少了内存泄露的可能性。

实际上，使用了share_ptr的好处不仅仅如此。当使用了dll的时候，假如在一个dll中获得了指针，在另一个dll中依然能通过原来的dll对指针进行删除。从而用户无需在意cross dll problem的问题。