Question

例如：

template <typename T>
void foo(T ptr)
{
  typedef GET_CLASS_TYPE(T) ClassT;
  typedef GET_VALUE_TYPE(T) ValueT;
  // ...
}

struct Bar
{
  int var;
};

foo(&Bar::var);

在对foo(...)的最后一次函数调用中，ClassT应为Bar且ValueT应为int。

如何使用普通C ++（不能使用C ++ 11功能）或者提升？

Answer 1

不知道有任何开箱即用的Boost类型特征可以做到这一点，但同样可以使用模板专业化自己编写：

template<typename T>
struct member_pointer_class;

template<typename Class, typename Value>
struct member_pointer_class<Value Class::*>
{
    typedef Class type;
};

template<typename T>
struct member_pointer_value;

template<typename Class, typename Value>
struct member_pointer_value<Value Class::*>
{
    typedef Value type;
};

// TEST
#include <boost/type_traits.hpp>
#include <boost/static_assert.hpp>

struct Bar
{
    int var;
};

template <typename T>
void foo(T ptr)
{
    // test the code
    typedef typename member_pointer_class<T>::type ClassT;
    typedef typename member_pointer_value<T>::type ValueT;
    BOOST_STATIC_ASSERT_MSG((boost::is_same<ClassT, Bar>::value), "member_pointer_class is the same as Bar");
    BOOST_STATIC_ASSERT_MSG((boost::is_same<ValueT, int>::value), "member_pointer_value is the same as int");
}

int main()
{
    foo(&Bar::var);
}

说明：

使用模板推导，我们提取成员指针的有趣类型 - typedef member_pointer_class<T>::type和member_pointer_value<T>::type被定义为适当的类型。 typename is required for disambiguation in templates.代码也可用于指向成员函数的指针。

如果类型不是指向成员的指针，则member_pointer_class<T>::type会产生编译错误。

从指针到成员变量获取类和成员类型

1 个答案: