constへの代入行だけをtry-catchしたい（ES6+Babel）

Question

前提・実現したいこと

ES6以上（Babelで変換可能な範囲内）で、「const変数にある関数の実行結果を代入」、そして「関数が例外を投げたら、実行中の関数からも抜ける」を実現したいのです。

発生している問題＆書いてみたソースコード

以下のように、いくつかのパターンを考えてみましたが、動くものについてもすっきりしない部分が残ります。

function その1() {
  try {
    const val = someFunction();
  } catch(e) {
    // 例外処理略
    return;
  }
  // ここでメインの処理…をしようにも、
  // もうここではvalを使えない
}

function その2() {
  let val;
  try {
    val = someFunction();
  } catch(e) {
    // 例外処理略
    return;
  }
  // ここでメインの処理 
  // 動くけど、1度しか代入しないのでできればconstで書きたい
}

function その3() {
  try {
    const val = someFunction();
    // メインの処理を続ける

    // 動くけど、ネストが深くなる、catchで意図しない例外も拾ってしまうなど、
    // できればやりたくない
  } catch(e) {
    // 例外処理略
    return;
  }
}

補足情報（FW/ツールのバージョンなど）

• ブラウザ環境（モダンブラウザ、IE11など不特定）、Babel 6.26でトランスパイル

Answer 1

追記：その5で例外をthrowするの忘れてました！コードを追記します。

---

もっと単純に考えてよいのではないでしょうか？

特に関数の先頭にあるconstへの宣言時に右辺で例外が起きた際に**「その1～その3」などの関数ですべき例外処理があるべきでない**と思います。つまり単に以下でいいのではないでしょうか。

function その4() {
  const var = 例外がおきるかも知れない関数();
  ...
}

もしどうしても「その1～その3」で例外処理をしたいなら以下のようにしては如何でしょうか。

function その5() {
  const var = guard();
  ...

  function guard() {
    try {
      return 例外がおきるかも知れない関数();
    } catch (e) {
      なにかしたいならここで
      throw e;
    }
  }
}

Comments

[maisumakun]

別関数とするのがいちばんスッキリしそうですね、ありがとうございます。

Answer 2

エラーを無視するコード

コードの良し悪しは別として、要件を満たすだけなら次のように書くことが可能です。

'use strict';

/**
 * エラーを無視して関数呼び出しする関数
 */
function callFunctionIgnoreError (fn /* [, args, [, thisArg] ] */) {
  try {
    return arguments.length < 3 ? fn.apply(null, arguments[1]) : fn.apply(arguments[2], arguments[1]);
  } catch (error) {
    return;
  }
}

/**
 * 何か1
 */
function someFunction1 () {
  throw new Error;
}

/**
 * 何か2
 */
function someFunction2 () {
  return 2;
}

/**
 * 実行例
 */
function sample_type4 (fn) {
  const val = callFunctionIgnoreError(fn);

  if (typeof val === 'undefined') {
    return;
  }

  return val;
}

console.log(sample_type4(someFunction1)); // undefined
console.log(sample_type4(someFunction2)); // 2

※callFunctionIgnoreError() には「エラーが発生せず、undefined 値が返り値になった場合」にエラーの有無を区別できない、という問題があり、返り値を次のいずれかにすれば区別できます。

[success, returnValue]
{success, returnValue}

エラーを無視して良いのか

私としては、投げられたエラーを無視して実行する try-catch はアンチパターンと考えています。
実行を継続したいのであれば、someFunction() はエラーが発生しないようにコードを書くべきであり、エラーの有無で実行成否を判断するのが間違っています。
というわけで、関数の返り値で成否を判断するように設計を変える事を提案します。

エラーを無視せざるを得ない場合

とはいえ、例外はあります。
IE7- 向けに XMLHttpRequest のPolyfillを書く場合、new ActiveXObject で代替するのですが、実行成否が例外の有無で判断するしかなかった為、try-catch を利用する必要がありました。
これは私が先人から教えて頂いた方法ですが、当時は新鮮に感じた覚えがあります。

• XMLHttpRequest()

if (!'XMLHttpRequest' in this) {
  this.XMLHttpRequest = (function () {
    var i, l;

    for (i = 0, l = arguments.length; i < l; i++) {
      try {
        return arguments[i];
      }
      catch (err) {}
    }
    return null;
  })(
  function () { return new ActiveXObject('Msxml2.XMLHTTP.6.0'); },
  function () { return new ActiveXObject('Msxml2.XMLHTTP.3.0'); });
}

このように、**ActiveXObject の設計を変更できないならば**、`try-catch` を利用する価値はあります。
逆にいえば、関数コードが自分のコントロール下にあるなら、設計を見直すべきと私は考えます。

Re: maisumakun さん

Comments

[maisumakun]

はい、残念ながら呼んでいる関数がライブラリ内のもので、「例外を投げてくる」という前提は受け入れざるを得ない状況でした。

Answer 3

今日、この問題を研究して思いついた方法です。

・const受け取り
・意図した通りの例外処理を失敗のすぐ近くに記述
・関数脱出(early return)可能
・ネストが深くならない

のすべてを満たしていると思います。

const sugoiMethod = async () => {
  try {
    // すべての処理は、このtryの中で行う

    // await-catchならconst受け取りできます！
    const hoge = await getHoge().catch(e => {
      ...// hoge取得失敗用の処理はここで
      throw e;// throw!! early returnしたいのが明白！
    });

    // await-catchならconst受け取りできます！
    const hage = await getHage().catch(e => {
      ...// hage取得失敗用の処理はここで
      throw e;// throw!! early returnしたいのが明白！
    });

    ...// 成功時の処理をいろいろする
    return hoge + hage;

  } catch (e) {
    // early returnするためのthrowを受け取っただけですー。何もしませーん。
    return null;// お好みのエラーっぽい値を返せばいいさ
  }
};

Answer 4

よく判らんけれど, 「try-catchせずにエラー判定したい」と仮定してこんな感じ？

//エラーを握りつぶす関数
function test(f){
	try{
		return f();
	}catch(e){
		return e;
	}
}

//エラーの発生有無を戻り値がErrorかどうかで判断
function a(v){
	const val = test(b.bind(null, v));
	if(val instanceof Error){return;}
}

//エラーを発生させるかもしれない関数
function b(v){
	if(v === true){
		throw new Error("error");
	}else{
		return "success";
	}
}

a(true);
a(false);

---

何がベストかは判らんけれど, bindを使わないならこうか？

//エラーを握りつぶす関数
function test(f, ...arguments){
	try{
		return f(...arguments);
	}catch(e){
		return e;
	}
}

//エラーの発生有無を戻り値がErrorかどうかで判断
function a(v){
	const val = test(b, v);
	console.log(val);
	if(val instanceof Error){return;}
}

//エラーを発生させるかもしれない関数
function b(v){
	if(v === true){
		throw new Error("error");
	}else{
		return "success";
	}
}

a(true);
a(false);