如何在编译时获取指向非静态数据成员的指针的对象类型

Question

假设我们有一个简单的数据类，如下所示：

struct DataObj
{ 
char member[32];
}

以及指向数据对象中成员的指针类型：

typedef decltype(&DataObj::member) memberObjPtr;

如何推断指针指向的成员变量的类型？具体来说，我如何获得：

typedef myExpression<memberObjPtr>::type myType;
std::is_same<char[32],myType>::value == true

到目前为止我尝试了什么：

std::remove_pointer
std::remove_reference
std::decay

没有成功。标准中是否隐藏了类似remove_member_object_pointer的内容？这是我需要的，但似乎找不到。。

Answer 1

成员指针和常规指针是完全不同的类型。从成员指针到常规对象指针，没有任何内容可以添加或删除。你需要一种专注型的特质。

// General case
// If a type isn't supported by a partial specialization
//  it will use this case and fail to compile
template<class T>
struct mbrptr_to_type;
// Partial specialization that matches any data member pointer type
// T C::* means "pointer to member of type `T` in class `C`"
template<class T, class C>
struct mbrptr_to_type<T C::*> {
// Save the member type so it can be retrieved
using type = T;
};
// Helper alias
template<class T>
using mbrptr_to_type_t = typename mbrptr_to_type<T>::type;

使用您的测试用例：

struct DataObj
{
char member[32];
};
// myType will be char[32]
using myType = mbrptr_to_type_t<decltype(&DataObj::member)>;
// Verification
#include <type_traits>
static_assert(std::is_same<char[32], myType>::value);

实例：Godbolt

Answer 2

如果您不关心引用，可以就地执行以下操作：

using member_t = std::remove_reference_t<decltype(std::declval<DataObj>().member)>;

它不那么笼统，但比另一个答案短一点。