c++ - (struct PToMTraits) 模板规范是什么意思？

Question

我在 Alexandrescu 的书中发现了这个类型特征，但我不知道如何理解这个规范

template <typename T>
class TypeTraits
{
private:
template <class U> struct PToMTraits
{
enum { result = false };
};
template <class U, class V>
struct PToMTraits<U V::*>
{
enum { result = true };
};
public:
enum { isMemberPointer = PToMTraits<T>::result };
...
};

Answer 1

它是一个Pointer to Member 检查器，因此是PtoM。

它检查传入的类型是否是指向数据成员的指针类型(或不是)。它通过提供一个 result 为 false 的主模板和匹配 U V::* 的任何类型的部分特化(即指向任何类型 V 的任何类 U 的数据成员的指针，其 result 为 true。