c++ - 可変個引数テンプレートからの固定数のテンプレート引数

Question

template <template <typename> class F> struct call_me {};
template <typename T> struct maybe;
template <typename... T> struct more;

int main()
{
  call_me<maybe> a; // ok
  call_me<more> b;  // error
}

call_me<more>失敗する理由がわかりました。しかし、私はそれを機能させたいです。

変更を伴わないcall_me(または専門化を追加する) 回避策はありますか?

Answer 1

template <template <typename> class F> struct call_me {};
template <typename T> struct maybe;
template <typename... T> struct more;
template <template <class...> class F> struct just_one {
  template <class A> using tmpl = F<A>;
};

int main()
{
  call_me<maybe> a; 
  call_me<just_one<more>::tmpl> b;  
}

完全に同等ではありませんが、十分に近いかもしれません。

Answer 2

template <typename T> using onemore = more<T>;

int main()
{
    call_me<onemore> b;
}

Answer 3

ラップできますmore：

template <template <typename...> class Tmpl>
struct variwrap
{
    template <typename> struct Dummy
    {
        template <typename ...Brgs>
        struct rebind
        {
            typedef Tmpl<Brgs...> other;
        };
    };
};

今、あなたは言うことができcall_me<variwrap<more>::Dummy>、消費者はF::rebind<Args...>::other回復するために使用できますmore<Args...>. もちろん、それがメンバーを持っているcall_meことを知る方法がないため、特殊化を追加する必要があります。F rebind

うん。