模板别名

我有一个模板 template < class T> //1 class A : public LT //2 { public : typedef list<T> LT; //3 }; 这是一个我要写的类的一个简化版本，实际1处模板参数也不止一个，3处的LT是一个很复杂的类型定义，是由一系列typedef最后得到的一个typedef(与T有关) 如果我像上面这么写，编译时会报LT未定义。可是我又不能把3放到类外面，因为LT与模板参数T有关。我目前能想到的就是LT老老实实按照没有typedef之前的形式写。 不知道大家有没好办法，保留上述这种简洁的定义方式，又能让编译通过？ 更多0 分享到：

对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 回复次数：23

关注 kingyo kingyo 本版等级：

#1 得分：0 回复于： 2013-10-09 16:19:50 这是我在编写ATL项目时遇到的一个问题，ATL项目中的类定义摘录如下： template < class IChl, class Ctl, class ChlSmp, class SnsSmp, class Sns> class IChunnelImp : public IChl, public ISensorsCollImpl { public : typedef typename list<CAdapt<CComObjectPtr<Sns>>> SensorContainer; typedef typename CComEnumOnSTL<IEnumVARIANT, &IID_IEnumVARIANT, VARIANT, _CopyVariantFromAdaptComObjectPtr<Sns>, SensorContainer> CComEnumVariantOnListOfSensors; typedef typename ICollectionOnSTLImpl< IDispatchImpl<IChunnel, &IID_IChunnel, &LIBID_TroikaLib, /*wMajor =*/ 1, /*wMinor =*/ 0>, SensorContainer, ISensor*, _CopyItfFromAdaptComObjectPtr<ISensor, Sns>, CComEnumVariantOnListOfSensors> ISensorsCollImpl; //... }; 这是一个集合的实现，大家可以看到ISensorsCollImpl是由3个typedef最后才得到的，并且他是IChunnelImp的基类，其结构就像问题中的简化例子一样。

