プログラミング言語の落とし穴

--- C++，Java，JavaScript，PHP，Ruby，Python，C#，VB の比較 ---

ご意見・ご質問(＠を半角に変換)
totomi.kuni.mahoroba.00＠gmail.com

　　プログラムを書く上で，最も重要なことは，誤りを可能な限り 0 にすることです．記述の容易さが，その点に繋がるのであれば問題ありませんが，必ずしもそのようにはなりません．私が，様々なページで，「分かり易く，読みやすいプログラム」を書くといったことを強調したのは，「分かり易く，読みやすいプログラム」であれば，自分または他の人がチェックすることも容易になり，誤りも少なくなると思うからです．しかし，如何に分かりやすいプログラムを書いても，誤り（バグ）を誘発するような特性を多くの言語が持っていると思っています．ここでは，そのような点について述べていきたいと思います．

　　最近は，コンピュータが存在しないと成り立たないような社会になっています．そのような社会において，プログラムにバグが存在すれば，とんでもないことが起こりかねません．通信障害程度のことでは止まらず，場合によっては，人命に関わる問題にもなりかねません．今までのコンピュータは，ほとんど，演繹推論の世界で使用されてきました．このような使用方法においては，コンピュータが正常に動作し，かつ，プログラムが正しければ，正しい結果が得られます．しかし，最近の AI においては，帰納推論の世界で利用されようとしています．このような利用方法においては，コンピュータが正常に動作し，かつ，プログラムが正しくても，正しい結果が得られるとは限りません．まして，そこにプログラムのバグが加われば，何が起こるか分かりません．現在騒がれている AI も，過去の AI のように，その限界が明らかになるにつれ，熱が冷めていくと思います．単に，現在の AI に対する記述しやすさだけでプログラミング言語を選び，不適切なプログラムが大量生産されれば，とんでもないことが起こりかねせん．そのようなことが起こることによって，AI に対する熱が冷めるようなことだけは起こって欲しくありません．

　　言語によって，全く同じ表現，または，似た表現であるにもかかわらず，その内容，機能が異なったものが多く見受けられます．それらは，各言語のマニュアルの中で詳しく説明されていません．プログラムを別の言語に書き直したい場合，新しく別の言語を学ぶ場合など，これらの点を理解していないととんでもない誤りを起こす可能性があります．さらに，そのような誤りは，最も見つけにくいバグとなって現れます．ここでは，そのような点に重点を置いて，C++ を軸に，Java，JavaScript，PHP，Ruby，Python，C#，及び，VB（ Visual Basic ）による基本的なプログラムの書き方について解説します．誤りを導きやすい文法，言語間の違い等に重点を置くため，各言語に対する文法の詳細，組み込み関数等については深く説明しません．このコンテンツにおける説明において不足した部分は，C++ に関しては「 C/C++ 言語」，Java に関しては「 Java と C/C++ 」，JavaScript に関しては「 JavaScript と C/C++」，PHP に関しては「 PHP と C/C++」，Ruby に関しては「 Ruby と C/C++」，Python に関しては「 Python と C/C++ 」などを参考にしてください．なお，C#，及び，VB に関する説明は，このページを除いて，私の Web ページにはありません．

　　実際，私自身も苦労した経験があります．Java によって作成した時間割作成用のプログラムを，JavaScript 及び C++ に変換しようとした場合です．基本的に，自分自身の不注意が原因ですが，参考のため，その際に行った誤りを，間違って変換してしまった例として挙げておきます．ただし，この例では，クラスを使用していますので，クラスに関する十分な知識がない方は，クラスに対する知識を得てから眺めてみてください．

　　いくつかの言語を比較してみて，簡単に感想を述べてみたいと思います．

C++ ：多少分かり難い面があるかもしれませんが，少なくともここでプログラム例としてあげている範囲においては，仕様もしっかりしており，プログラミング上の誤りも犯しにくい言語だと思います．ただし，クラスのオブジェクトを他の変数に代入したり，関数の引数として使用したりした場合，整数型や浮動小数点型などの基本データ型と同様に，すべての値をコピー（浅いコピー）して代入が実行され，または，関数の引数として渡されますが，クラス内で new 演算子を使用していた場合は，アドレスだけがコピーされ，そのアドレスが指す場所はコピーされません．さらに，関数の引数として渡す場合，const 指定しても，アドレスが指すデータは変更可能になってしまいます．プログラミング上の誤りを減少させる目的からも，アドレスが指すデータもコピーされ，かつ，const 指定に対応できるように，仕様を変更すべきだと思います．また，配列だけが，他の配列にコピーして代入できない点も気になります．

　　new 演算子に対応する delete 演算子の使用を義務づけるのであれば，ガーベッジコレクション機能も C++ の仕様に付加すべきではないでしょうか．

