c++ - c++ スコープの奇妙さ - メンバ関数の内部型パラメータにスコープが必要ないのはなぜですか?

Question

このクラスに内部構造体が与えられたとしましょう。

class Some {
   public:
    struct Crap{};
    Crap Process(Crap& c);
}


Some::Crap Some::Process(Crap& crap) {   Crap moreCrap = ..  }

「プロセス」の戻り値の型 (Some::Crap) がスコープされていることは、私には理にかなっています。

「プロセス」の本体内でスコーピングが必要ないことは、私には理にかなっています。

Process (Crap& crap) の内部構造体パラメーターがスコープを必要としない理由がわかりません。

誰かがこれについて何か洞察を持っていますか? ありがとう

score 3 · Accepted Answer

実際、パラメーターの型を修飾する必要があります (例が正しくなく、のメンバー関数にするつもりでない限りProcess) Some。

score 2 · Accepted Answer

次のスニペットを想定します。

class Some
{
public:
    struct Crap{};
    Crap Process(Crap&);
};

Some::Crap Some::Process(Crap& crap) { ... }

基本的に、データメンバーとメンバー関数にアクセスするCrap必要がないのと同じ理由で、関数パラメーターリストと本体内のスコープは必要ありません。同じスコープにあるため、暗黙的です。this->

戻り値の型が必要な理由は、パーサーがメソッド名の前に戻り値の型に遭遇し、その時点でスコープを推測できない (必要ではない?) からです。

score 0 · Accepted Answer

質問のタイトルには「メンバー関数」と書かれていますが、例にはメンバー関数が含まれていません。Some::Processただではなく、あなたが意味したと仮定しますProcess：

メンバー関数定義のクラススコープは、(ではなくで始まります{。このようなものをより短く入力できるように、その理由は正確であると思います。

3 に答える 3