C++模板判断类是否存在某个成员变量

最新推荐文章于 2024-08-29 14:24:50 发布

双杯献酒

最新推荐文章于 2024-08-29 14:24:50 发布

阅读量3.2k

点赞数 3

分类专栏： C++FAQ 算法文章标签： C++ 模板成员变量

本文链接：https://blog.csdn.net/iicup/article/details/93208854

版权

C++FAQ 同时被 2 个专栏收录

54 篇文章 0 订阅

订阅专栏

算法

50 篇文章 1 订阅

订阅专栏

#include <iostream>
#include <type_traits>

// 检查 xxxx 是否是类T的成员
template <typename T>
struct has_member_xxxx
{
	// 如果 &T::xxxx 合法, 本函数就合法
	// 下面check<T>(0)优先调用本函数, 返回值是void
	template<typename U>
	static void check(decltype(&U::xxxx));

	// 否则, 下面chech<T>(0)调用本函数
	// 返回值是int
	template<typename U>
	static int check(...);

	// 如果check<T>(0)的返回值是void, 
	// 则&T::xxxx合法, xxxx是T的成员
	enum { value = std::is_void<decltype(check<T>(0))>::value };
};


struct A
{
	int xxxx;
};

struct B
{
	void xxxx() {};
};

struct C
{
};

int main(int argc, char** argv)
{
	std::cout << "A::xxxx = " << has_member_xxxx<A>::value << std::endl;
	std::cout << "B::xxxx = " << has_member_xxxx<B>::value << std::endl;
	std::cout << "C::xxxx = " << has_member_xxxx<C>::value << std::endl;

	return 0;
}

/*
运行输出
A::xxxx = 1
B::xxxx = 1
C::xxxx = 0
*/

一种更简洁的实现, 见 https://blog.csdn.net/netyeaxi/article/details/83479646