常量方法指针的类型是啥？

Posted 2023-02-22

【中文标题】常量方法指针的类型是啥？

【英文标题】：What is the type of a constant method pointer?常量方法指针的类型是什么？

【发布时间】：2012-08-22 09:51:36

【问题描述】：

给定一个班级

class C 
public:
    int f (const int& n) const  return 2*n; 
    int g (const int& n) const  return 3*n; 
;

我们可以像这样定义一个函数指针p 到C::f。

int (C::*p) (const int&) const (&C::f);

p 的定义可以使用typedef 进行拆分：

typedef int (C::*Cfp_t) (const int&) const;
Cfp_t p (&C::f);

为了确保p 不会改变（例如p = &C::g;），我们可以这样做：

const Cfp_t p (&C::f);

现在，在这种情况下，p 的类型是什么？我们如何在不使用 typedef 的情况下完成p 的最后定义？ 我知道typeid (p).name () 无法区分最外层的 const，因为它产生了

int (__thiscall C::*)(int const &)const

【参考方案1】：

变量p的类型是int (C::*const) (const int&) const，可以不带typedef定义为：

int (C::*const p) (const int&) const = &C::f;

您的经验法则是：要使您定义的对象/类型为 const，请将 const 关键字放在对象/类型的名称旁边。所以你也可以这样做：

typedef int (C::*const Cfp_t) (const int&) const;
Cfp_t p(&C::f);
p = &C::f; // error: assignment to const variable

【讨论】：

感谢您快速简洁的回答。