c++ - 为什么静态成员函数不能是常量？

Question

我浏览了关于该主题的现有线程，但对解释不满意。

我可以从那里学到的是:

当一个非静态成员函数被声明为const时，这个this指针就会受到限制。由于静态成员函数不涉及 this 指针，因此不能将它们声明为 const。

是吗？对我来说听起来不太有说服力。我的意思是，我不是在质疑为什么会这样。我只想知道原因。

Answer 1

const 非静态成员函数允许修改局部、静态和全局变量；它只是不允许通过 this 指针(隐式或显式)修改其类的成员。因此，const 静态成员函数将被允许修改局部、静态和全局变量，就像非成员函数一样。这将使 const 变得毫无意义。

如果您想编写一个根本不允许修改任何非局部变量的函数，您可以将其声明为 constexpr，尽管这也会施加额外的限制。