Javaとは (ジャバとは) [単語記事]

Javaとは、プログラミング言語の一つである。Java VMなどの実行環境全体を指す場合もある。
当記事では前者について扱う。後者についてはJava仮想マシンを参照。

人によってはJavaScriptと混同している場合があるので注意を要する。（特に書店の店員さん）

もともとはコーヒー豆の種類であるJavaから。コンピュータを知らない人にとっては風呂釜洗浄剤だったり原人だったり島の名前だったりカレールウだったりする。缶紅茶とかゴダイゴとかが出てきたら立派なおっｓ(ry

概要

1990年末から開発が始まり、サン・マイクロシステムズ（後にオラクルが吸収）によって1995年に公表されたオブジェクト指向プログラミング言語。現在はオープンソース化されているが、ライセンスなどはオラクルが管理している。

当初は、Javaで動作する専用のハードウェアも開発し、インターネット家電機器への進出も計画されたが頓挫し、現在はJava VMを介した実行環境がメインとなっている。

他にもいろいろ挫折のあった言語だが、それでも使用プログラマの人口は1,2を争うくらいに多い。また、使用人口が多いため検索するだけで比較的容易に情報が入手できるという言語仕様とは関係ない強みがある。

用途

携帯電話(いわゆるガラケー)の開発言語として、2010年あたりからは、Androidスマホの開発言語として注目を集めているが、地味にサーバー用途などの利用も多い。

普通のデスクトップアプリ開発もできるが、実行にJavaのインストールや起動が必要になる。アプレット? ああ、そういうのもあったっけ。

Java仮想マシンを参照。

特徴

過去は非常に互換性を重視しようという意図があり、その関係で長らくGenericsが要望されながら搭載が見送られてきた経緯があるが、C#の存在を意識してかJava5(1.5)を境にむしろ互換性を犠牲にしてまで様々仕様を搭載しようとする姿勢に変化している。

文法外の特色としては中間言語＋仮想マシン方式であること、ガベージコレクションがあること、ドキュメンテーションコメントの書法を定義していること（JavaDoc）、などがある。

中間言語(バイトコード)方式

Javaは直接機械語にコンパイルされず、中間言語(バイトコード)にコンパイルされ、バイトコードをJava仮想マシンが各ハードウェアの機械語(ネイティブコード)に変換して実行するという方式をとる。

基本的に「Java仮想マシンさえあればどこでも動く」という移植性の高さから「Write once, run anywhere」と言われる^[1]。

ハードウェアに依存しない反面、デバイスドライバなどハードウェアに依存した処理には弱く、C言語との組み合わせが必須となる。もっとも、使用人口が多いおかげで、主だったハードウェアには何らかのサードパーティ製ライブラリが存在してC言語を使わずに何とかなることも多い。

文法

オブジェクト指向。強い静的型付け言語。

C++に見られる多くの機能を改良して吸収し言語仕様も大幅に改編、さらにC++では標準機能として持てなかった機能を大幅に追加していった。これにより高い汎用性と生産性をアピールすることになった。

シンタックスシュガーが少ないのが特徴でJavaの省略しない文化が表れている。他にもgetter, setterなどのお約束もあいまってコードの長さには定評がある^[2]。だが、省略されていないメソッド名を眺めているだけでなんとなく使い方がわかる場合もあるので、省略しないことは必ずしも悪いことではない。

演算子のユーザー定義が認められていないので、BigDecimal(精密十進演算)などで込み入った四則演算をしようとするとaddやmultiplyなどのメソッドが入り乱れて大変なことになる。演算子のユーザー定義を認めた結果ソースコードがよくわからない記号だらけになった言語もあるので、これも悪いことばかりとはいいきれない。

型はプリミティブ型、列挙型（Java 5から導入）、オブジェクト(参照型)に分かれ、プリミティブ型にはboolean, char, int, short, long, float, doubleがある。オブジェクト指向であるにもかかわらずオブジェクトの性質を持たないプリミティブ型があることは、パフォーマンス面でC言語やC++に対抗するため必要なことであったとはいえ、Javaがオブジェクト指向言語として不完全であるといわれる原因にもなっている^[3]。修正の予定もないことはない(後述のProject Valhalla)が、実現するのは早くても2019年以降のことになると思われる。

標準ライブラリ

よく使われるような機能はJava SE自体に標準ライブラリとして一通り揃っている。

ブラウザでリッチクライアントを実現することが初期の開発理由の一つにあったためか、プログラミング言語としては珍しく発表当初からGUIライブラリが標準ライブラリに含まれている。もっとも、「標準」自体はAWT、Swing(Java 2〜)、JavaFX(Java 8〜)と2回の交代を経験している。

一方で複素数などは標準ライブラリに含まれておらず、前述の演算子のユーザー定義禁止の問題もあわせて、数学や科学分野の計算に向いているとは言いがたい面もある。

開発

統合開発環境

Javaの統合開発環境(IDE)としてはEclipseとNetBeansがよく知られている。

EclipseはIBMが、NetBeansはサン・マイクロシステムズ（現オラクル）が開発の主体となって開発したソフトウェアで、どちらもフリーかつオープンソースである。
これらは開発の支援機能を多く備え、生産性向上にも役立つIDEとして有名である。

特にEclipseはJavaに限らずクロスプラットフォームな開発環境においては標準的なIDEとなっていることが多い。

基本的にJavaの開発時にどちらを利用するか迷ったら書籍など情報量の多いEclipseをおすすめする。
ただし、マシン環境が貧弱な場合、NetBeansのほうがより軽いため、こちらを使うほうがいいかもしれない。

他には有償のものとしてIntelliJ IDEAがある。

開発支援ツール・ライブラリ等

標準以外でも、オープンソースの強力なライブラリ群があるのがJavaの特長である。Apache Software Foundationのライブラリ群などがよく知られている。定番とされているものだとApache Ant,Apache Tomcat,Apache Struts,Apache Mavenが挙げられる。

バージョン

先述のように互換性を重視するため、新しい文法の導入は遅れがちであるが、1.5におけるジェネリクス以外には以下のような変更が実施・予定されている。

Project Lambda(Java8)

本当はJava7に導入される予定だったが、作業が難航しJava6の後に5年ほどあいてしまった(Javaは2年ごとに新しいリリースを出す方針になっている)ため、Java7から外されて2014年3月にJava8で導入された。

これによりラムダ式を用いて関数(メソッド)を引数や戻り値に指定できるようになり、オブジェクト指向言語Javaも晴れて関数型言語の仲間入りを果たした。

Project Jigsaw(Java9)

これも本当はJava7に導入される予定があったが、Project Lambdaと共にJava8へと延期され、さらにこちらだけはJava9に延期された。なお、Java9のリリースは2016年9月予定となっている(2015年8月現在)。

文法の変更と言うよりも、ビルドに際してのパッケージ依存関係などの記述方法が変わってモジュール化が促進されるとかなんとか。

Project Valhalla(Java10?)

オブジェクト指向言語なのにオブジェクトの規則に従わないプリミティブ型は、特にジェネリクスの導入以降、型引数にプリミティブ型を使えないことによる様々な弊害をもたらしてきた^[4]。

Project ValhallaではこのJava誕生時から存在する問題に手をつけようという事のようだ。

ジェネリクスの型引数にプリミティブ型が指定できるようになる。(ex. List<int>)
プリミティブなデータ型を定義できる(定義されたデータ型は参照渡しでなく値渡しになる)。

Java10の目玉機能と噂されているが、Javaの根幹にかかわる問題だけに互換性が犠牲になる可能性が高く、難航が予想される。^[5]

ちなみにValhallaは北欧神話の主神オーディンの宮殿の一つ。死んだ戦士の魂が集まる場所。果たしてプリミティブ型との戦いで散っていったIT戦士たちの魂は救済されるのか?

脚注

*実際にはそれぞれの環境によって異なることも多々あるために"Write once, debug everywhere"と揶揄されることも多い
*プログラミング言語のコードの長さを比較するときに同じ内容をJavaで書いた行数の何分の1になるかで比較することが珍しくない。
*あれ？全てがオブジェクトなんじゃないの？プリミティブ型は違うの？とか言ってはいけない。何でラッパーとかいるの？Stringはプリミティブ？え？違う？　でもイミュータブルなので、プリミティブ的に扱っておｋ。って、どっち？メソッドあるからオブジェクト？？意味わからないです。
　･･･とか言う会話を新卒と交わし、本気でエリック・ガンマに手紙を出そうとした２年目を見たことのある人間が、少なくとも日本には一人いる。
*たとえばStream<T>のTにintやdoubleを入れることができないため、IntStream, DoubleStreamといった型を個別に定義しなければならなくなっている。ラッパークラスを用いてStream<Integer>とすることもできるが、パフォーマンスが犠牲になる。Stream<T>だけで済めばいいが、Optional<T>など汎用性が高い型が定義されるたびにオブジェクトとプリミティブで場合分けが必要になる。
*たとえばList<E>ではオーバーロードにより、remove(E object)はListにobjectが含まれていればそれを除外し、remove(int i)はListのi番目の要素を除外する。ところがList<int>を認めてしまうとどちらと解釈するのかわからなくなってしまう。