2013-5-26[日] c++03コンパイラの機能実装の比較
昔 ow や dmc のc++の(文法)実装状態をチェックしてる表をみたことあったなあ、と探してみれば、すぐみつかる.
http://cmeerw.org/prog/freecpp/
最終更新が2006で、それ以前のコンパイラの比較だけれど、チェックプログラムのソースが公開されていたので、ow 含むそれらよりも新しい(ヴァージョンの)コンパイラで試してみた。
もとより網羅されてるわけでないし今時のc++11世代のコンパイラの比較としては不十分だけど(SFINAEのチェックもなさげ)、owやdmcが以前よりよくなっているかを見る分には、と。
| | dmc 8.56 | ow 1.9 | 4.7.1 tdm | clang3.1 (+mingw462) | vc8 | vc9 | vc11 | bcc 5.5.1 |
| 1 | digraph | pass | fail[c] | pass | pass | fail[c] | fail[c] | fail[c] | fail[c] |
| 2 | alternative tokens | pass | pass | pass | pass | fail[c] | fail[c] | fail[c] | fail[c] |
| 3 | new style casts | pass | pass | pass | fail[c] / 実質pass | pass | pass | pass | pass |
| 4 | bool | pass | pass | pass | pass | pass | pass | pass | pass |
| 5 | bool condition | pass | pass | pass | pass | pass | pass | pass | pass |
| 6 | mutable | pass | pass | pass | pass | pass | pass | pass | pass |
| 7 | explicit | pass | pass | pass | pass | pass | pass | pass | pass |
| 8 | typename | pass | pass | pass | pass | pass | pass | pass | pass |
| 9 | covariant return | pass | pass | pass | pass | pass | pass | pass | pass |
| 10 | arrow operator return | pass | pass | pass | pass | pass | pass | pass | fail[c] |
| 11 | overload enum | pass | pass | pass | pass | fail[c] | fail[c] | fail[c] | pass |
| 12 | nested class fwd decl | pass | pass | pass | pass | pass | pass | pass | pass |
| 13 | friend namespace class | pass | pass | pass | pass | pass | pass | pass | pass |
| 14 | class name injection | pass | pass | pass | pass | pass | pass | pass | fail[c] |
| 15 | friend name injection | fail[e] | pass | pass | pass | pass | pass | pass | fail[e] |
| 16 | static const int | pass | pass | pass | pass | pass | pass | pass | pass |
| 17 | delete const | pass | pass | pass | pass | pass | pass | pass | pass |
| 18 | return void | pass | pass | pass | pass | pass | pass | pass | pass |
| 19 | new scoping | pass | pass | pass | pass | pass | pass | pass | pass |
| 20 | if stmt cond | pass | pass | pass | pass | pass | pass | pass | pass |
| 21 | switch stmt cond | pass | pass | pass | pass | pass | pass | pass | pass |
| 22 | while stmt cond | pass | pass | pass | pass | pass | pass | pass | fail[c] |
| 23 | for stmt cond | pass | pass | pass | pass | fail[c] | fail[c] | fail[c] | fail[c] |
| 24 | defarg scope | fail[c] | fail[c] | pass | pass | pass | pass | pass | fail[c] |
| 25 | namespace enum | pass | pass | pass | pass | pass | pass | pass | pass |
| 26 | namespace template | pass | pass | pass | pass | pass | pass | pass | pass |
| 27 | namespace template func | pass | pass | pass | pass | pass | pass | pass | pass |
| 28 | using namespace template | pass | pass | pass | pass | pass | pass | pass | pass |
| 29 | template non type | pass | pass | pass | pass | pass | pass | pass | pass |
| 30 | explicit template instantiation | pass | pass | pass | pass | pass | pass | pass | pass |
| 31 | template default all | pass | pass | pass | pass | pass | pass | pass | pass |
| 32 | template default dependent arg | pass | pass | pass | pass | pass | pass | pass | pass |
| 33 | template template arg | pass | fail[c] | pass | pass | pass | pass | pass | pass |
| 34 | template function explicit | pass | pass | pass | pass | pass | pass | pass | pass |
| 35 | new template specialization | pass | pass | pass | pass | pass | pass | pass | pass |
| 36 | partial template specialization | pass | pass | pass | pass | pass | pass | pass | pass |
| 37 | partial ordering class templates | pass | pass | pass | pass | pass | pass | pass | pass |
| 38 | member template class | pass | fail[c] | pass | pass | pass | pass | pass | pass |
| 39 | member template function | pass | fail[c] | pass | pass | pass | pass | pass | pass |
| 40 | bad alloc | fail[e] | pass | pass | pass | pass | pass | pass | pass |
| 41 | bad typeid | fail[e] | pass | pass | pass | pass | pass | pass | pass |
| 42 | throwing destructor | pass | pass | pass | pass (c++11fail[e]) | pass | pass | pass | pass |
| 43 | koenig lookup | pass | fail[c] | pass | pass | pass | pass | pass | pass |
| 44 | two phase lookup | pass | pass | pass | pass | fail[e] | fail[e] | fail[e] | fail[e] |
| 45 | empty base opt | pass | pass | pass | pass | pass | pass | pass | fail[e] |
| 46 | return value opt | pass | pass | pass | pass | pass | pass | pass | fail[e] |
| 47 | static assertions | pass | fail[c] | pass | pass | fail[c] | fail[c] | pass | fail[c] |
| 48 | right angle brackets | fail[e] | pass | pass | pass | pass | pass | pass | fail[e] |
| 49 | func predefined | pass | pass | pass | pass | fail[c] | fail[c] | fail[c] | fail[c] |
| 50 | hex float literal | pass | fail[c] | pass | pass | fail[c] | fail[c] | fail[c] | fail[c] |
| 51 | long long | pass | pass | pass | pass | pass | pass | pass | fail[c] |
| 52 | restrict | fail[c] | fail[c] | fail[c] | fail[c] | fail[c] | fail[c] | fail[c] | fail[c] |
| 53 | variable array | pass | fail[c] | pass | pass | fail[c] | fail[c] | fail[c] | fail[c] |
| 54 | dynamic sizeof | pass | fail[c] | pass | pass | fail[c] | fail[c] | fail[c] | fail[c] |
| 55 | empty macro argument | pass | pass | pass | pass | pass | pass | pass | pass |
| 56 | enum trailing comma | pass | pass | pass | pass | pass | pass | pass | pass |
| 57 | flexible array member | pass | pass | pass | pass | pass | pass | pass | pass |
| 58 | compound literal | fail[c] | fail[c] | pass | pass | fail[c] | fail[c] | fail[c] | fail[c] |
補足
- いずれもwin用32bit版コンパイラ. win8でコンパイル＆実行.
- fallにつけてる[c]はコンパイル出来なかった場合、[e]は実行結果で0以外を返した場合、を表してる.
- 4.7.1tdm は mingw 4.7.1 tdm版.
- clang v3.1 はllvm公式のmingw用バイナリを、本家 mingw g++4.6.2 の環境に上書きしたもの。
- 元表にあるow1.6やdmc8.4.5は試していない(インストールしてない)ので元表をみてください.
- vc8は元表にもあるけれど return void の結果が違ってる.
- 47,48のみ必要ならば c++11 をコンパイルするオプションをつけている.(他はつけていない. 実はclangの不具合回避)
結果に fail があるチェックについて
- 1 digraph: 交代記号( '{' が'<:'等) が使えるか.
- 2 alternative tokens: and や and_eq のような記号の交代予約語が使えるか. ※ iso646.h(ciso646) で同様のものが#define定義されてる
- 3 new style casts: const_cast<T>(t)のようなc++からのキャストが使えるか。clang が fail になっているのは本題とは別の virtual void A::f(); の実体が定義されていないことによるものでソースを実体定義に修正すれば問題なくパス。（このエラーは clangの挙動でも問題無いと思うけど、他のコンパイラがコンパイルできていることが興味深いかも）
- 10 arrow operator return: メンバーのoperator->()の返型がT*,T,T&でない場合にコンパイルできるか.
- 11 overload enum: enum型を基本整数型とは別型として関数オーバーロードできるか？
- 14 class name injection: クラス名インジェクションが機能してるか ※このソースだと B() : ns::A() {} でなく B::B() : A() {} になっているところ.
- 15 friend name injection: friend名インジェクションが機能してるか ※class内friend 定義したものはクラス外(非friend)で定義されたものよりも名前検索の順位が低く、またそのことは引数のマッチよりも優先される...ってことかな。
- 22 while stmt cond: while の条件式でローカル変数を定義できるか
- 23 for stmt cond: for の条件式(２文目)でローカル変数を定義できるか
- 24 defarg scope: デフォルト引数スコープの扱いに関するテスト. ow はメンバー関数のデフォルト引数は関数宣言側ならOKだが定義側だとNGのようで、また、関数内での外部関数宣言ではデフォルト引数が使えない模様。bcc5.5.1 はデフォルト引数の問題でなく static const 変数の扱いが定数でないためのfailで、static const int c=3;の代わりに struct B に先立ち enum {c=3}; を定義すれば ok.
- 34 template template arg: template<template<class T> class T1> のような template template 引数を使えるか
- 38 member template class: クラス・メンバーとしてclass テンプレートが使えるか. ※ow1.9 はクラス定義内では使えるが、クラス定義外でtemplateを２回使う記述はNG.
- 39 member template function: クラス・メンバーとして関数 テンプレートが使えるか. ※ow1.9 はクラス定義内では使えるが、クラス定義外でtemplateを２回使う記述はNG.
- 40 bad alloc: new が メモリー不足の時に bad alloc を投げるか. ※ dm 標準では行えてないが stlport のようにライブラリ実装で対処可能.
- 41 bad typeid: Typeidの引数が不正だった場合 bad_typeid を投げるか.
- 42 throwing destructor: デストラクタ中に例外を投げることができるか. ※ clang++ 3.1 では通常は問題ないが -std=c++11 をつけでコンパイルすると実行時にハングした.
- 43 koenig lookup: koenig lookup(ADL) が機能してるか. (関数呼出で、その引数の型が定義されている namespace から関数名をみつけられるか)
- 44 two phase lookup:スコープ違いで同名のある関数の呼出が正しく行われるか
- 45 empty base opt: 継承元class(struct)にメンバー変数が無い時0バイトにオプティマイズするか
- 46 return value opt: クラス変数を返す時、コピーを発生させないようオプティマイズするか (VCはオプティマイズ指定しないとコピーになる)
- 47 static assertions:[c++11]: static_assert があるか
- 48 right angle brackets:[c++11]: templateで閉じカッコ２つを 空白を入れずくっつけて >> と記述して大丈夫か
- 49 func predefined:[c99, c++11]: 関数名文字列 __func__ が使えるか
- 50 hex float literal:[c99, c++11]: 16進数浮動小数点表記が使えるか
- 51 long long:[c99, c++11]: long long を使えるか ※ bcc5.5.1は __int64 ならある
- 52 restrict:[c99]: restrict 指定が使えるか. ※ c++11には入らなかった機能.
- 53 variable array:[c99]: 動的ローカル配列が使えるか. ※ c++14に入るかもらしい(?)
- 54 dynamic sizeof:[c99]: 動的ローカル配列に対するsizeofが機能するか ※ c++14には入らない.(c++のsizeofはあくまでコンパイル時に決定できるモノのみ)
- 55 empty macro argument:[c99]: 空のマクロ引数を許容するか ※ bcc はこのソースでは大丈夫だが、引数が１つの場合 NG
- 58 compound literal:[c99, c++11]: (struct A){1, 2} のような構造体リテラル表記できるか.
bcc 5.5.1 を表に加えるんじゃなかった...面倒増えてしまった(いや本当はpassしてるのもひと通りみたほうがよいくらいだけど)
vc が overload enum、two phase lookup あたりを修正しないのは、互換性がらみなんでせうかね？ (既存の巨大ソースだと意図せず依存してそうな場合もありえそうだし).
2013-5-21[火] open watcom v2
年始くらいに某2chスレで 年末に2.0でるかも(ソースはニューズグループ)、とか書かれていて、けれど、watcom のサイトのデイリービルドみてもちっとも進んでなさそうで、ほんとかしら、と首をかしげてたのですが、今日、検索しててみかけました。
https://github.com/open-watcom
どうやら open watcom v2 を非公式にフォークしてたらしい。
リポジトリ覗くと、24時間以内の更新とかあって、そこそこ活動してそうな雰囲気。
といってもスタッフ的にお二人の名が書かれていたのでこじんまりとしたものなんだろうけど。
v2 ってことは Version 2 todo list の内容を目指しているのでしょうかね。どうなんだろ。watcom c++ の実装自体は c で書かれていて結構大変そうにも思いますが... まあちょっと楽しみです。
2013-5-20[月] stlport 5.2.1 for dmc,Open Watcom
今更ながら(現実逃避がてら) stlport 5.2.1 を Open Watcom 1.9 や dmc 8.56 に対応してみてた。ow のほうはそれなりになった気もするが dm のほうはリンカのこともあっていまいちかも。（何か根本的に見逃しているような気もする）
前回 stlport いじってたのが3年前……時間立つのは速いなあ。5.2.1がrelease最新版のままで開発自体は進んでなくもないけれど、vcでさえ面倒臭そうだったのと、watcom への対応を思うと古いコンパイラへの対応が残っているほうが無難そうに思えて結局5.2.1。(追記: 最近の開発版のほうはどうもunix系でc++11対応のg++のみなのかも. vcはおろかmingwもだめそう)
面倒くさいといえば付属のbuild環境も面倒で無視した。手抜きでバッチでコンパイル。ow,dmc以外にコンパイル試したのは vc(7.1,9,11), mingw g++4.7.1tdm版(32bit/64bit), bcc5.5.1。(ああ mingw 64bit対応が一番マトモな作業かもしれない……動作確認不十分だけど）
作業の参考にと pointer_specialization.txt と 「コンフィグレーション マニュアル」 をいつものごとく翻訳サイトの訳を手直ししたりしてみたが……コンフィグは内容古くて実際には結構廃止されてたり追加されてたりするようで少し徒労感有り。
と、ま、モノは stlport521dmow2.zip。
(txt)
(追記5/31: clang3.1(+ming4.6.2) の設定を追加)
2013-5-19[日] optlink のコンパイル
仕事が一段落したので放置していた諸々に手をつけねば、だけど、忙しい最中の現実逃避の残滓を先に…とグダグダ。現実逃避で dmc や ow で遊んでたのですが、dmc ってc++としてはowよりよさげだけどリンク時にハングしたり-gでデバッグ付でまともに動かせなかったりと optlink がかなりネック。交代のリンカ探すもデバッグ機能対応してるやつなんてそうそうなく…で灯台下暗し。optlink 自体がオープンソース化されてたようで dm856c よりも新しいソースがコミットされてた。コンパイルして使うとハングとか -g の具合が改善されてる模様。（といっても -g付きでちょっと大きいリンクすると Error 168: >64K Global Types の刑なのは変わりませんが）
とりあえず、コンパイルメモ
https://github.com/DigitalMars/optlink
より ソースを入手 (己はzipをダウンロード). また
http://www.robpol86.com/index.php/ImageCFG
より imagecfg.exe というツールをダウンロード。
コンパイルには dmc と vc(9) が必要。(express版 でいけるかは未確認）。
vc の nmake と ml(マクロアセンブラ) あたりを使っているよう。
dmc は必ず ドライブのルートに
\dm
としてインストールされていること.( \dm にインストールしていない場合は、
別途インストールするか、win7以降ならば mklink /d \dm \hoge\hage\dm
等でリンクするなりして)
dmcとvcのパスを通し(vcvars32.bat 実行後 set path=x:\dm\bin;%path% をするなり）、
imagecfg.exe をパスの通ったところに置いておく.(不精して dm\bin に掘り込んだ)
ダウンロードしたzip を \dm があるドライブの適当なフォルダに解凍。
(gitで取得のほうが普通か？）. 一応 開発者と同じ状態にするならば
\cbx
というフォルダを用意してそこに展開.
その中の
build_optlink.bat
を実行(他のバッチは気にしない)、コンパイルに成功していれば
optlinkc\os2link\objnt\link.exe
ができているので、dm\bin に上書きコピー。
追記 dmd 2.063 (及びそれに対応するdmc.zip)付属のlink.exeは2013/04 の修正が反映されたバージョンになったようで、わざわざコンパイルしなくてもよくなった。