C++0xについて、少し調べてきました。
うちの会社では、ソフトウェア開発にC++を使っています。プログラミング言語は、当初設計された後も、技術の進歩や時代の変化に合わせて改訂が加えられます。C++も、次世代の仕様としてC++0xが練り上げられています (つい最近、仕様が承認されたようです)。
C++0xをざっと見て思いました。
ますます醜くなったなぁ。
「見にくい」ではありません。見た目が悪くなったという意味の「醜い」です。
C++は、新しい概念を取り込むために、新しい記法を取り入れています。しかし、C++の新しい記法にはCのような美しい整合性がなく、本当に「記号」になってしまっています。
例えば、C++の初期に参照が導入されました。int &x; このような記号的な表記が、仕様が改訂されるごとに増え続けています。
Cでは、記法と意味に整合性がありました。例えば、int *p; と宣言すれば、pはint型のポインタ (int *型) になります。この宣言において、int *pという記述はint (*p) つまり*pがint型であると読むことができ、型の意味と記述方法が見事に整合していました。一方、C++の参照宣言をint (&x) と読んだところで、&x (xのアドレス) がint型であるとは読めません。&は単なる記号になり下がっています。純粋仮想関数も、もともとの記号の意味とかけ離れています。virtual int function(int) = 0;
これと似た、単なる記号としての書き方が、C++0xでも新たに導入されています。例えば、ラムダ関数は以下のように定義します。[ ] (int x, int y) -> int { /* 本体 */ } 関数の定義に [ ] や -> が使われる光景を異様だと感じるのは私だけでしょうか。
[&, z] (int x) { /* 本体 */ } もう、何でもありの世界です。C++は、いつの間にか つぎはぎだらけになってしまいました。満身創痍 (そうい) で痛々しい限りです。見るに耐えません。
従来の記法と整合する書き方はできないものでしょうか。
C++では ... (ドット3個) で省略を表すことになっていますから、先ほどの例[ ] (int x, int y) -> int { /* 本体 */ } の代わりにint (...) (int x, int y) { /* 本体*/ } と書けば、関数ポインタint (*) (int, int) とよく似た表記になります。ラムダ導入子 [ ] に変数リストを書く必要がある場合は、予約語usingを使用して、int (...) (int x, int y) using variable-list { /* 本体*/ } でいかがでしょう。
私ごときが わめいても仕方ないか。
|
|