c++ - c++ ブースト テンプレートの型と非型

Question

template <class Target>
struct unwrap_predicate<void (Target)>
{
    typedef is_convertible<mpl::_, Target> type;
};

これは、プログラム全体のBoostライブラリのコードです。http://www.boost.org/doc/libs/release/boost/parameter/preprocessor.hppを参照してください。

ターゲットがわかりません。クラスの次の最初のターゲット。これは型パラメーターです。2 番目の void(Target) は、非型パラメーターのように見えます。パラメータが型と非型としてどのように機能するのか.私はこの2行について混乱しました. 誰でも助けることができますか？

Answer 1

関数型です。

void (Target)

void (つまり、何も返さない) を返し、 type の引数を 1 つ取る関数の型Targetです。