结构体是否包含特定类型的成员变量
结构体是否包含特定类型的成员变量
在C++中，可以使用模板元编程和类型特性（type traits）来判断一个结构体是否包含特定类型的成员变量。这通常通过std::is_member_object_pointer类型特性来实现，它可以用来检查给定的成员指针是否指向结构体中的成员。
#include <iostream>
#include <type_traits>
struct S1 {
int id = 0;
};
struct S2 {
int id = 0;
std::string code;
};
// 检查T类型是否包含名为'code'的std::string类型成员变量
template <typename T, typename = void>
struct has_code : std::false_type {};
template <typename T>
struct has_code<T, std::void_t<decltype(T::code)>>
: std::is_same<decltype(T::code), std::string> {};
// 辅助变量模板
#if _HAS_CXX17
template <typename T>
inline constexpr bool has_code_v = has_code<T>::value;
#else
template <typename T>
constexpr bool has_code_v = has_code<T>::value;
#endif
int main() {
std::cout << std::boolalpha;
std::cout << "S1 has code: "
<< has_code_v<S1> << std::endl; // 输出: false
std::cout << "S2 has code: "
<< has_code_v<S2> << std::endl; // 输出: true
return 0;
}
在这个示例中：
has_code是一个模板结构体，它使用SFINAE（Substitution Failure Is Not An Error）技术来检查类型T是否包含名为code的成员变量。std::void_t<decltype(T::code)>用于在T类型中存在名为code的成员时产生一个void类型，否则产生一个替换失败。std::is_same<decltype(T::code), std::string>用于检查code成员是否为std::string类型。has_code_v是一个变量模板，它提供了一个方便的方式来直接访问has_code<T>::value的值。has_code模板结构体的定义
- 主模板
template<typename T, typename = void> struct has_code : std::false_type {};：这是一个通用的模板定义，当没有针对特定类型T的特化版本被匹配时，它将被使用。这里默认继承自std::false_type，表示假设类型T不包含名为code的std::string类型成员变量。 - 特化模板
template<typename T> struct has_code<T, std::void_t<decltype(T::code)>> : std::is_same<decltype(T::code), std::string> {};：这个特化版本仅在T中存在名为code的成员变量时才会被匹配。 std::void_t<decltype(T::code)>是一个巧妙的技巧，它使用decltype(T::code)来获取T中code成员的类型，如果T中不存在code成员，decltype(T::code)会导致替换失败（这是 C++ 模板替换失败不是错误原则的应用），从而这个特化版本不会被匹配，而是使用主模板。如果T中存在code成员，std::void_t<decltype(T::code)>会被替换为void，特化版本就会被匹配，然后通过std::is_same<decltype(T::code), std::string>来进一步检查code成员的类型是否为std::string。
这种方法可以扩展到检查任何类型的成员变量，只需将std::string替换为你需要检查的类型即可。
原文地址：https://blog.csdn.net/qq_47355554/article/details/143667966
免责声明：本站文章内容转载自网络资源，如本站内容侵犯了原著者的合法权益，可联系本站删除。更多内容请关注自学内容网（zxcms.com）！