後の世では、何とでも言える

人生を書き換える者すらいた。: C++は何を間違えたのか

ムーブコンストラクタなぞとても使いこなせる自信がない。

ムーブの概念とC++の型システムの詳細が分からないユーザーは、別にムーブを使う必要はない。ムーブはライブラリ実装者のための機能である。なぜなら、明示的に使わなくても、関数の戻り値などのrvalueは、勝手にムーブされるからだ。

これが方向性の歴史的誤りだったよな。
　C++はこういうのではなく、２パスコンパイルにしてヘッダファイルを不要にしたり、GCを言語レベルでサポートしたりすれば今頃の情勢は違うものになったかもしれないのに、結局JavaやC#の外見的な言語仕様のベースになっただけなのはちょっとさびしい。

後の世では、何とでも言える。C++が作られた当時は、到底そんなことは現実的ではなかった。歴史の話をする。

Bjarne Stroustrupが博士号をとるべく研究していた時、彼はSimulaを使っていた。Simulaには、GCがあった。しかし問題は、Simulaの実装は遅すぎたのだ。当時はまだGCのアルゴリズムが洗練されておらず、ハードウェアも、現代では信じられないくらい遅かったからだ。したがって、GCは不可能であった。

当時のハードウェアは、実に遅かった。CPU速度、メモリ、ディスク容量と速度、あらゆるハードウェアが、絶望的に遅かった。そのようなハードウェア上でのコンパイラの実装も、当然、かなり制限を受けた。当時の多くのC言語コンパイラは、ソースコードから一文読み込み、解釈して、すぐに目的のコードを生成し、さてまた次の文の読み込みをしたものである。前後の文脈を考慮した上での最適化など、望むべくもない。C++がregisiterやinlineといった機能を付け加えたのにも、理由があったのだ。

そのような状況であったから、単なるテキストを、その場に流しこむという、愚直な#includeの機能は、実に効率的な方法だったのだ。果たして、当時のハードウェアで、2パスコンパイルして、ソースコードに必要なシンボルテーブルをメモリ上に保持できたかどうか。その辺は、あやしいものである。

この当時、C++は時代の最先端をゆく理想主義な言語であった。もちろん、今でもだいぶ理想主義が入って入るものの、当時に比べたら、非常に現実的である。

C言語には、そもそも、関数の前方宣言などなかった。プログラマーは、特に宣言もせず外部で定義されている関数名を使った。コンパイラーは、プログラマーのコードを信用して、未知の関数を呼び出すオブジェクトコードを生成した。C++が、名前は、かならず使う前に宣言されていなければならないと決めたとき、多くのプログラマが反対した。ある者は、コンパイル時間が極端に長くなることを恐れた。またある者などは、実行時のパフォーマンスに影響が出ることをさえ、恐れた。

今、C言語の文法が、いくらかまともになっているのは、まったくC++のおかげだと言える。当時のC言語がどんな惨状であったかは、改訂されていない、当時のK&Rを読めば分かる。

後の世から、物事を批判することは簡単だが、そんなことは、当時は不可能であるし、もし、当時に現代の常識で物事を決めていれば、その仕組は、現代に残ることはなかっただろう。これはC++に限る話ではない。

例えば文字コードだ。当時は、文字コードに8ビット費やすことすら、無駄が多かったのだ。7ビット、いや、6ビットでも十分足りたのだ。とすれば、何故文字ごときに8ビットも浪費する必要があるというのか。

一文字に8ビットは贅沢すぎるという話を、現代において行えば、世の笑いとなるであろう。しかし、当時としては、切実な問題だったのだ。