c – 设计算法的通用选项

构建于 Konrad’s suggestion of using policy types,如果您的算法在构造时需要参数,您可以通过要求任何Policy类具有名为Params的嵌套类型,然后在fancy_algorithm< Policy>中提供构造函数来干净地处理它.接受此类型的参数并将其传递给包含的Policy对象：

template <typename Policy>
class fancy_algorithm : private Policy {
public:
    typedef typename Policy::Params Params;    // Need to redeclare :(

    explicit fancy_algorithm(Params params = Params()) : Policy(params) {}
};

需要将任何相关参数打包到Policy :: Params类型的单个对象中.

Policy类始终使用Policy :: Params类型的单个参数构造.要使用(可能)不需要参数的策略类,请在Params中提供默认构造函数(或使用隐式声明的构造函数),而不是在Policy中.这样,通过使用fancy_algorithm的默认值< Policy>如上所述的构造函数,我们启用了fancy_algorithm< Policy>的方便的默认构造.每当Policy :: Params有一个默认构造函数时(即当Policy不需要任何参数时).没有安全性丢失：如果Policy :: Params缺少默认构造函数(表示需要一些参数),则任何尝试默认构造fancy_algorithm< Policy>对象将在编译时失败.

例：

struct multiply_by_params {
    multiply_by_params(int x /* = 42 */) : _x(x) {}     // See bottom
    int get() const { return _x; }    // Or,just make multiply_by a friend

private:
    int _x;
};

struct multiply_by {
    typedef multiply_by_params Params;
    multiply_by(Params p) : _x(p.get()) { /* Other initialisation */ }

    // Other code implementing the strategy (e.g. an operator()())
    ...

private:
    int _x;
};

fancy_algorithm<multiply_by> a(69); // Always compiles
fancy_algorithm<multiply_by> b;     // Compiles iff /* = 42 */ is uncommented