对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 supermegaboy 飞天御剑流 本版等级：	#2 得分：0 回复于： 2013-10-09 16:44:27 C++11的模板别名可以解决你的问题。 temple< typename T > using ……
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 kingyo kingyo 本版等级：	#3 得分：0 回复于： 2013-10-09 17:25:04 伤心，这是在VS2005中，好像没有类型别名吧？
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 Saleayas Saleayas 本版等级：	#4 得分：15 回复于： 2013-10-09 17:57:34 template < class T> class LTT { public : typedef list<T> type; }; template < class T> //1 class A : public typename LTT<T>::type //2 { };
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 taodm taodm 本版等级：	#5 得分：0 回复于： 2013-10-09 20:39:11 就别想着偷懒呗。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 kingyo kingyo 本版等级：	#6 得分：0 回复于： 2013-10-10 09:30:39 引用 4 楼 Saleayas 的回复: template < class T> class LTT { public : typedef list<T> type; }; template < class T> //1 class A : public typename LTT<T>::type //2 { }; 按照Saleayas的方法，可以达到我要的效果，谢谢。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 kingyo kingyo 本版等级：	#7 得分：0 回复于： 2013-10-10 09:31:38 引用 5 楼 taodm 的回复: 就别想着偷懒呗。 呵呵，程序员都喜欢偷懒。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 mujiok2003 mujiok2003 本版等级：	#8 得分：0 回复于： 2013-10-10 09:49:40 引用 4 楼 Saleayas 的回复: template < class T> class LTT { public : typedef list<T> type; }; template < class T> //1 class A : public typename LTT<T>::type //2 { }; type traits. +1
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 kingyo kingyo 本版等级：	#9 得分：0 回复于： 2013-10-10 10:38:39 就是traits
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 supermegaboy 飞天御剑流 本版等级：	#10 得分：0 回复于： 2013-10-10 13:00:35 4楼的方法是不被推荐的，在没有模板别名的C++03，传统上就如四楼那样用一个类去代替typedef，问题是这个类其实是冗余的，它仅仅为了某些并非必要的语法便利而成为一个无用的替代物。因为这个缘故，C++11才提出了模板别名来代替这种方式。 楼主懂得使用VS2005，难道使用VS2010或者VS2012会成为一件很困难的事情么？？
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 stereoMatching stereoMatching 本版等级：	#11 得分：0 回复于： 2013-10-10 14:32:05 引用 10 楼 supermegaboy 的回复: 4楼的方法是不被推荐的，在没有模板别名的C++03，传统上就如四楼那样用一个类去代替typedef，问题是这个类其实是冗余的，它仅仅为了某些并非必要的语法便利而成为一个无用的替代物。因为这个缘故，C++11才提出了模板别名来代替这种方式。 楼主懂得使用VS2005，难道使用VS2010或者VS2012会成为一件很困难的事情么？？ 你经验丰富，一定明白换不换编译器全看PM的脸色 而当上PM后，很多人都不再继续专研技术了 只要老方法还能够用，就不要改变也不求改进
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 ri_aje ri_aje 本版等级：	#12 得分：5 回复于： 2013-10-10 14:44:31 那试试这样呢，虽然也不是太好看吧，不过暂时避免了 #10 说的问题，而且也不需要 c++11 的特性。 template < class T, typename LT = std::list<T>> class A : public LT { };
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 Saleayas Saleayas 本版等级：	#13 得分：0 回复于： 2013-10-10 14:56:48 我好像记得 VS 2012  也不支持 template aliases 的。 当时，我测试过 C++11 新支持的东西。 可以就是不支持模板别名和变参模板。 不过 VS 2013 完美支持了。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 Saleayas Saleayas 本版等级：	#14 得分：0 回复于： 2013-10-10 14:58:40 很多开发时多是团队开发， 而在一个团队里面，是有人不希望随便更换编译器的。 所以，一个团队换编译器是很麻烦的。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 supermegaboy 飞天御剑流 本版等级：	#15 得分：0 回复于： 2013-10-10 18:10:16 真是可恶，2010和2012均未提供模板别名，2013 RTM才开始支持，g++早就有了。一向不喜欢微软的C/C++编译器，只是很多时候又不得不使用它们，无奈。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 supermegaboy 飞天御剑流 本版等级：	#16 得分：0 回复于： 2013-10-10 18:14:55 引用 12 楼 ri_aje 的回复: 那试试这样呢，虽然也不是太好看吧，不过暂时避免了 #10 说的问题，而且也不需要 c++11 的特性。 template < class T, typename LT = std::list<T>> class A : public LT { }; 你这个做法其实跟四楼是一样的（称为元函数转发），好处就是少写个type，但本质一样。 MPL经常使用元函数转发简化代码。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 supermegaboy 飞天御剑流 本版等级：	#17 得分：0 回复于： 2013-10-10 18:22:09 引用 11 楼 stereoMatching 的回复: 楼主懂得使用VS2005，难道使用VS2010或者VS2012会成为一件很困难的事情么？？ 你经验丰富，一定明白换不换编译器全看PM的脸色 而当上PM后，很多人都不再继续专研技术了 只要老方法还能够用，就不要改变也不求改进 引用 14 楼 Saleayas 的回复: 很多开发时多是团队开发， 而在一个团队里面，是有人不希望随便更换编译器的。 所以，一个团队换编译器是很麻烦的。 这个不一定的，信息项目的特点就是需求变化频繁，编译器选择就是配置管理中的一项内容，同时在风险控制中需要加以考虑并拟定补救措施。
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 unituniverse2 unituniverse2 本版等级：	#18 得分：0 回复于： 2013-10-10 18:42:50 引用 13 楼 Saleayas 的回复: 我好像记得 VS 2012  也不支持 template aliases 的。 当时，我测试过 C++11 新支持的东西。 可以就是不支持模板别名和变参模板。 不过 VS 2013 完美支持了。 并不完美 目前测试的结果，类似这种仍然没有支持： template < typename _Ty > using MyPtr = _Ty *; //既非类结构也非函数，但是却合法
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 ri_aje ri_aje 本版等级：	#19 得分：0 回复于： 2013-10-10 23:40:37 引用 16 楼 supermegaboy 的回复: Quote: 引用 12 楼 ri_aje 的回复:  那试试这样呢，虽然也不是太好看吧，不过暂时避免了 #10 说的问题，而且也不需要 c++11 的特性。 template < class T, typename LT = std::list<T>> class A : public LT { }; 你这个做法其实跟四楼是一样的（称为元函数转发），好处就是少写个type，但本质一样。 MPL经常使用元函数转发简化代码。 我觉得楼主就是不想同样的东西打两遍。 你说的 using 的那个方法，其实我也没理解怎么避免多次重复打字，并且不引入冗余名称，要不你秀秀代码？
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 ri_aje ri_aje 本版等级：	#20 得分：0 回复于： 2013-10-11 00:00:53 never mind, I think I got it.
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 unituniverse2 unituniverse2 本版等级：

