C++模板技巧：编译期探测类成员

最新推荐文章于 2024-06-23 21:33:56 发布

nineforever

最新推荐文章于 2024-06-23 21:33:56 发布

阅读量1.3k

点赞数

分类专栏： C++ 文章标签： c++ struct 编译器平台优化 gcc

本文链接：https://blog.csdn.net/nineforever/article/details/4156134

版权

本文介绍了如何使用C++模板在编译时探测类中是否存在指定名称和类型的成员。通过函数重载和模板非类型参数，实现了一个名为`has_member_f`的type trait。该技巧可以用于简化dispatcher，例如在内存复制中根据平台选择最优实现。代码在VC8、VC9和gcc 3.4.5上测试通过。

摘要由CSDN通过智能技术生成

原文：http://blogs.msdn.com/xiangfan/archive/2009/02/09/c-template-trick-detecting-the-existence-of-class-member-at-compile-time.aspx

C++0x提供了丰富的type trait用于generic编程。但是，其中并没有探测类成员的type trait。不借助编译器的帮助，要实现这个type trait是很困难的。这里我们对需求进行适当的修改：探测类中是否存在指定名称和类型的成员。

在C++中，函数重载是最常见的实现type trait的方法。但是，函数重载是基于类型的。默认参数和访问权限都在函数重载之后进行。这里我们希望探测指定的成员是否存在，所以需要找到一种将成员转换为类型的方法。幸运的是，模板支持非类型的参数。下面展示了基于这一想法的实现：

namespace van {
    namespace type_traits {
        namespace detail {
            typedef char Small;
            struct Big { char dummy[2];};

            template<typename Type,Type Ptr>
            struct MemberHelperClass;

            template<typename T,typename Type>
            Small MemberHelper_f(MemberHelperClass<Type,&T::f> *);
            template<typename T,typename Type>