“部分应用”对于模板参数

Question

我有以下“主”模板：

template <
        template <typename> class S
    > struct TT { /*...*/ };

以及我想与 TT: 一起使用的模板：

template <int N, typename T> struct S1 {};

特别是，我想使用类似的东西，

TT< S1<5> > t2; // "Invalid template arguments" here

它是模板的一种部分应用程序。我知道Boost.MPL涉及到这种东西。问题是我已经有一些使用 TT 的代码和类似的模板，

template <typename T> struct S2 {}; // S3, S4…

这些代码被输入到 TT 中。

所以问题是：如何在对现有代码进行最小修改的情况下将 S1 与 TT 结合使用。如果必须使用 Boost.MPL，请告诉我最合适的解决方案。

Answer 1

将从 S1 派生的类模板定义为：

template <typename T> 
struct S11 : S1<5,T>
{
};

然后使用 S11，而不是 S1 作为：

TT< S11> t2;  //it is as if TT< S1<5> > t2

工作代码： http://ideone.com/y2s7n

---

阅读您的评论，看来您需要这个：

template<int N>
struct Magic
{
   template <typename T> 
   struct S11 : S1<N,T>
   {
   };
};

//Usage
TT<Magic<5>::S11> t2;

Magic Demo : http://ideone.com/4yxvK

Answer 2

您还可以编写通用的部分应用程序工具：

template <template <typename ...> class TT, typename... Args>
struct Apply
{
    template <typename... Rest>
    struct T : TT < Args..., Rest... >
    {
    };
};

或者如果您希望应用程序的结果时间是原始模板的专业化而不是派生类（派生类等），则可以这样：

template <template <typename ...> class TT, typename... Args>
struct Apply
{
    template <typename... Rest>
    struct _T  
    { 
        typedef TT < Args..., Rest... > type;
    };

    template <typename... Rest>
    using T = typename _T < Rest... >::type ;
};