多参数模板的部分默认特化

Question

有没有办法从编译器中提取部分默认特化？

说我有这两个参数模板：

template<typename A, typename B>
struct X {
    A a;
    B b;
};

我还有一些使用单个参数模板的代码，如下所示：

template<template<typename> class T, typename B>
struct make_T_of_B {
    T<B> member;
};

我想说：

make_T_of_B<X<int>, double> dummy;

其中 X 被视为单个参数模板。它相当于这个模板：

template<typename B>
struct Y {
    int a;
    B b;
};

看起来就像一个人如何专门化 X 而不实际改变任何东西。它在某种程度上类似于默认特化——除了默认特化不产生另一个模板而是产生一个实际类型（换句话说，它总是总计）。

我意识到我可以级联模板参数

template<typename A>
struct Z1 {
    // start from scratch
    template<typename B>
    struct Z2 {
        A a;
        B b;
    };

    // inherit from double template above
    template<typename B>
    struct X: ::X<A, B> {}; 
};


make_T_of_B<Z1<int>::Z2, double> dummy1;
make_T_of_B<Z1<int>::X, double> dummy2;

但我发现这很难阅读并且无法清楚地传达我的意图。

谢谢。

Answer 1

我误解了你的问题。你想要的只是一种绑定第一个模板参数的方法，你可以像这样轻松地做到这一点：

template <typename T> using Foo = X<int, T>;

现在Foo<double> 与X<int, double> 相同。

如果没有 C++11 风格的别名，您可以使用更多样板来实现相同的效果：

template <typename T> struct Foo
{
    typedef X<int, T> type;
};

现在你使用Foo<double>::type。

Answer 2

我会使用一个特质：

template <typename> struct applicator;

template <template <typename> class Tmpl, typename T>
struct applicator<Tmpl<T>>
{
    template <typename A>
    using rebind = make_T_of_B<Tmpl, A>;
};

现在你可以说：

applicator<X<int>>::rebind<double> dummy;

您当然也可以将第二个参数A 移动到主模板中：

template <typename, typename> bpplicator;

template <template <typename> class Tmpl, typename T, typename A>
struct bpplicator<Tmpl<T>, A>
{
    using type = make_T_of_B<Tmpl, A>;  // or "typedef make_T_of_B<Tmpl, A> type;"
};

bpplicator<X<int>, double>::type dummy;

它的优点是它也适用于 C++03。