質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

88.79%

ローカル関数の多重定義について

解決済

回答 2

投稿 編集

  • 評価
  • クリップ 1
  • VIEW 874

FoolHotari

score 23

例えば以下のようなコードで2個目の関数hogeでエラーが出てしまいます。
エラーコードはCS0128です。

void foo()
{
    void hoge(int a)
    {
        //--- 何かしらの処理 ---
    }

    void hoge(int a, int b)
    {
        //--- 何かしらの処理 ---
    }
}

ローカル関数の多重定義はできないのでしょうか?

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

質問への追記・修正、ベストアンサー選択の依頼

  • Zuishin

    2019/05/02 22:41

    なぜしたいのかの理由によっては別の解決法があるかもしれませんが、文法的な問題だけならローカル関数はオーバーロードできません。

    キャンセル

  • m.ts10806

    2019/05/02 22:41

    ローカル関数って、そういうことか・・。理解しました。

    キャンセル

  • m.ts10806

    2019/05/02 22:59

    質問者さん。
    「できない」で自己解決とするか
    「なぜそうしたいか」要件を具体的に記載するか
    どちらかで質問を次の段階に進めてください。

    キャンセル

回答 2

checkベストアンサー

+1

だめみたいですね。

実験からの単なる推察ですがローカル関数って

void foo() {
  int bar(int a) { return a + 1; }

  // =>

  Func<int, int> bar = a => a + 1;
}


こういう類のものなんじゃないでしょうか?実際以下のようにローカル関数を定義すると、同名のメソッドはシグナチャの如何によらず全てシャドウされてしまうようです。

class C {
  void bar(int a, int b) {...}
  void bar(int a) {...}

  void Main() {
    // ------ (A) ---------
    bar(1, 2); // compile error: このオーバーロードはないと怒られる
    bar(1);    // compile error: 同上

    int bar() {...}

    // ------ (B) ---------
    // 上記仕様のおかげ(?)で次のようなことは可能になっている
    /* --- Zuishinさんコメントを受け、xへの代入文の例は取り消させてください ---
    Func<int> x = bar;  // 関数名のみで型が特定される=>主張が不適切だった
    */
    baz(bar);           // BAZ1の呼び出しと解釈される
  }

  void baz(Func<int> f) {...}      // (BAZ1)
  void baz(Func<int, int> f) {...} // (BAZ2)
}


コンパイラーのこの解釈はbarというローカル変数がMainに存在するケースと一致します。ローカル変数はそのスコープ内において外側のスコープにある同名の全てのメソッドをシャドウしますので。
もしローカル関数がオーバーロードできたとすれば外側のスコープの「同一名、同一のシグナチャのオーバーロードのみ」をシャドウするのが妥当な仕様に思えます。そうなっておらずシグナチャの如何によらず全てシャドウしてしまうという仕様はローカル関数が「シグナチャとは無関係に識別子のみで特定する」という仕様に思えるのです。

ローカル関数の名前が「関数名」というより「第一級関数オブジェクトが格納されている変数名」として捉えるとこういう仕様が自然に感じられる気はします。

なぜそうしたのかはっきりわかりませんが、上の例で(A)のようなことができる(ローカル関数がオーバーロードできる)ことと、(B)のように第一級関数として扱いやすくなることのどちらを重視するかといえば個人的に(B)が重要な気がしたのでそういう意味では納得できる気がしました。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/05/02 23:23

    関数名のみで特定されるのはデリゲートでシグネチャが確定しているからではありませんか?

    キャンセル

  • 2019/05/02 23:33

    ご指摘ありがとうございます。
    おっしゃるとおり例えローカル変数のオーバーロードの仕様があったとしても右辺の型を左辺の型から推論すれば技術的には可能そうですね。どちらかというと、その直後の行の例:
    「オーバーロードされているbazの引数に関数名barだけでbazのオーバーロードを解決できる」
    がどうにもならないのでこちらの方を主として挙げたかったのですが・・・xへの代入の例を挙げたのは失敗でした。この例は消してしまったほうがよさそうですね。

    キャンセル

  • 2019/05/02 23:45 編集

    ちなみに現在の仕様でも
    var x = bar;
    とは書けず
    CS0815: メソッドグループを暗黙的に型指定された変数に割り当てることはできません。
    のようなエラーとなりました。若干意味不明なメッセージで、あたかもローカル変数がオーバーロードできる仕様を前提としたかのようなエラーメッセージに見えます。

    なんか自分の推測ははずれっぽく感じてきました。オーバーロードを禁止することで第一級関数としての利便性を重視なんて書きましたが本当にそうならvar x = bar;と書けるはずな気がしたからです。

    キャンセル

0

質問内容勘違いしていた部分がありましたのでスルーしてください。

結論から言うと、できます。

私がコメントで「コードこれだけではなんとも言えない」と記載したのはそこで、
paiza.ioで私が書いたミニマムコードでは動作可能だからです。
https://paiza.io/projects/TD3Yy1aKhjHPLDzY14jnUA

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/05/02 22:42

    これはメソッドのオーバーロードですが、質問されているのはローカル関数のオーバーロードです。

    キャンセル

  • 2019/05/02 22:43

    ちょっと勘違いしてました。冒頭に補足入れておきます。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 88.79%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る