型からテンプレート引数を取り出す

• mpl::applyは、typeという名前の内部型を持っているかどうか調べるために、結果の型をインスタンス化してしまう(らしい)
  • それによって不正な型が出来上がる場合がある
• インスタンス化されてもいいようなテンプレートを代役に立ててmpl::applyしたあと、元のテンプレートに引数を戻せばいい
• (実装)

[]#include[] []<boost/mpl/equal.hpp>[]

[]#include[] []<boost/mpl/assert.hpp>[]