例外処理では、密接に関連するステートメントをグループ化することがよくあります。 これらのステートメントを実行している際に、いずれかのステートメントでエラーが発生した場合、残りのステートメントを続行しても意味がありません。代わりに、できるだけ gracefully にエラーから回復しようとします。これは、トランザクションを漠然と連想させます（ただし、アトミック性はありません）。

例外処理のないコードを見てみましょう

function processFiles() {
    var fileNames = collectFileNames();
    var entries = extractAllEntries(fileNames);
    processEntries(entries);
}
function extractAllEntries(fileNames) {
    var allEntries = new Entries();
    fileNames.forEach(function (fileName) {
        var entry = extractOneEntry(fileName);
        allEntries.add(entry);  // (1)
    });
}
function extractOneEntry(fileName) {
    var file = openFile(fileName);  // (2)
    ...
}
...

(2) の `openFile()` でエラーが発生した場合、どのように対処するのが最善でしょうか？明らかに、ステートメント (1) はもう実行されるべきではありません。しかし、`extractAllEntries()` を中止したくもありません。代わりに、現在のファイルをスキップして次のファイルに進むだけで十分です。そのためには、前のコードに例外処理を追加します。

function extractAllEntries(fileNames) {
    var allEntries = new Entries();
    fileNames.forEach(function (fileName) {
        try {
            var entry = extractOneEntry(fileName);
            allEntries.add(entry);
        } catch (exception) {  // (2)
            errorLog.log('Error in '+fileName, exception);
        }
    });
}
function extractOneEntry(fileName) {
    var file = openFile(fileName);
    ...
}
function openFile(fileName) {
    if (!exists(fileName)) {
        throw new Error('Could not find file '+fileName); // (1)
    }
    ...
}

例外処理には2つの側面があります

(1) では、次の構造がアクティブです

    processFile()
        extractAllEntries(...)
            fileNames.forEach(...)
                function (fileName) { ... }
                    try { ... } catch (exception) { ... }
                        extractOneEntry(...)
                            openFile(...)

(1) の `throw` ステートメントは、そのツリーを上に辿り、アクティブな `try` ステートメントに遭遇するまで、すべての構造を離れます。そして、そのステートメントの `catch` ブロックを呼び出し、例外値を渡します。

JavaScriptの例外処理は、ほとんどのプログラミング言語と同様に機能します。`try` ステートメントはステートメントをグループ化し、それらのステートメントで例外をインターセプトできるようにします。

throw «value»;

// Don't do this
if (somethingBadHappened) {
    throw 'Something bad happened';
}

if (somethingBadHappened) {
    throw new Error('Something bad happened');
}

try {
    «try_statements»
}
⟦catch («exceptionVar») {
   «catch_statements»
}⟧
⟦finally {
   «finally_statements»
}⟧

function throwIt(exception) {
    try {
        throw exception;
    } catch (e) {
        console.log('Caught: '+e);
    }
}

> throwIt(3);
Caught: 3
> throwIt('hello');
Caught: hello
> throwIt(new Error('An error happened'));
Caught: Error: An error happened

function throwsError() {
    throw new Error('Sorry...');
}
function cleansUp() {
    try {
        throwsError();
    } finally {
        console.log('Performing clean-up');
    }
}

> cleansUp();
Performing clean-up
Error: Sorry...

function idLog(x) {
    try {
        console.log(x);
        return 'result';
    } finally {
        console.log("FINALLY");
    }
}

> idLog('arg')
arg
FINALLY
'result'

var count = 0;
function countUp() {
    try {
        return count;
    } finally {
        count++;  // (1)
    }
}

> countUp()
0
> count
1

ECMAScriptは、次のエラーコンストラクタを標準化しています。説明はECMAScript 5仕様からの引用です。

エラーのプロパティは次のとおりです。

エラーの通常の発生源は、外部（間違った入力、ファイルの欠落など）または内部（プログラムのバグ）のいずれかです。特に後者の場合、予期しない例外が発生し、デバッグする必要があります。多くの場合、デバッガーは実行されていません。「手動」デバッグには、次の2つの情報が役立ちます。

最初の項目（データ）の一部を、メッセージまたは例外オブジェクトのプロパティに入れることができます。 2番目の項目（実行）は、多くのJavaScriptエンジンで、例外オブジェクトが作成されたときのコールスタックのスナップショットである*スタックトレース*を介してサポートされています。次の例は、スタックトレースを出力します。

function catchIt() {
    try {
        throwIt();
    } catch (e) {
        console.log(e.stack); // print stack trace
    }
}
function throwIt() {
    throw new Error('');
}

相互作用は次のとおりです

> catchIt()
Error
    at throwIt (~/examples/throwcatch.js:9:11)
    at catchIt (~/examples/throwcatch.js:3:9)
    at repl:1:5

スタックトレースが必要な場合は、組み込みエラーコンストラクタのサービスが必要です。既存のコンストラクタを使用して、独自のデータをそれに添付できます。または、サブコンストラクタを作成することもできます。そのインスタンスは、`instanceof` を介して他のエラーコンストラクタのインスタンスと区別できます。悲しいかな、そうすることは（組み込みコンストラクタの場合）複雑です。その方法については、第28章を参照してください。