トップ «前の日記(2010-10-17) 最新 次の日記(2010-10-20)» 編集

日々の破片

著作一覧

2010-10-19

_ 匿名(ちょっと意地っぱり)デリゲートとラムダ式

ちょっと.NET WindowFormsアプリケーションを作っている。

そこで、イベント処理を書くわけだが、当然のように次のようにやる。

ctrl.AddEventHandler(delegate (object o, EventArgs e) { ... });

それから、今はdelegateなんて余分なキーワードはいらないんだなと思い出して

ctrl.AddEventHandler((o, e) => ....);

と、書く。

が、これはまずかった。

実際にはイベントによって次のハンドラに替えていくプログラムである。

void InitState() {
     ctrl.AddEventHandler((o, e) => FooState());
}
void FooState() {
     ctrl.AddEventHandler((o, e) => BarState());
}
...

動かせば動かすほど、どんどん遅くなる。はて、なぜだ?

しばらくソースを見て、ふと気づく。ハンドラはAddしているが、Removeしていないじゃん。同じイベントハンドラが何度も呼ばれているからだ。最後に呼ばれるのが最後にAddしたやつだから見かけはうまく動いているだけだ。

そこでラムダ(匿名デリゲートでも同じだが)の恐怖を知る。

まっとうにRemoveを考えてみる。

void InitState() {
     EventHandler hnd = (o, e) => {
         ctrl.RemoveEventHandler(hnd);
         FooState();
     };
     ctrl.AddEventHandler(hnd);
}

コンパイルできない。あれ、クロージャなんじゃなかったっけ? と一瞬とまどうが、定義中では変数hndの内容は未確定だ。……なんかだまされたような気がするが(時間軸上、必ず後になるはずだが、動的言語じゃないからそうはいかないのだろう)、しょうがない。(追記あり)

では、どう書けば良いのか?

void FooState() {
     ctrl.RemoveEventHandler((o, e) => FooState());
     ctrl.AddEventHandler((o, e) => BarState());
}

コンパイルエラーにはならない……が、別インスタンスだよなぁ、そりゃ。

そのうち最適化がガリガリになされて、レキシカルスコープを持たない(という言い方であってるのかな? 独自の変数用のフレームを持たない)ラムダ式は同一インスタンスが割り当てられるようになるかも知れないけど、とにかくだめだし、そもそも、こんな冗長な書き方はごめんだ。

ということは、

void FooState(object o, EventArgs e)
{
    ctrl.RemoveEventHandler(new EventHandler(FooState));
    ctrl.AddEventHandler(new EventHandler(BarState));
}

うまく動く(newして別インスタンスを作ってはいるが、Equalsは中のポインタを見て等価性を判定しているのだろう)。

というわけで、結局、昔ながらの書き方に落ち着いてしまうのであった。

残念だよ。

追記:

つい、Javaのインナークラスの癖で考えてた。次のように書けばOKだ。

void InitState() {
     EventHandler hnd = null;
     hnd = (o, e) => {
         ctrl.RemoveEventHandler(hnd);
         FooState();
     };
     ctrl.AddEventHandler(hnd);
}

が、これまた冗長だなぁ。設定と実行すべき処理の位置が一致しているのは良いけど、残念感はぬぐえない。

本日のツッコミ(全4件) [ツッコミを入れる]
_ matarillo (2010-10-19 22:52)

EventHandler hnd = null; と書くと通ります。このケースじゃなくても、再帰させたいときとかに使うテクニック(バッドノウハウ?)です。

_ arton (2010-10-19 22:57)

あ、どうもありがとうございます。実は、落ち着いて考えたら同じ結論で、追記してから気づきました。

_ matarillo (2010-10-19 23:43)

ctrl.AddEventHandler(hnd = (o, e) => {}); みたいに書けなくもないですが、確かにラムダ式をやめたほうが単純ですね。<br>ちなみにctrl.AddEventHandler(BarState); と書けます。

_ arton (2010-10-20 00:08)

おお、その書き方は知りませんでした。どうもです。


2003|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|07|08|09|10|11|12|
2022|01|02|03|04|05|06|07|08|09|10|11|12|
2023|01|02|03|04|05|06|07|08|09|10|11|12|
2024|01|02|03|04|05|06|07|08|09|10|11|12|

ジェズイットを見習え