ポリシーに基づいた設計について

Question

現在ポリシーについて勉強しているのですが、正直分からないことだらけです。
そこで、以下の2つの質問についてお教えください。
まず一つ目に、実装には複数の方法が存在するようですが、以下に掲示する３つの方法の中ではどれが一番良いとされているのでしょうか。
二つ目に、ポリシーの説明として

システム要件や要求に応じて、実装にオプションが考えられるとき、ポリシーに基づいたクラス設計をとることで、核となる実装に修正を加えることなく、クラスに柔軟性を持たせられます。 『C++テンプレートテクニック第2弾』（高橋昌, 2014年）

という一文があるのですが、具体的に通常のクラスに比べてどのような柔軟性が持たせられるのでしょうか。

// 実装パターン
// staticメンバ関数を持つポリシークラス
struct policy {
	static void draw()
	{
		std::cout << "draw" << std::endl;
	}
};
template <class Policy>
struct widget {
	void do_something()
	{
		Policy::draw();
	}
};

// 非静的メンバ関数を持つポリシークラス
struct policy {
	void draw()
	{
		std::cout << "draw" << std::endl;
	}
};
template <class Policy>
class widget {
	Policy policy_;
public:
	void do_something()
	{
		policy_.draw();
	}
};

// 継承によるポリシー
class policy {
protected:
	void draw()
	{
		std::cout << "draw" << std::endl;
	}
};
template <class Policy>
class widget : public Policy {
public:
	void do_something()
	{
		draw();
	}
};

Answer 1

実装には複数の方法が存在するようですが、以下に掲示する３つの方法の中ではどれが一番良いとされているのでしょうか。

何をもって「良い」と見なすかという評価基準の設定次第かと思います。別の言い方では、質問中にある情報からでは良し悪しについて何も言えません。

---

具体的に通常のクラスに比べてどのような柔軟性が持たせられるのでしょうか

ポリシーベースのクラス設計では「ポリシーをテンプレートパラメータに取るクラス」の振る舞いを、そのクラスの外部から コンパイル時に 注入・変更・調整できます。

質問文中の "通常のクラス" が何を指すか不明瞭ですが、仮想関数を用いた継承ベースのクラス設計に比べると、ポリシーベースでは コンパイル時 に、継承ベースでは プログラム実行時 に振る舞いが選択される点が異なります。

Comments

[asobinin]

ポリシーベース＝静的ポリモーフィズムのことだったんですね、ようやく頭の中で繋がりました。
通常のクラスというのは、おっしゃられたように仮想関数を用いたクラスのことです。
修正し忘れておりました・・・

[yohhoy]

このあたりの用語は（意外と）コレという定義が無かったりします。下記記事がよくまとめられていますのでご参考に：

C++ Traits/Policies/Strategies/Concepts/Contracts の関係
https://qiita.com/akinomyoga/items/506bd1fe47046bd636ae

[asobinin]

自由度が高すぎて皆バラバラというのはC++の良いところでもあり悪いところでもありますね。