如何从模板类中的typename传递创建新的typename

Question

假设我有一个模板类

template <class DATA>
class Stack { 
  //Some implementation
}

在这个堆栈类中，我调用了一个实用程序类，它也是模板。但是数据类型它的处理是UltityDATA类型。也就是说，如果我们使用以下代码创建类堆栈的对象

 stack<MyData> s

在内部，它应该称为UltityMata。我不想向客户透露UltityMyData结构。我已经编写了将MyData转换为UltityMyData的实现。我唯一的要求是在调用库类时如何将数据typename转换为UtilityDATA typename。

我已经按照你的建议编写了以下代码

#include <iostream>
#include <vector>
#include <cstdlib>
#include <string>
#include <stdexcept>

using namespace std;
struct RTI 
{
    int a;
};

struct DDSRTI 
{
    int b;
};

// other specialization you might need in the future
 template<class Data>
 struct DDS
{
    typedef DDSData type;
};
template <class T>
class MyStack { 
  private: 
   T a;
  public: 
      MyStack()
      {
       //  cout<< a;
      }
}; 
#define STACK(T) Stack<DDS##T>
template <class T>
class Stack { 
  private: 
  Stack<T> a;
  STACK(T) b;
  public: 
      Stack()
      {
         ///cout<< a;
      }
}; 

但是我得到错误的错误：DDST没有在这个范围内声明
基本上预处理器只追加两个值并创建一个新类型。根据我的理解模板将在编译时转换。DDS#T是一种新的数据类型，而不是模板类型。

Answer 1

也许你可以把它移到一些内部模板结构上？

template <class DATA>
class Stack {
  public:   
    template <class Data>
      struct UtilData {
        template <class... Args>
          UtilData(Args&&... args) : d{std::forward<From>(args)...} {}
            // other operators
          Data d;
        };

    void push(DATA&& d) {
      s.push(UtilData<DATA>{d});
    }
  std::stack<UtilData<DATA>> s;
};

更新：对不起，我误解了你的问题。对于某些具体类型的MyData和UtilMyData，可以使用boost:：mpl:：map：

using boost::mpl::pair;
using boost::mpl::map;
using boost::mpl::at;

typedef map<pair<SomeOther, Some>/*, other pairs of types here*/> TypeMap;

at<TypeMap, SomeOther>::type s; // s has type Some

Answer 2

您可以使用traits模式：

template <class DATA, class TRAITS>
class Stack 
{ 
  //Some implementation
}

然后像这样举例：

stack<MyData, UtilityMyData> s;

但是，这需要用户显式地命名实用程序类。如果你不介意使用预处理器，你可以使用宏：

#define STACK(T) Stack<T, Utility##T>

然后你会写：

  STACK(MyData) s;

这并不漂亮，但用户可能会接受

Answer 3

您可以根据需要有一个专门化类型定义的结构

// non specialized type
template<typename T>
struct UtilType {};

// specialization for DATA
template<>
struct UtilType<DATA>
{
    typedef UtilityDATA type;
};

// other specialization you might need in the future
template<>
struct UtilType<NewType>
{
    typedef UtilityNewType type;
};

然后，您就可以这样使用这个helper类了

template<typename T>
class Stack
{
    // .....
    typedef typename UtilType<T>::type dataType; //converts DATA typename to UtilityDATA
    // .....
}