c++ - 模板类型参数类型

Question

我有一个模板类 ParameterTemplateClass，它是另一个模板类的参数类型。

基本上我的代码如下所示。

template <class T1, class T2>
    class ParameterTemplateClass
    { 
      typedef T1 Type1;
      typedef T2 Type2;
    };


    template <ParameterTemplateClass<template<class T1, class T2> > >
    class SomeClass
    { 
      typedef typename ParameterTemplateClass::Type1 Type1;
      typedef typename ParameterTemplateClass::Type1 Type1;
    };

template<>
class SpecializedClass::ParameterTemplateClass<int, float>
{ }

template<>
class SomeSpecializedClass::SomeClass<SpecializedClass>
{ }

我无法让它工作。我尝试了不同的方法，包括What are some uses of template template parameters in C++? 中显示的方法；但是到目前为止我还没有成功。

请不要说我希望类 SomeClass 模板参数是 ParameterTemplateClass，而不是 T1、T2，它们是 ParameterTemplateClass 的参数类型。

这可以实现吗？有人可以告诉我。谢谢

Answer 1

请不要说我希望类 SomeClass 模板参数是 ParameterTemplateClass，而不是 T1、T2，它们是 ParameterTemplateClass 的参数类型。

这不是模板处理的语义——你能举一个更详细的例子吗？

如果要引用ParameterTemplateClass，则在SomeClass内部显式使用，例如，

template <class T1, class T2 >
class SomeClass
{ 
    ParameterTemplateClass <T1, T2> foo;
};

编辑：

如果你想让 SomeClass 带一个模板类，可以这样表达：

template <template <class T1, class T2> class T>   class SomeClass
{ 
};

http://publib.boulder.ibm.com/infocenter/lnxpcomp/v8v101/index.jsp?topic=%2Fcom.ibm.xlcpp8l.doc%2Flanguage%2Fref%2Ftemplate_template_arguments.htm

EDIT2：

如果 SomeClass 不应该知道 T1 和 T2，那么将其实现为：

 template <class T>   
 class SomeClass
 { 
 };

并将其用作：SomeClass<ParameterTemplateClass <T1, T2> > 模板没有“限制”只使用 ParameterTemplateClass 的语义。如果你想在 `SomeClass<...> 被传递给 ParameterTemplateClass 以外的类时引发编译时错误，有一些技巧可以做到这一点，但在这种情况下使用这些技巧没有明确的动机。

编辑 3：

根据对问题的修改进行了修改。您可以将 typedef 表示为：

template <class T>
class SomeClass
{ 
  typedef typename T::Type1 Type1;
  typedef typename T::Type2 Type2;
};