C ++-静的メンバー関数を「const」修飾子で作成できない理由

今日、私は問題を抱えました。私はstaticメンバー関数をconst必要としています。必須ではありませんが、より優れています。しかし、私は自分の努力に成功しませんでした。誰かが理由や方法を言うことができますか？

const修飾子を非静的メンバー関数に適用すると、thisポインターに影響します。クラスのconst修飾メンバー関数のC場合、thisポインターはタイプC const*ですが、const修飾されていないメンバー関数の場合、thisポインターはタイプC*です。

静的メンバー関数にはthisポインターがないため（このような関数はクラスの特定のインスタンスで呼び出されません）、静的メンバー関数のconst修飾は意味がありません。

私はあなたの質問に同意しますが、残念ながらC ++はそのように設計されています。例えば：

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

今日の時点でconst、はのコンテキストで考慮されますthis。ある意味、狭いです。これconstをthisポインタを超えて適用することで、より広くすることができます。
つまり、「提案された」はconst、static関数にも適用される可能性があり、staticメンバーによる変更を制限します。

サンプルコードでは、作成foo()できる場合const、その関数でA::sは変更できません。このルールが標準に追加された場合、言語の副作用は見られません。それどころか、なぜそのようなルールが存在しないのかは面白いです！

詳細に立ち入ることなく、関数によって変更されたオブジェクトがある場合とない場合があるため、constはコンパイラーにとってあいまいです。

constオブジェクトを一定に保つことを思い出してください。ただし、一定に保つためのオブジェクトがここにある場合とない場合があります。

C ++が設計どおりにそれを受け入れないのは残念ですが、論理的には、それが適切に検証されるユースケースはほとんどありません。

クラスレベルvalid（static）である関数は、静的データを変更しない可能性があります。クエリデータはconstである必要があります。たぶんそれは

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

'constメンバー関数'は、呼び出されたオブジェクトを変更することはできませんが、静的メンバー関数はどのオブジェクトでも呼び出されません。スコープ解決演算子によって直接使用されます。したがって、const静的メンバー関数を持つことは意味がないため、違法です。