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

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


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

続きを読む