型変換の回数を減らしたいが、スコープは小さくしたい。

Question

前提

タイトルが曖昧でごめんなさい。
ちょっと日本語での説明が思いつかなかったのでJavaScriptのコードで説明させてください。

//引数argはSymbolもしくは任意の文字列
function myFunc(arg) {
    if (typeof arg === "symbol") {
        //Symbolを使った処理
    } else if (Number.isInteger(+arg)) {
        let i = +arg;
        //引数の文字列を整数に変換した変数iを使った処理
    } else {
        //引数が整数に変換できない場合、文字列として処理
    }
}

上のコードの真ん中のelse ifブロックで、条件判定のときに単項プラス演算子で引数を数値型に変換しているのですが、ブロック内の処理でも引数を整数にしたものが必要になるので再度単項プラス演算子で変換をしています。
ここで、同じ変換を二回もしているのが無駄だなあと感じました。

そうかといって、

function myFunc(arg) {
    let i = +arg;
    if (typeof arg === "symbol") {
//（後略）

のように冒頭で変換しておくようにすると、引数がSymbolだった場合は変換できずエラーになります。

Symbolを避けて、

function myFunc(arg) {
    if (typeof arg === "symbol") {
        //Symbolを使った処理
    } else {
        let i = +arg;
        if (Number.isInteger(i)) {
            //引数を整数に変換した変数iを使った処理
        } else {
            //引数が整数に変換できない場合、文字列として処理
        }
    }
}

のようにするとエラーも変換の二度手間も省けるのですが、
「内側のelseではiは使わないから、iのスコープは内側のifだけでいいんだけどなあ」と細かいことが気になってしまいました。

実現したいこと

こういった場合に、

• 型変換は一回だけ行う。
• 変換した変数のスコープは、実際に使うブロック（一番上のコードでは真ん中のelse ifブロック）に抑える。

という条件を満たしたコードは書けるでしょうか。

こうすれば書けるよ！という方法があれば教えていただきたいです。
また、そんなコードは書けないということならその旨を教えていただけると嬉しいです。

そもそも関数myFuncの設計自体が無茶という点には目をつぶっていただけると幸いです。できないならできないということで理解しますので…

Answer 1

「内側のelseではiは使わないから、iのスコープは内側のifだけでいいんだけどなあ」

ifのカッコ内でも使っていますので、この感じ方がおかしいだけかと思います。

Comments

[_kari_]

ifのカッコ内は外側のスコープになるんですね。
forのカッコ内がブロックスコープになるのでその認識に引っ張られていました。

[maisumakun]

> forのカッコ内がブロックスコープになるのでその認識に引っ張られていました。

forのカッコ内は、内側とも外側とも違う独自のスコープです。

[_kari_]

そうなんですか？
内側と同じスコープだと思っていました。

その点について勉強したいのですがどのようなキーワードで調べればよいでしょうか。

[maisumakun]

「for let スコープ」で検索するといろいろ出てきます。

http://js-next.hatenablog.com/entry/2014/05/30/052106

[_kari_]

ご提示いただいたリンクの「等価なコード」を読んで腑に落ちました。
ありがとうございます。
偶然ですが、maisumakunさんの過去回答も見つけ、とても参考になりました。
https://teratail.com/questions/310641

Answer 2

変数 i

Number.isInteger() の実行前に「型変換後の値」を変数 i に格納して下さい。

function myFunc (arg) {
  let i;

  if (i = +arg, Number.isInteger(i)) {
    //引数の文字列を整数に変換した変数iを使った処理
  }
}

早期リターン

function myFunc(arg) {
  if (typeof arg === "symbol") {
      return /* Symbolを使った処理 */ ;
  }

  let i = +arg;

  if (Number.isInteger(i)) {
    return /*引数を整数に変換した変数iを使った処理 */ ;
  }

  let string = String(arg);

  // 引数を文字列として処理
}

Re: kari さん

Comments

[_kari_]

そのコードだとスコープは質問文の最後のコードと同じになりませんか？

(let i = +arg, Number.isInteger(i))とできたら理想なのですが、「let i = +arg」は式ではないのでこうは書けない…

[think49]

変数 i のスコープを最小限にするなら、_kari_ さんが書いた下記コードを使う事になります。

else {
let i = +arg;

[think49]

> そのコードだとスコープは質問文の最後のコードと同じになりませんか？

最後のコードよりも私の回答コードはスコープが広いといえるでしょう。
ブロックのネスト構造を敬遠しているようでしたので、あえてこのように書きましたが、最小限のスコープにプライオリティをおくなら、_kari_ さんが書いたコードが正解だと思います。

[_kari_]

すみません、ifのカッコ内がブロックスコープになると思い込んでいました…（for文のように）
私のスコープについての認識がおかしかったのが問題の根幹でした。

[think49]

個人的には、早期リターンで書きます。
回答に追記しました。

[_kari_]

早期リターンって個人ブログの古めの記事でよく見かける印象があって（偏見）少し敬遠していたのですが、こう見るとすっきり見通せていいですね。
もう少し勉強してみます。

[think49]

おそらく、_kari_さんは構造化プログラミング的な手法を好んで使っていますが、階層を浅くする事を優先するなら、早期リターンは一つの解決法になります。
私は「構造化プログラミング」も一つの完成系だと思うので、階層が深くなったとしても採用する価値はあると思っていますが…。
結局はトレードオフなので、状況別に使い分けるしかないですね。

[_kari_]

恥ずかしながら自分用のツールを作るくらいしかプログラミングの機会がなく、「構造化プログラミング」も名前だけは聞いたことがあるけど意味は知らないくらいでした。調べてみて、なるほどとなりました。

階層が深くなって書いた自分でも何がなんだかわからなくなることもあるので、今後必要な時には使い分けるようにします。

[think49]

構造化プログラミングのポイントは「一つの入口(仮引数)」と「一つの出口(return)」を持つことで、対する早期リターンは「一つの入口」と「複数の出口」を持ちます。
構造化プログラミングは出口が一つなので、後ろから遡ってコードを確認できますが、早期リターンは出口が複数なので、最初から最後まで全てに目を通さなければ全体把握できません。

参考までに、ES2020 では Number.isInteger で早期リターンのアルゴリズムを採用しています。
https://262.ecma-international.org/11.0/#sec-number.isinteger
現在は早期リターンが好まれる傾向にありますが、一長一短なので両方試して判断するのがベターだと私は思います。

[_kari_]

古いどころかES2020でも採用されている方式なんですね。
おかげさまでだいぶ視野が広がりました。ありがとうございます。

一応、
{
let i = +arg;
if (Number.isInteger(i)) {
return /*引数を整数に変換した変数iを使った処理 */ ;
}
}
のように早期リターンにしてからブロックで包めば私が当初やりたかったことは実現できました。いい方法とは思わないけど…

ひとまず解決済ということにしたいと思います。