#21 得分：0 回复于： 2013-10-11 04:30:54 引用 19 楼 ri_aje 的回复: Quote: 引用 16 楼 supermegaboy 的回复: Quote: 引用 12 楼 ri_aje 的回复:  那试试这样呢，虽然也不是太好看吧，不过暂时避免了 #10 说的问题，而且也不需要 c++11 的特性。 template < class T, typename LT = std::list<T>> class A : public LT { }; 你这个做法其实跟四楼是一样的（称为元函数转发），好处就是少写个type，但本质一样。 MPL经常使用元函数转发简化代码。 我觉得楼主就是不想同样的东西打两遍。 你说的 using 的那个方法，其实我也没理解怎么避免多次重复打字，并且不引入冗余名称，要不你秀秀代码？ 这不是打几遍的问题，毕竟是拷贝黏贴就可以做到的，就省那么几个字又没谁会给好处。 关键是维护问题。如果某个定义字数很长很复杂。以后再改动的时候就可能出现没有同步修改的情况。毕竟到那时候再看代码可能根本不记得这个代码应该和另一个是一起的，可能还以为只是个单独的表达式了。 至于有没有更好的方法，目前本人也还没发现，谁有方法倒是可以说一下。 template<class T, typename LT = std::list<T>> class A : public LT 这方法真的不行。因为这样的话并不符合lz那种强制性的绑定约束

对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 ri_aje ri_aje 本版等级：

#22 得分：0 回复于： 2013-10-11 10:21:51 引用 21 楼 unituniverse2 的回复: Quote: 引用 19 楼 ri_aje 的回复: Quote: 引用 16 楼 supermegaboy 的回复: Quote: 引用 12 楼 ri_aje 的回复:  那试试这样呢，虽然也不是太好看吧，不过暂时避免了 #10 说的问题，而且也不需要 c++11 的特性。 template < class T, typename LT = std::list<T>> class A : public LT { }; 你这个做法其实跟四楼是一样的（称为元函数转发），好处就是少写个type，但本质一样。 MPL经常使用元函数转发简化代码。 我觉得楼主就是不想同样的东西打两遍。 你说的 using 的那个方法，其实我也没理解怎么避免多次重复打字，并且不引入冗余名称，要不你秀秀代码？ 这不是打几遍的问题，毕竟是拷贝黏贴就可以做到的，就省那么几个字又没谁会给好处。 关键是维护问题。如果某个定义字数很长很复杂。以后再改动的时候就可能出现没有同步修改的情况。毕竟到那时候再看代码可能根本不记得这个代码应该和另一个是一起的，可能还以为只是个单独的表达式了。 至于有没有更好的方法，目前本人也还没发现，谁有方法倒是可以说一下。 template<class T, typename LT = std::list<T>> class A : public LT 这方法真的不行。因为这样的话并不符合lz那种强制性的绑定约束 同意你前半截的理论。 至于你说默认模板参数"不符合lz那种强制性的绑定约束"，我不理解。 什么叫“强制性的绑定约束”？ LT 在类作用域内部已经是通用的了，还那里需要导致代码重复，以至于“再看代码可能根本不记得这个代码应该和另一个是一起的”？ 唯一造成问题的就是 LT 需要在类外使用，这样的话可能导致重复，然后导致维护问题。 解决方案可以用 traits 或类似的技术，比如类内定义类型，然后所有其他地方都通过类的 qualified 名称访问。 也可以用 using，但和 traits 本质是一样的。 反正我目前还没看出 using 有什么巨大根本的优势，除了更现代化更干净些。

对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

关注 supermegaboy 飞天御剑流 本版等级：

#23 得分：0 回复于： 2013-10-11 20:05:50 引用 22 楼 ri_aje 的回复: 也可以用 using，但和 traits 本质是一样的。 反正我目前还没看出 using 有什么巨大根本的优势，除了更现代化更干净些。 using与四楼的方法是不一样的（连本质也不一样），其实四楼那个方法还不能说是traits，它与traits只是形似，但神不似，traits的目的是非侵入式扩展，但四楼的方法显然与此沾不上边，它不过利用了一下一阶元函数的输出而已，就好像做一张椅子，缺个腿，当天的木头却用光了，于是临时用块砖头垫一下，这样也能凑合着用一天，但砖头始终是砖头，它永远不能代替椅子腿，只要用着砖头，这把椅子就是不完整的。 模板别名就是这样一把椅子腿，四楼的方法就是这样一块砖头。无法typedef的模板本来就是语言设施设计时的疏漏，特别是template-id常常长得像鸡肠一样，模板的设计者竟然没想到给它个别名，C++11现在总算把这条椅子腿给补上来了。