指向 const 成员变量的指针

Question

我想知道指向常量成员变量的指针的语法是什么。

我知道指向非常量成员函数的指针和指向常量成员函数的指针显然是不同的类型，即以下是两种不同的类型：

typedef void (Foo::*Bar)(void);
typedef void (Foo::*ConstBar)(void) const;

我想知道指向非常量和常量的指针是否也可以这样说成员变量，即也有以下两种不同的类型，如果是，后者的语法是什么：

typedef int (Foo::*var);
typedef int (Foo::*constVar) const; // Not the correct syntax.

谢谢。

Answer 1

指向成员的指针的类型需要与成员的类型匹配：

typedef       int (Foo::*var);  // pointer to a data member of type 'int'
typedef const int (Foo::*cvar); // pointer to a data member of type 'const int'

成员函数的 const 限定是其类型的一部分，就像返回类型是其类型的一部分一样。

Answer 2

只是为了让它更有趣：

typedef const int (Foo::*(Foo::*ConstBar)(void) const);

ConstBar 是一个指向 const 成员函数的指针，不带参数并返回一个指向 int 类型的 const 成员的指针。

关于如何记住问题中的语法的一般提示：您只需按照定义类成员的方式编写它

void name(void) const; // const function
const int name; // const member

，然后将 name 替换为 (Foo::*name)< /代码>，结果是：

void (Foo::*name)(void) const; // pointer to const function
const int (Foo::*name); // pointer to const member