如何在不使用继承的情况下“重命名”模板实例化？

Question

假设您在应用程序中使用模板类，例如std::tuple （或 std::shared_ptr 或其他），并且您有这样的实例化：

typedef std::tuple<Book,Library> BookLibrary;
typedef std::tuple<Book,Chapter,Reader> BookChapterReader;

然后您在其他模板类中使用这些实例化，例如作为类成员的 std::map：

class X
   {
   ...
   private:
      std::map<Library,BookChapterReader> m_data;
   };

然后生成的 PDB 文件将包含如下描述（使用 Microsoft 调试工具的 DBH 实用程序查看）：

std::_Tree<std::_Tmap_traits<Library,std::tr1::tuple<Book,Chapter,Reader,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil>,std::less<Library>,std::allocator<std::pair<Library const ,std::tr1::tuple<Book,Chapter,Reader,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil,std::tr1::_Nil> > >,0> >

如果你有很多这样的结构，那么 PDB 文件会增长得很快，直到链接器拒绝链接你的应用程序（显然，PDB 文件有 1 GB 的限制）。

一种解决方案可能是创建模板化实例的子类，如下所示：

class BookChapterReader : public std::tuple<Book,Chapter,Reader>
   {
   };

这将严重缩短符号。现在上面提到的是：

std::_Tree<std::_Tmap_traits<Library,BookChapterReader,std::less<Library>,std::allocator<std::pair<Library const ,BookChapterReader> >,0> >

但是，通过使用继承，我们引入了可能向继承的类添加数据的风险，并且我们可能需要引入一个虚拟析构函数（在这种情况下我不想要它）。

看来C++（或者Visual Studio？）有一个限制：

• 如果我只使用 typedef，符号会变得太大
• 如果我使用继承，我似乎想扩展 std::tuple，但我不想这样做

难道没有一种更简洁的方法可以在不使用继承的情况下“重命名”模板实例化吗？

Answer 1

创建您自己的 less 和 allocator 实现版本，而不是依赖名称很长的默认版本。

std::map< Library, BookChapterReader, CompareLibrary, MyAllocator > m_data;

分配器类非常简单，比较函子也是如此。