[JavaScript] 2変数引数の再帰関数の実装に条件三項演算子を用いるとスタックオーバーフローするのはどうしてでしょう？

Question

JavaScriptの仕様あるいは挙動についての疑問です．

再帰関数&条件三項演算子の場合は実行できます．

const factional = (n: number) => {
  return n <= 1 ? 1 : n * factional(n - 1);
};
const ans = factional(10);

2変数引数&再帰も実行できます．

const gcd = (a: number, b: number) => {
  return b == 0 ? a : gcd(b, a & b)
  if (b==0) {
    return a;
  } else {
    return gcd(b, a % b);
  }
};
const ans = gcd(48, 36);

にもかかわらず次のコードは実行時にスタックオーバーフローします．

const gcd = (a: number, b: number) => {
  return b == 0 ? a : gcd(b, a & b)
};

不思議に思えましたが当たり前の結果なんでしょうか？
参考資料だけでも教えていただければ幸いです．

Answer 1

a & bとは何を意図したものでしょうか。

この状況でa == bとなる引数を与えれば、a & bもaやbと同じ値となるので、無限に再帰が続くことになります。

Comments

[avandan]

回答ありがとうございます．
タイポでした．`a % b`の間違いです．ずっと気づかないでいました．ありがとうございます