我有这种情况:

#include <iostream>

class SomeClass
{
public:
    int _int;
};

#define DO_SOME_STUFF(ptr) std::cout << /* Print the typeid().hash_code() of the type which ptr is poiting to (int) */;

int main()
{
    int SomeClass::* ptr_to_int_member = &SomeClass::_int;
    DO_SOME_STUFF(ptr_to_int_member)
}

我想知道 ptr 指向哪个类型(目前是 int)。 知道哪个类拥有 int 也很有用(目前是 SomeClass)。

最佳答案

你可以用“template trick”来做到这一点:

template<typename T>
struct PointerToMemberDecomposer {};

template<typename T, typename P>
struct PointerToMemberDecomposer<P T::*>
{
    using ClassType = T;
    using MemberType = P;
};

并将您的代码更改为:

#include <iostream>

template<typename T>
struct PointerToMemberDecomposer {};

template<typename T, typename P>
struct PointerToMemberDecomposer<P T::*>
{
    using ClassType = T;
    using MemberType = P;
};

class SomeClass
{
public:
    int _int;
};

#define DO_SOME_STUFF(ptr) std::cout << typeid(PointerToMemberDecomposer<decltype(ptr)>::MemberType).hash_code();

int main()
{
    int SomeClass::* ptr_to_int_member = &SomeClass::_int;
    DO_SOME_STUFF(ptr_to_int_member)
}

定义几个模板化别名可以使代码更简洁:

#define GET_POINTER_TO_MEMBER_CLASS_TYPE(ptr) PointerToMemberDecomposer<decltype(ptr)>::ClassType
#define GET_POINTER_TO_MEMBER_MEMBER_TYPE(ptr) PointerToMemberDecomposer<decltype(ptr)>::MemberType

因此您可以将 DO_SOME_STUFF 更改为:

#define DO_SOME_STUFF(ptr) std::cout << typeid(GET_POINTER_TO_MEMBER_MEMBER_TYPE(ptr)).hash_code();

解释

这种技术称为部分模板特化。 PointerToMemberDecomposer 的第二个定义将在 pointer-to-member 类型作为模板参数传递时使用；并将捕获新的 T 和 P typename。使用那些新的 typename；它将定义两个类型别名(ClassType 和 MemberType)，因此 T 和 P 可以在 PointerToMemberDecomposer 结构。

当使用PointerToMemberDecomposer时；你应该使用 decltype运算符，其作用类似于 Python 中的 type 或 C# 中的 typeof。 decltype(x) 传递 x 的类型而不是 x 本身。

更新

正如 463035818_is_not_a_number 所提到的；宏可以替换为templated aliases

template <typename T>
using ClassTypeFromPtrToMember_t = typename PointerToMemberDecomposer<T>::ClassType;

template <typename T>
using MemberTypeFromPtrToMember_t = typename PointerToMemberDecomposer<T>::MemberType;

但是你仍然应该使用 decltype 而 DO_SOME_STUFF 是一个宏而不是模板函数，我们不能直接访问 ptr 的类型(请参阅 463035818_is_not_a_number's answer 了解 DO_SOME_STUFF 的模板函数版本:

#define DO_SOME_STUFF(ptr) std::cout << typeid(MemberTypeFromPtrToMember_t<decltype(ptr)>).hash_code();

在这种情况下； DO_SOME_STUFF 可以转换为模板函数。但是你可能想要用宏参数填充一个非捕获的 lambda；这要求 DO_SOME_STUFF 是一个宏。

此外，您可能希望将 ClassType 和 MemberType 更改为 type 并创建两个单独的 struct(或 classes) 用于检索那些类型别名；如果您希望 PointerToMemberDecomposer 看起来像 C++ 的标准库。

了解更多详情；见463035818_is_not_a_number's answer

https://stackoverflow.com/questions/68252606/