C++ 11实现检查是否存在特定的成员函数
问题提出
最近工作中遇到这样一个需求:实现一个ToString函数将类型T转换到字符串,如果类型T中含有同名方法ToString则直接调用。
这样一个ToString实现可以使用std::enable_if
来做到,但是这里的难点在于如何判断类型T中存在这样一个ToString方法,以便可以放入enable_if中做SFINAE。
检查类中是否存在特定成员
相同的问题在知乎上有人提出过,@孙明琦的答案提供了一个用于检测特定检测子U在类型T下是否有效的检测器is_detected_v。其中用到了一个C++17的std::void_t
,考虑到目前C++17还没得用,这个实现只作参考之用(事实上C++17自带了一个这样的检测器,并不需要自己写这样的模板)。
经人提醒,我参考了下标准库在实现swap上做的努力,看到了这样的写法:
namespace __swappable_details { using std::swap; struct __do_is_swappable_impl { template <typename _Tp, typename = decltype(swap(std::declval<_Tp&>(), std::declval<_Tp&>()))> static true_type __test(int); template <typename> static false_type __test(...); }; } template <typename _Tp> struct __is_swappable_impl : public __swappable_details::__do_is_swappable_impl { typedef decltype(__test<_Tp>(0)) type; }; template <typename _Tp> struct __is_swappable : public __is_swappable_impl<_Tp>::type {};
简单分析可以看到__is_swappable
被用来检查是否存在一个swap
函数接受T作为参数,很有趣的是__test
函数,如果存在swap函数满足条件,那么test(int)
这个重载版本就会被选中。而如果不满足条件,因为推导失败就剩下了test(…)这个版本。通过这一手段,再设置下返回值分别为true
和false
,就实现了这样的一个检测过程。
按图索骥,检查是否存在成员ToString的模板就可以这么写:
namespace details { struct HasMemberToStringValidator { template <typename T, typename = decltype(&T::ToString)> static std::true_type Test(int); template <typename> static std::false_type Test(...); }; } template <typename T> struct HasMemberToString : public decltype(details::HasMemberToStringValidator::Test<T>(0)) {};
HasMemberToString::value
就是T中是否存在该成员的计算结果。
检测是否存在特定成员函数
但是上述代码有个问题,如果类T中的ToString是个成员变量,上述检测也会返回true。
解决这一问题的手段是去调用T::ToString
,如果这个ToString可以被调用并能生成返回值,就认为这是个成员函数(严谨的讲,这个过程是确认T::ToString
是callable的,但是callable的玩意不一定就是成员函数,然而实际使用并不需要这样细分)。
这里的另一个问题是,因为ToString是成员函数,那么decltype(T::ToString())
这种手段就行不通了,因为成员函数必须带对象进行调用。既然必须要一个对象,那么这里的解决方法就是用上declval来产生一个对象,再用decltype获取返回值类型。
按照这个思路,验证过程被改动成:
struct HasMemberToStringValidator { template <typename T, typename U = typename std::decay<decltype(std::declval<T>().ToString())>::type, typename = typename std::enable_if<std::is_same<std::string, U>::value>::type> static std::true_type Test(int); template <typename> static std::false_type Test(...); };
这个升级版本除了能检查是否存在成员函数ToString以外还对返回值做了限定,确保返回的是string。以此类推,还能检查返回是否是u16string、u32string。
总结
以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作能带来一定的帮助,如果有疑问大家可以留言交流,谢谢大家对猪先飞的支持。
相关文章
- 今天在写 C++ 代码的时候用上 C++11 的特性,然后发现 VSCode 虽然可以编译通过,但是会在相应位置报红,这是怎么回事呢?下面小编给大家带来了解决方法,一起看看吧...2021-09-27
- 下面小编就为大家带来一篇C++静态成员函数不能调用非静态成员变量(详解)。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧...2020-04-25
- 这篇文章主要给大家介绍了关于c++11中regex正则表达式的相关资料,文中通过示例代码介绍的非常详细,对大家学习或者使用c++11具有一定的参考学习价值,需要的朋友们下面来一起学习学习吧...2020-04-25
- 这篇文章主要介绍了C++编程中类的成员变量和成员函数的相关知识,是C++入门学习中的基础知识,需要的朋友可以参考下...2020-04-25
- 这篇文章主要给大家介绍了关于C++中四个默认成员函数与运算符重载的相关资料,文中通过示例代码介绍的非常详细,对大家具有一定的参考学习价值,需要的朋友们下面来跟着小编一起学习学习吧。...2020-04-25
- 这篇文章主要给大家介绍了关于C++11中原子量和内存序的相关资料,文中通过示例代码介绍地方非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- 这篇文章主要给大家介绍了关于C++类中六个默认的成员函数的相关资料,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2021-04-08
- 不使用成员函数,为了访问类的成员变量,可以使用友元操作符(friend),在C++中将该函数说明为类的友元即可...2020-04-25
- 以下是对C++运算符重载 成员函数与友元函数进行了介绍,需要的朋友可以过来参考下...2020-04-25
- 这篇文章主要介绍了C++11中的default函数使用,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2021-05-01
- 这篇文章主要介绍了C++类的空指针调用成员函数,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下...2020-07-31
- 本文主要介绍了C++11各种锁的具体使用,文中通过示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下...2021-08-10
- 这篇文章主要给大家介绍了关于C++11中std::declval实现机制的相关资料,文中通过示例代码介绍的非常详细,对大家具有一定的参考学习价值,需要的朋友们下面来一起看看吧。...2020-04-25
- 这篇文章主要介绍了C++11 简单实现线程池的方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2020-10-27
- c_str()函数返回一个指向正规c字符串的指针,内容和string类的本身对象是一样的,通过string类的c_str()函数能够把string对象转换成c中的字符串的样式...2020-04-25
C++11特性小结之decltype、类内初始化、列表初始化返回值
这篇文章主要介绍了C++11特性小结之decltype、类内初始化、列表初始化返回值,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下...2020-05-25- 对于c++11来说移动语义是一个重要的概念,一直以来我对这个概念都似懂非懂。最近翻翻资料感觉突然开窍,因此顺便记录下C++11中的右值引用、转移语义和完美转发,方便大家查阅参考。...2020-04-25
C++11中lambda、std::function和std:bind详解
大家都知道C++11中增加了许多的新特性,下面在这篇文中我们就来聊一下lambda表达式,闭包,std::function以及std::bind。文中介绍的很详细,相信对大家具有一定的参考价值,有需要的朋友们下面来一起看看吧。...2020-04-25- 熟悉脚本语言的人都知道,很多脚本语言都引入了“类型自动推断”技术:比如Python,可以直接声明变量,在运行时进行类型检查。随着C++11标准的发布,C++语言也引入了类型自动推断的功能。这篇文章主要介绍了C++11新特性之auto的使用,有需要的朋友们可以参考借鉴。...2020-04-25
- 本篇文章主要介绍了C++11返回类型后置语法的使用示例,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧...2020-04-25