为什么静态成员函数不能有 const 限定符？

发布于 2024-11-29 02:43:50 字数 106 浏览 4 评论 0原文

今天我遇到了一个问题。我需要一个 static 成员函数，const 不是必须的，而是更好的。但是，我的努力并没有成功。有人能说出为什么或如何吗？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

黯淡〆 2024-12-06 02:43:50

当您将 const 限定符应用于非静态成员函数时，它会影响 this 指针。对于 C 类的 const 限定成员函数，this 指针的类型为 C const*，而对于非 const 限定的成员函数const 限定的，this 指针的类型为 C*。

静态成员函数没有 this 指针（这样的函数不会在类的特定实例上调用），因此静态成员函数的 const 限定没有任何意义。

回复收藏 0 原文

秋日私语 2024-12-06 02:43:50

我同意你的问题，但不幸的是 C++ 就是这样设计的。例如：

class A {
  int i;         //<--- accessed with 'this'
  static int s;  //<---- accessed without 'this'
public:
  static void foo ()  const // <-- imaginary const
  {}
};

从今天开始，const 被认为是在 this 的上下文中。从某种程度上来说，它是狭窄的。通过在 this 指针之外应用此 const 可以使其变得更宽。
即“建议的”const（也可能适用于静态函数）将限制静态成员的任何修改。

在示例代码中，如果可以将foo()设为const，则在该函数中，A::s不能被修改。如果将此规则添加到标准中，我看不到任何语言副作用。相反，有趣的是为什么这样的规则不存在！

I agree with your question, but unfortunately the C++ is designed that way. For example:

class A {
  int i;         //<--- accessed with 'this'
  static int s;  //<---- accessed without 'this'
public:
  static void foo ()  const // <-- imaginary const
  {}
};

As of today, the const is considered in context of this. In a way, it's narrow. It can be made broader by applying this const beyond this pointer.
i.e. the "proposed" const, which may also apply to static functions, will restrict the static members from any modification.

In the example code, if foo() can be made const, then in that function, A::s cannot be modified. I can't see any language side effects, if this rule is added to standard. On the contrary, it's amusing that why such rule doesn't exist!

回复收藏 0 原文

朮生 2024-12-06 02:43:50

不幸的是，C++ 不按照设计接受它，但从逻辑上讲，它验证良好的用例很少。

类级别有效（静态）的函数可能不会更改任何静态数据，可能只是查询数据应该是常量。
也许应该是这样

if(Object)
    MakeThisConstant()
else
    MakeStaticDataConstant() // Only in the scope but static data cannot be constant so may be it should in some scenarios

It is unfortunate that C++ doesn't accept it as per design but logically there are few use cases in which it validates well.

A function which is class level valid(static) might not change any static data, may be it will just query data should be const.
May be it should be like

if(Object)
    MakeThisConstant()
else
    MakeStaticDataConstant() // Only in the scope but static data cannot be constant so may be it should in some scenarios

回复收藏 0 原文