在C++中获取模板依赖模板类型

嗯，我正在用C++ 98编写代码并尝试使用元编程。在C++中获取模板依赖模板类型

我写了这样的“粘合剂”的：

template< 
    template< 
     template<typename TArg1_1> class TArg1, 
     template<typename TArg2_1> class TArg2, 
     template<typename TArg3_1> class TArg3, 
     typename TArg4> class TFunction, 
    template<typename TArg1_1> class TArg1, 
    template<typename TArg2_1> class TArg2, 
    template<typename TArg3_1> class TArg3> 
struct MetaBinder_4_3_templates_1_1_1_0 { 
    template <typename TArg4> 
    struct type : public TFunction<TArg1, TArg2, TArg3, TArg4> {}; 
};

那我想接下来做的是“捆绑”的参数，以使其与下面的代码：

template< 
    template <typename TType> class TApplier, 
    typename TInitialType> 
struct PreserveQualifiers : public PreserveQualifier< 
    TypeClearVolatile, 
    TypeSetVolatile, 
    typename template <typename> MetaBinder_4_3_templates_1_1_1_0 < 
     PreserveQualifier, 
     TypeClearConst, 
     TypeSetConst, 
     TApplier>::type, 
    TInitialType> 
{};

PreserveQualifier声明如下：

template< 
    template <typename TType> class TClearer, 
    template <typename TType> class TSetter, 
    template <typename TType> class TApplier, 
    typename TInitialType> 
struct PreserveQualifier;

但上面的代码实际上给了我这个错误（GC C 4.7，我分成几行）：

error: wrong number of template arguments (3, should be 4) 
error: provided for ' 
    template< 
     template<class TType> class TClearer, 
     template<class TType> class TSetter, 
     template<class TType> class TApplier, 
     class TInitialType 
    > struct PreserveQualifier'

我假设问题在于typename template <typename> MetaBinder_4_3_templates_1_1_1_0 <...>::type构造语法。实际的问题是：在这种情况下，我应该如何指定依赖模板类型？

来源

2014-10-02 svv

在我看来就像一个过于复杂的方式来实现的东西，我怀疑，比较简单。你的目标是什么？我可能会提出一个更简单的解决方案。 – ArunasR 2014-10-02 08:35:48

尝试：

MetaBinder_4_3_templates_1_1_1_0 <...>::template type

见一个简单的例子：LIVE DEMO

来源

2014-10-02 08:14:34 Jamboree

在C++中获取模板依赖模板类型

回答

相关问题