如何将模板转换为模板 pre C++11

Question

由this question触发，我写了一个模板，允许将模板转换为具有不同参数的模板：

template< template <int A,char B,bool> typename T>
struct Add_true {
    template <int A,char B> using type = T<A,B,true>;
};

背景：目的是将template<int A, char B, bool C> class A2{}; 作为模板模板参数传递给template<template<int A, char B> typename T> class A1 {};。我学习了 C++11 的模板。一旦我习惯于编写接受类型和“返回”类型的类型/函数，而不是编写接受值和返回值的函数，我对代码的思考就发生了很大的转变。我从来没有想过，编写给定模板“返回”不同模板的模板也非常简单。问题是我一点也不知道如何在没有别名模板的情况下编写上述或类似的内容，这些模板仅在 C++11 之后才可用。以下是始终可能发生的事情。给定

template <int A,char B, bool C> struct Foo{};

我可以通过以下方式将布尔参数“绑定”到Foo：

template <int A,char B>
struct Add_true_to_Foo {
     typedef Foo<A,B> type;
};

但是现在Add_true_to_Foo<A,B>::type 不是模板，如果没有 C++11，我一点也不知道如何编写一个不仅适用于 Foo 也适用于

template <int A,char B, bool C> struct Bar{};

也许我遗漏了一些明显的东西。我的问题是

在C++11之前可以写出和上面Add_true等价的东西吗？

Answer 1

没有 C++11 模板的严格等价物使用， 但是您可以添加额外的模板类来模仿行为并使用不同的语法：

template <template <int, char, bool> class C>
struct Add_true {
    template <int A, char B>
    struct apply
    {
        typedef T<A, B, true> type;
    }
};

有用法：

template <int A,char B, bool C> struct Foo{};

typedef Add_true<Foo>::apply<42, '*'>::type my_type; // Foo<42, '*', true>

Answer 2

继承将是 C++03 方式

template< template <int A,char B,bool> typename T>
struct Add_true {
    template <int A,char B>
    struct type : T<A,B,true> {};
};

在 C++11 和 C++03 中，type 是新模板的名称。区别仅在于专业化的含义。对于别名模板，它们完全代表被别名的东西，而在这里它们是新类型。但是，派生到基础的转换应该允许将 C++03 type 专业化几乎完全视为它们的“别名”。

Answer 3

在 C++03 中，我们没有模板别名，但同样可以使用如下结构模板实现：

template<template<int A, char B> class T> class A1
{
    typedef typename T<1, 'a'>::type actual_A2;
};

template<int A, char B, bool C> class A2 {};

template< template<int A, char B, bool C> class T >
struct Add_true
{
    template<int A, char B>
    struct apply
    {
        typedef T<A, B, true> type;
    };
};
typedef Add_true<A2> A2_with_true;

A1< A2_with_true::apply > a1;

请注意，您需要更改A1 的工作方式，因为它必须使用嵌套的type typedef 才能获得实际的A2 特化。