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

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

新規登録して質問してみよう
ただいま回答率
85.50%
C#

C#はマルチパラダイムプログラミング言語の1つで、命令形・宣言型・関数型・ジェネリック型・コンポーネント指向・オブジェクティブ指向のプログラミング開発すべてに対応しています。

Q&A

解決済

2回答

1567閲覧

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

FoolHotari

総合スコア79

C#

C#はマルチパラダイムプログラミング言語の1つで、命令形・宣言型・関数型・ジェネリック型・コンポーネント指向・オブジェクティブ指向のプログラミング開発すべてに対応しています。

0グッド

0クリップ

投稿2019/05/02 11:40

編集2019/05/02 13:25

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

C#

1void foo() 2{ 3 void hoge(int a) 4 { 5 //--- 何かしらの処理 --- 6 } 7 8 void hoge(int a, int b) 9 { 10 //--- 何かしらの処理 --- 11 } 12}

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

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

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

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

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

m.ts10806

2019/05/02 12:19

定義したいのは変数でしょうか関数でしょうか。 コードもこれだけでは何とも言えないように思います。 質問内容を整理して具体化してください。 エラーメッセージもご提示ください。 https://teratail.com/help/question-tips
FoolHotari

2019/05/02 13:25

すみません。変数hogeではなく関数hogeでした。
Zuishin

2019/05/02 13:36 編集

「できません」で終わる話ですが、なぜしたいのですか?
FoolHotari

2019/05/02 13:38

できないのですね。ありがとうございました。
Zuishin

2019/05/02 13:41

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

2019/05/02 13:41

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

2019/05/02 13:59

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

回答2

0

ベストアンサー

だめみたいですね。

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

C#

1void foo() { 2 int bar(int a) { return a + 1; } 3 4 // => 5 6 Func<int, int> bar = a => a + 1; 7}

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

C#

1class C { 2 void bar(int a, int b) {...} 3 void bar(int a) {...} 4 5 void Main() { 6 // ------ (A) --------- 7 bar(1, 2); // compile error: このオーバーロードはないと怒られる 8 bar(1); // compile error: 同上 9 10 int bar() {...} 11 12 // ------ (B) --------- 13 // 上記仕様のおかげ(?)で次のようなことは可能になっている 14 /* --- Zuishinさんコメントを受け、xへの代入文の例は取り消させてください --- 15 Func<int> x = bar; // 関数名のみで型が特定される=>主張が不適切だった 16 */ 17 baz(bar); // BAZ1の呼び出しと解釈される 18 } 19 20 void baz(Func<int> f) {...} // (BAZ1) 21 void baz(Func<int, int> f) {...} // (BAZ2) 22}

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

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

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

投稿2019/05/02 14:07

編集2019/05/02 14:38
KSwordOfHaste

総合スコア18392

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

Zuishin

2019/05/02 14:23

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

2019/05/02 14:33

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

2019/05/02 14:47 編集

ちなみに現在の仕様でも var x = bar; とは書けず CS0815: メソッドグループを暗黙的に型指定された変数に割り当てることはできません。 のようなエラーとなりました。若干意味不明なメッセージで、あたかもローカル変数がオーバーロードできる仕様を前提としたかのようなエラーメッセージに見えます。 なんか自分の推測ははずれっぽく感じてきました。オーバーロードを禁止することで第一級関数としての利便性を重視なんて書きましたが本当にそうならvar x = bar;と書けるはずな気がしたからです。
guest

0

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

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

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

投稿2019/05/02 13:40

編集2019/05/02 13:43
m.ts10806

総合スコア80765

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

Zuishin

2019/05/02 13:42

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

2019/05/02 13:43

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

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

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

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問