sort関数と全順序集合 - hnwの日記

大仰なタイトルですが、約1年前の記事「PHPのsort関数は相当おかしい」の補足記事です。僕が何を根拠にPHPのsort関数（の第二引数のデフォルト値）がおかしいと思ったかを説明します。一言でいうと、PHPの全ての値とSORT_REGULAR（言い換えるとPHPの<、==、>）の組み合わせが全順序集合になっていないからです。 前回の記事の概要 PHPのsort関数は第二引数で比較演算子を変更できますが、省略するとSORT_REGULARを用います。これはPHPの通常の比較演算子と同じ挙動で、両辺の値が数字っぽい場合は数値として、そうでなければ文字列として比較するものです。このような比較を用いると、ソートが不可解な挙動を示すことがあります。 $ php -r '$a=array("0xa","011","01a","2.0");sort($a);print_r($a);sort($a);pr

[zu2]

PHPってのは、わざとこういうことをしてるんじゃないかと。

[daira4000]

しかしPHPerにとっては普通のこと。

[terazzo]

「推移律が成立しない」ってことなら「全」は要らなくないかい。

[imo758]

ものすごい笑ったｗいやーこれはびっくりだ。ナイス記事。