　　C++ は，このコンテンツで触れた部分以外に，多くの内容を含んでいます．それらは，かなり分かり難く複雑です．特に，最近のバージョンアップでは，「書きやすさ」「記述の簡単さ」等に，重点を置いた変更になっていないのか気になります．言語仕様の全てを使用しなくても，どのようなプログラムでも書くことができます．基本的に C 言語を使用して，必要に応じて C++ の優れたところを取り入れていく，といった利用方法が良いのではないでしょうか．
Java ： C++ 以外の他の言語と同様ですが，他の変数に代入したり，関数の引数として使用したりした場合，整数型や浮動小数点型などの基本データ型と記述方法は全く同じであるにもかかわらず，データ型によって，その結果が異なります．つまり，基本データ型においてはそのデータ自身がコピーされて代入されますが，クラスのオブジェクトなどは，そのアドレスだけがコピーされて代入されているような結果になります．この点は，関数の引数として渡す場合も同様です．プログラミング上の誤りを犯す原因となりかねません．さらに，このような誤りは非常に発見しにくいものとなると思います．何らかの形で，仕様を変更すべきだと思います．

　　Java における最大の問題点は，すべてのプログラムをクラス内に記述するようにしたことではないでしょうか．オブジェクト指向，データ駆動型などを念頭に置いた仕様かもしれませんが，手続き型の処理が有効である問題も多く存在しますし，また，現在のコンピュータアーキテクチャが手続き型に向いている点などを考慮すると，考え直した方が良いのではないでしょうか．

　　私自身の感覚的な問題かもしれませんが，言語の仕様に対して，開発者の傲慢さを感じることがあります．一つの例は，繰り返しに対するプログラム例に示したような初期設定の問題です．コンパイラは，文法的な誤りは指摘できますが，アルゴリズムの正否の判断は不可能です．それにもかかわらず，アルゴリズム上の問題が無いプログラムに対して，「初期設定がされていない可能性がある」という理由でコンパイルエラーにしてしまうような仕様はいかがでしょうか．当然，警告に止めるべきだと思います．また，未使用の定義済み変数が存在する場合に対して，何のメッセージも出力しませんが，その危険性を考慮すれば，警告メッセージを出力すべきだと思います．
JavaScript ：代入や関数の引数に関する扱いに対して，Java の項で記述した内容と同じことが言えます．また，変数の有効範囲に対しても疑問を感じます．一つは，グローバル変数とローカル変数の扱い方です（ let や var を付加するか否か）．このままでは，付加することを忘れたような場合，非常に危険です．あと一つは，宣言の巻き上がりに関する問題です．基本的に，変数の有効範囲は，以下のようなルールに従うのが，最も分かりやすいのではないでしょうか．
- 型宣言（変数に値を代入）した以降で有効になる．
- 有効範囲をブロック内に限定するか否かを明確にする．
- 内側のブロックにおいて，外側のブロックで型宣言された変数と同じ名前の変数の型宣言を許すか否かを明確にする．
少なくとも，同じブロックまたは外側のブロックにおいて，現在の位置より後ろで行われた型宣言の影響が，現在の位置まで及ぶような仕様は避けるべきではないでしょうか．04 行目の代入文は，01 行目で宣言した x が有効であり，問題なしとみるべきではないでしょうか．
```
01	let x = 10;
02	var a = 100;
03	if (x > 5) {
04	//	x = 20;   // 許されない（初期設定の前にアクセス）
05		a = 200;   // 許される
06		let x = 15;
07		var a = 300;
08		   ･････			
```
PHP ：配列を他の変数に代入したり，関数の引数として使用したりした場合，他の言語とは異なり，要素データもコピー（ただし，浅いコピー）されて代入が実行され，または，関数の引数として渡されます．それにもかかわらず，クラスのオブジェクトに関しては他の言語と同様，アドレスによって引き渡されたような結果になります．当然，統一すべきだと思います．参照を利用することによって，配列に対して，他言語における配列に対する処理と似たような処理が可能ですが，上で述べたように，全体的な統一がなされていませんし，かなり独特な処理が行われていますので注意が必要です．
Ruby ：代入や関数の引数に関する扱いに対して，Java の項で記述した内容と同じことが言えます．最大の欠点は，perl のろくでもない仕様を引きずり，組み込み変数として意味の無い記号に様々な意味を与えたり，大文字で始まる変数，@@ で始まる変数，@ で始まる変数など，ここでも，意味の無い記号に対して特別な意味を与えています．Ruby の世界から絶対に出ないような人にとっては良いのかもしれませんが，Ruby に縁の無い人にとっては理解しがたい世界です．このような仕様を設定したことに疑問を感じざるを得ません．また，ブロック付きメソッド呼び出しという機能は，関数名を関数の引数として渡す方法と似ていますが，あまりにも中途半端だと思います（「関数に対するプログラム例」参照）．

