c++ - 存储或反射(reflect)在变量的 "reference level"

Question

C++有没有办法反射(reflect)一个变量的“指针的层数”，(比如int* a是1层，int** b为2级，int c为0级)

.. 除了使用 typeid 并解析由此产生的字符串外？

我问的原因是我正在使用 pointers to member functions ，我需要知道是否真的在编译时将成员函数调用为 obj->func() 或 obj.func()。

Answer 1

如果 obj 是一个 T**，则执行 obj.*foo 是病式的。所以只需要搞清楚是指针还是非指针就可以了。您可以为此使用重载。

template<typename T, typename M> void f(T *obj, M m) { // pointer
  (obj->*m)();
}

template<typename T, typename M> void f(T &obj, M m) { // not a pointer
  (obj.*m)();
}

它的缺点是它只适用于零参数成员函数指针，并且不会返回那些函数返回的值(如果有的话)。您不能执行以下操作(很容易实现)，因为两个分支都将进行类型检查

if(is_pointer(obj)) v = (obj->*m)(arg...); else v = (obj.*m)(args...);

你可以做的就是调用一个函数来取消引用你的对象，如果它是一个指针的话

template<typename T> T &deref(T *t) { return *t; }
template<typename T> T &deref(T &t) { return t; }

然后你可以说

v = (deref(obj).*m)(args...);