efective C++ 条款35：考虑除virtual函数外的其他选择

Posted 2020-07-14

1.籍由NVI手法 实现 Template Method 模式

Template Method 模式

    对于某一个业务逻辑（算法实现）在不同的对象中有不同的细节实现，但是逻辑（算法）的框架（或通用的应用算法）是相同的。Template Method提供了这种情况的一个实现框架。

Template Method模式是采用继承的方式实现这一点：将逻辑（算法）框架放在抽象基类中，并定义好细节的接口，子类中实现细节。

其关键点就是将通用算法封装在抽象基类中

NVI手法中所用的non_virtual函数成为virtual函数的外敷器。

NVI手法的优点在于

外敷器确保得以在一个virtual函数被调用之前设定好情景，并在调用结束后清理情景。

 

2.籍由Function pointer 实现 Strategy模式

Strategy模式

Strategy模式解决的是和Template Method模式类似的问题，但是Strategy模式是将逻辑（算法）封装到一个类中，并采取组合（委托）的方式解决这个问题。

  

    要实现一个抽象接口，继承是一种方式：我们将抽象接口声明在基类中，将具体的实现放在具体子类中。组合（委托）是另外一种方式：我们将接口的实现放在被组合对象中，将抽象接口放在组合类中。

3.籍由std:function完成Strategy模式

通过std::function对C++中各种可调用实体（普通函数、Lambda表达式、函数指针、以及其它函数对象等）的封装，形成一个新的可调用的std::function对象；

关于可调用实体转换为std::function对象需要遵守以下两条原则：

转换后的std::function对象的参数能转换为可调用实体的参数；

可调用实体的返回值能转换为std::function对象的返回值。

 

std::function实现了一套类型消除机制，可以统一处理不同的函数对象类型。