Yappo::タワシ

2011-12-18

■metacpan logo contest

Permalink | コメント(0) | トラックバック(0) | 15:38

2011-10-19

■さっそく Perl の規格上のバグを発見

私の唯一誇れる能力は、誤読力である。そのため、私がプログラミング言語の規格を読むのを好むのは、自然なことである。このたび、 Perl の規格上のバグを発見した。なかなか笑えるので紹介する。もちろん、実装者にとっては洒落にならないが。

以下のコードは、現行ドラフトの文面に従うと、well-formedな Perl コードである。

package main {
 a: { last a ; }
 b: { next b ; }
}

なぜかというと、現行の Perl のドラフト規格は、ラベル付きの last 文と next 文は、 labe l文の中に入ることができるとされている。ラベル文には、文を書ける。また、ブロック文も文である。よって、 Label : { } は well-formed な Dart コードであり、その中で last や next を使うのも well-formed である・・・はずだ。((あまりにも馬鹿馬鹿しすぎるからマジレスすると、 Perl のブロックは一度だけ実行されるループ文と等価なんでこんな事が出来る(see perldoc -f next, perldoc -f last)))

傑作だったのは、現行の実装が、このコードを実際にコンパイルできてしまうということだ。 last 文の方は、期待通りに動いた。つまり、

 a: { print("before") ; last a ; print("after") ; }

は、beforeを出力する。

next 文の方は、コンパイルは通るが、実行時に、beforeを吐いて強制終了してしまう。もし規格通りに動いていたならば、無限ループになったはずだ。

この件をバグ報告する馬鹿にみえたか?

参考文献： http://twitter.com/__gfx__/status/126454338947268608

Permalink | コメント(1) | トラックバック(0) | 09:43

■Perl で誤って無限ループに陥るコード

Perl は非常にシンプルな言語であるが、恐らく初心者が、誤って無限ループに陥ると思われる箇所がいくつかある。

オブジェクト コンストラクター

package X {
    sub new { new X() } # 無限ループ                                                                                                  
}
package main {
    my $x = new X();
}

このコードは、無限ループに陥る。なぜならば、new X()というのは、オブジェクトコンストラクターXを呼び出す式である。これは、つまり自分自身を再帰呼び出ししていることになる。結果として、無限ループになる。

クラスのゲッターとセッター

クラスのゲッターとセッターは、クラスの変数への簡単な読み書きを提供するための特殊なメソッドである。これは、明示的に生成する。

サブクラスでは、この暗黙のゲッターとセッターをオーバーライドすることができる。つまり、ゲッターとセッターで、なにか複雑な処理を行うこともできるのだ。

package X {
    sub val {}
}
package Y {
    use parent 'X';
    sub val { my $self = shift; $self->val; } # 無限ループ                                                                            
}