本文介绍了C++ TR1中is_base_of模板的实现原理，探讨了一个可能不常见的匹配顺序问题。通过分析源代码，解释了如何通过模板特性和隐式转换判断一个类型是否为另一个类型的基类。文中还提供了一个简化版的is_base_of实现，并以实例展示了其工作过程，强调了在匹配函数选择时的关键细节。
今天不知何故，一个意外神游到is_base_of的原代码处，发现了一个以前从没碰上的匹配顺序的情况，貌似C++的书里都没提到过这种情况，也可能是自己看书不认真，哈哈。Whatever，确实是一个很tricky的东西，就在这里小记一下吧。
is_base_of以两个类型作为模板参数，然后用模板里定义的value来说明前一个是否后一个的基类，当然，如果这两个的类型完全相同，那么value的值也是真。是非常典型的模板trait。下面代码是自己写的一个缩简版，仅供说明问题：
- #include <iostream>
- using namespace std;
- template <typename T1, typename T2>
- struct is_same
- {
- static const bool value =
最低0.47元/天 解锁文章
402
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
