こんにちは、太田です。前回はクロスブラウザのパターンについてまとめました。今回はより具体的にJavaScriptの基礎的な部分からそこそこJavaScriptに慣れた方でも間違いやすいポイントを中心に解説します。
JavaScriptの背景知識
JavaScriptは(未だに)誤解されがちな言語です。まずはJavaScriptの背景から解説していきます。
(広義の)JavaScriptとはEcma Internationalによって策定されているECMA-262という規格(ECMAScript)を実装した処理系で実行される言語を指します。遠回りな表現になっていますが、これはJavaScriptのややこしさの一端を表しています。つまり、JavaScriptそれ自体に仕様があるわけではない、ということです。ECMAScriptと呼ばれる言語の仕様があって、その仕様に準拠した言語を(広義の)JavaScriptと(慣例的に)呼んでいるだけなのです。
ECMAScriptは比較的「ゆるい」言語です。ECMAScriptで規定された範囲については実装側がサポートすることを要求していますが、それ以外の部分について実装側で型やオブジェクトなどを追加することを許可しています。これはそもそも、ECMAScriptはNetscapeのJavaScriptとIEのJScriptをベースに共通部分を仕様化することで生まれた言語という歴史的な経緯の結果でもあり、同時にJavaScriptの進化(混乱?)の要因でもあります。
さて、上記でNetscapeのJavaScriptと書きました。そう、JavaScriptは元々Netscapeのものでした。Netscapeは開発もサポートも終了してしまっていますが、その系譜はMozillaに引き継がれています。先程「(広義の)JavaScript」とも書きましたが、これに対する「狭義のJavaScript」とはNetscape、MozillaのJavaScriptを指します。
よって、単にJavaScriptと書くとMozillaのJavaScriptを指すのか、クロスブラウザなJavaScriptを指すのかはっきりしない、ということです。実際に、MozillaのJavaScriptエンジンであるSpiderMonkeyはJavaScript 1.5、1.6(Firefox 1.5)、1.7(Firefox 2)、1.8(Firefox 3)、1.8.1(Firefox 3.5)、1.8.2(Firefox 3.6)とバージョンアップを続けていますが、このバージョン番号が広義のJavaScriptのバージョンと混同されてしまうといったことはよくあります(今回は扱いませんが、FirefoxのJavaScriptは独自の進化を遂げ、ECMAScriptとはかなり距離ができています。ECMAScriptがMozillaのJavaScriptから離れたとも言えます)。なお、この連載では単にJavaScriptと書いたときはもちろん広義のJavaScriptを指します。これに対して、例えばMozilla Developer Center - MDCにおけるJavaScriptとは、多くの場合でMozillaのJavaScriptを指しています。(Mozillaの)JavaScript 1.5はECMA-262 3rd editionとほぼ同等で、Opera、Safari、ChromeなどもJavaScript 1.5をひとつの指標としてJavaScriptエンジンを実装している面があるので、「OperaのJavaScriptエンジンはJavaScript 1.5に対応」といった表現も間違いではないのがややこしいところです。
JavaScriptのオブジェクトと型
JavaScriptのデータ型は大きく分けて「プリミティブ値」と「オブジェクト」の2種類に分けることができます。プリミティブ値を細かく分けると、数値、文字列、真偽値、null、undefinedの5種類です(nullとundefinedはやや特殊ですがここではまとめておきます)。オブジェクトはキー(文字列)とバリュー(プリミティブ値とオブジェクト)で表現される複合データで、配列や関数などもオブジェクトに含まれます。
JavaScriptのprototype
JavaScriptはprototypeベースの言語です。null、undefined以外のデータはprototypeを介して拡張することが可能です。これはプリミティブな値も例外ではありません。
例えば下記のようにString.prototypeを拡張することで、文字列リテラルにも任意のメソッドを追加することができます。
なお、String.prototype.trimはECMA-262 5th editionで追加されたメソッドです。Chrome 4やFirefox 3.6ではすでにネイティブに実装されています(Chrome、Firefoxではtrim以外にもtrimLeft、trimRightも実装していますが、標準ではありません)。
こういったprototypeの拡張は便利ですが、問題もあります。prototypeに追加されたプロパティはfor inで列挙されてしまうという問題です。for inを使うことがないモノについてはほとんど問題ありませんが、ObjectやArrayなどでは重大な問題です。
IEで上記のコードを実行すると途中でforEachがアラートされます。hasOwnPropertyというメソッドで自分自身がもつプロパティかどうかチェックすることで回避することはできますが、なるべくならシンプルに書きたいところでしょう。よって、(ネイティブな)prototypeを拡張する場合はfor inが使われていない、使ってしまうことがないと保証できる場合に限る必要があります。逆にfor inを使う場合はprototypeが拡張されていないかどうかに注意する必要があります。
Object.prototypeについては、拡張すると影響範囲が非常に大きいため禁止としたほうがよいでしょう。なお、ECMAScript 5では安全にprototypeを拡張する方法が用意されているので、Object.prototypeに任意のメソッドを追加することが可能になります。
なお、これらはネイティブなprototypeを拡張する場合の注意ですので、自前で定義した関数のprototypeを拡張するのはまったく問題ありません。
JavaScriptの関数
JavaScriptで特に特徴的なのは関数の扱いです。関数もオブジェクトに含まれると書いた通りで、関数をオブジェクトのプロパティにすることや、変数に入れ替えるなど、自由自在に操作することができます。こういった性質をもった関数をプログラミング用語で第一級関数(JavaScriptの関数はファーストクラスオブジェクトである、ともいう)と呼びます。すでに何度か登場したaddEvent関数はブラウザの実装にあわせて関数の定義をわけるようにしていますが、これができるのは関数がファーストクラスオブジェクトだからです。
関数には大きく分けて2種類の定義方法があります。
このAとBはよく似ていますが、微妙に違いがあります。まず、前者は関数を変数Aに代入する形になっています。よって代入が行われるまで変数Aはundefinedな状態です。それに対してBはこのコンテキストの実行前に評価されるので、Bより上に位置するコードもBを呼び出すことができます。関数を定義する位置をコントロールできるので、ソースの可読性を高めることが可能です。
また、AとBをそれぞれ文字列に変換してみると、Aはfunction(){}、Bはfunction B(){}となります。BにはBという名前が含まれています。つまり、Bは自分自身がBという関数であることを知っているわけです。実際、IE以外のブラウザではnameというプロパティで関数の名前が取得できます(B.name === 'B')。この名前によって、エラーが起きた際のデバッグがしやすくなるので、Bを使うようにするのがよいと言えます。
さて、ここで問題です。次のサンプルコードを実行したとき最後のalertに表示されるのは1, 2, 3のどれでしょうか?
正解は、“すべて”です。ちょっと嫌らしい答えですね。すみません。というのも、この問題はブラウザによって回答が異なり、Firefoxは1、Opera/Safari/Chromeは2、IEは3になります。
なぜこうなるのか、を説明します。まず、ECMAScriptでは関数宣言が重複したときは、後ろで定義されたものを優先します。そのルールに従ってOpera/Safari/Chromeは2を返します。Firefoxでは、関数宣言の外側の条件文をみて関数の定義を決定するという独自拡張をしているので、1を返します。最後にnotSomeFuncに代入しているsomeFuncは関数宣言ではない(FunctionExpression)ので、このsomeFuncは外から参照できないはずですが、IEは関数宣言と同じように扱ってしまうのでsomeFuncを上書きしてしまうので、3を返します。
さて、もう一度addEvent関数に戻ります。と、いい加減しつこくなってきたので、実装を変えてみます。
まず重要なのは無名関数とそれを呼び出している部分です。つまり、次の部分です。
function(){}で関数を定義して、その関数を () で囲って関数宣言(FunctionDeclaration)ではなくFunctionExpressionであることを明確にして、そのすぐ後ろの () で関数を呼び出しています。なお、関数の周囲の括弧は関数宣言ではないことを明確にするための括弧なので、元々関数宣言でないことが明確な場合は省略できます。
そして、もうひとつのポイントは関数が関数を返している部分です。
このように、関数を返す関数(または関数を引数にする関数など)をプログラミング用語で高階関数と呼びます。この高階関数はクロージャーを正しく理解する上極めて重要な要素となります。
最後に、addEventの定義方法はほかにもいくつかあります。よりシンプルに実装するなら3項演算子がよいでしょう。
また、関数が呼び出されたときに振り分ける方法も一般的です。
変則的ですが、関数内で自分自身を書き換えることも可能です。
後半の2つは関数宣言のメリットである記述した場所より上のコードから呼び出すことができる点がポイントです。
まとめ
今回はJavaScriptの基礎的な部分を中心に解説しました。次回はJavaScriptの最重要ポイントであるクロージャーを中心に見ていきたいと思います。