　　小さなことかもしれませんが，同じ文字列でありながら，
```
s1 = "abc";   # s1 : "abc"
s2 = s1;   # s1 : "abc"，s2 : "abc"
s3 = s1;   # s1 : "abc"，s2 : "abc"，s3 : "abc"
s2[0..0] = "x";   # s1 : "xbc"，s2 : "xbc"，s3 : "abc"　　s3 は変化しない
s3       = "ybc";   # s1 : "xbc"，s2 : "xbc"，s3 : "ybc"　　s3 だけが変化			
```
のような文字列の修正方法による結果の違いが気になります．やはり，どちらかに統一すべきではないでしょうか．

　　新しいプログラミング言語について学ぼうとする場合，私の場合，覚えなければならない点が多いとそれだけで意欲を無くしてしまいます．少なくとも，基本的な仕様だけで簡単に記述できることを，便利だからといって新規の記述方法をあえて仕様に含めるような姿勢にはあまり賛成できません．Ruby も，そのような点から，覚えなければいけないことが多すぎるような気がします．少なくとも，perl から引きずったろくでもない仕様を整理すれば，もっとすっきりした言語になると思います．
Python ：代入や関数の引数に関する扱いに対して，Java の項で記述した内容と同じことが言えます．また，main プログラム内の変数を，すべて，グローバル変数として扱う考え方にも疑問を感じます．さらに，多くの人がその拡張に携わったせいか，同じような機能が多くの箇所に現れています．覚えなければならいことが多すぎると共に，統一がとれていません．個人の趣向で決めたような仕様が目に付きます．このまま放っておけば，異なる国の人が簡単に意思疎通をはかれない自然言語の世界のように，同じ Python で記述されていても，異なる分野の人が記述したプログラムを理解できなくなってしまいます．全体的に見直し，統一がとれた言語にすべきだと思います．
　　新しいプログラミング言語について学ぼうとする場合，私の場合，覚えなければならない点が多いとそれだけで意欲を無くしてしまいます．プログラムにとって最も重要なことは，「読みやすく，理解しやすい」ことです．「記述しやすい」などと言ったことは二の次です．少なくとも，基本的な仕様だけで簡単に記述できることを，「便利だ」，「記述しやすい」といった理由で，perl や Ruby のように，記号に特別な意味を持たしたり，新規の記述方法をあえて仕様に含めるような姿勢にはあまり賛成できません．ただ，字下げを強制的に行わせることは，プログラムの読みやすさの面から考えて，非常に良い考えだと思います．
C#，VB ：代入や関数の引数に関する扱いに対して，Java の項で記述した内容と同じことが言えます．Java に対する項で述べた初期設定の問題に対し，C# では Java と同じ結果になり，VB では警告メッセージも出しません．いずれも問題だと思います．しかし，未使用の変数に関しては，いずれの言語においても，警告メッセージを出してくれます．また，VB に対しては，論理式の解釈，キーワードの多さ，大文字と小文字の同一視，配列の記述方法や扱い方など，他の言語とあまりにも異なっている点が気になります．

　　また，変数の有効範囲（ C# ， VB ）には，疑問を感じます．いずれの言語においても，内側のブロックにおいて，外側のブロックで型宣言された変数と同じ名前の変数の型宣言を許していません．この点は問題とは思いませんが，宣言の巻き上がりに関する問題です．なぜ，以下のような文をエラーにしなければならないのでしょうか．05 行目で宣言した変数 y の有効範囲は，あくまで，05 行目以降であるべきです．

( C# )
01 if (x > 5) { 02 int y = 20; 03 ･････ 04 } 05 int y = 100; // 2 行目がエラー
( VB )
01 if (x > 5) { 02 Dim y As Integer = 20; 03 ･････ 04 } 05 Dim y As Integer = 100; // 2 行目がエラー
　　私自身は，基本的に，C/C++ を使用しています．しかし，「グラフィカルなユーザインタフェースが必要」，「大きなプログラム」，「計算時間を短くしたい」などの場合は Java，「 Web 上で実行したい」，「小さなプログラム」，「グラフィカルなユーザインタフェースが必要」などの場合は JavaScript，「 Web 上で実行したい」，「小さなプログラム」，「グラフィカルなユーザインタフェースが必要」などは JavaScript と同じですが，「サーバ上でデータベース等，ファイルを操作したい」場合は JavaScript と PHP を使用しています．少なくとも，Python や Ruby を使用したいと思ったことはありません．私の希望としては，将来，網目構造内に記述されたデータやプログラムを自由に扱えることができるような言語の出現を願っています．

　　C++ のプログラムを評価するために，gcc（ g++ ）を使用していますが，少なくとも，このページで扱った範囲においては，VC++ でも，ほとんど同じ結果が得られます．STL を使用した場合，コンパイル時に警告メッセージが出てしまいますが（私には理解不可能），実行可能プログラムは生成され，問題なく動作します．

プログラミング言語の落とし穴

--- C++，Java，JavaScript，PHP，Ruby，Python，C#，VB の比較 ---

目次