c++ - typedef T Type::* 语法

Question

我需要帮助来理解以下(简化的)代码片段:

template < typename R >
struct Variable
{
    typedef VariableBaseTable< R >  BaseType;
    typedef R BaseType::*            VarType; //!

    template < typename Type >
    R & operator()(Type * obj) const
    {
        return (reinterpret_cast< ObjType >(obj))->*(_variable); //!
    }
    // more stuff follows
}

我需要帮助理解的两行最后标有 //!。

我无法理解 R BaseType::* 的定义。特别是 ::* 语法的工作原理。

在第二个标记行中，我无法理解语法 obj->*(_var)，我可以看到 obj 正在被取消引用，但是 * 是什么在那之后做吗？

Answer 1

typedef R BaseType::* VarType;

是一个类型别名，它将 VarType 定义为类型为 R 的 BaseType 成员的指针。在标记的第二行中，您正在通过 pointer-to-member access operator 访问字段 _variable ->*，参见例如this有关语法和一些示例的更多详细信息。