Arrow functionで、あえて引数にundefinedを渡したことを識別する方法はあるのか

Question

ES6以上にあるArrow functionを(param) => { /* 中身略 */ }のように書いた場合に、「paramを省略して呼び出した場合」と「paramにundefinedを指定した場合」を区別する方法はありますでしょうか。

なお、実用的にはそのような関数を書くべきではないでしょうし、どうしても必要となれば「functionで書いてarguments.lengthをチェックする」「...argsのように書いて、args.lengthをチェックする」などに書き換えれば動かすことは可能だということは間違いないです。

あと、以下の方法はうまくいかないことも把握しています。

• arguments.length…Arrow functionではargumentsを取れない
• デフォルト引数を付ける…あえてundefinedを渡してもデフォルト引数が適用される

Comments

[A_kirisaki]

これ英訳・追記して Stack Overflow 持ってってもいいですか？

[maisumakun]

はい、こちらにリンクと、あとフィードバックもいただければ大丈夫です

[A_kirisaki]

聞いてみましたが、やはり無理筋のようですね。TypeScript もそりゃコンパイル時に決定するんだから無理でしょということに。 [javascript \- How to distinguish whether or not a function given undefined intentionally \- Stack Overflow](https://stackoverflow.com/questions/65448896/how-to-distinguish-whether-or-not-a-function-given-undefined-intentionally)

Answer 1

arguments#length の代替手段

Arrow functionで、あえて引数にundefinedを渡したことを識別する方法はあるのか

同じ疑問を持って調べた事がありますが、私が調べた範囲ではアロー関数に arguments#length の代替手段はありませんでした。

残余引数(Rest parameters)

「...argsのように書いて、args.lengthをチェックする」

確かにこの方法でも実引数の数を参照できますが、Function#length 値を0にリセットする問題があり、厳密には arguments#length の代替手段になりません。

function fn1 (arg) { console.log(arguments.length); }
const fn2 = (...args) => console.log(args.length);

console.log(fn1.length); // 1
console.log(fn2.length); // 0

残余引数(Rest parameters)は二通りの使い道があります。

• 可変引数を指定する
• Function#length 値をコントロールする為にoptionalな引数に指定する

function output (value, ...option) {
  console.log(option[0] ? String(value) : value);
}

console.log(output.length); // 1

関数 output の必須パラメータは第一引数であり、残余引数(Rest parameters)を使用することで output.length 値が 1 になるよう調整できます。

推奨or非推奨

なお、実用的にはそのような関数を書くべきではないでしょうし、れば動かすことは可能だということは間違いないです。

これには異論があります。
例えば、関数の多重定義(オーバーロード)を実装する場合、ECMAScriptには標準機能が存在しない為、arguments,length を活用する必要があります。

function overloadFunction () {
  switch (arguments.length) {
    case 0:
      throw new Error('One or more arguments required');
    case 1:
      // 実引数が1個の処理
      break;
    case 2:
      // 実引数が2個の処理
      break;
    case 3:
    default:
      // 実引数が3個以上の処理
      break;
  }
}

また、Function#length を利用した必須パラメータを判定する為にも arguments.length は有効です。

function sum (a, b) {
  let i = arguments.length;

  if (i < sum.length) {
    throw new Error(sum.length + ' or more arguments required');
  }

  let result = 0;

  while (i--) result += +arguments[i];

  return result;
}

sum(1,2); // 3
sum(1);   // Error: 2 or more arguments required

ECMAScript 2020

ECMAScript 2020 には実引数の数に関連したErrorオブジェクトが存在しません。

• 19.5.5 Native Error Types Used in This Standard - ECMAScript® 2020 Language Specification

実引数の数が不足した事に起因するエラーは大抵、TypeErrorになります。

• 22.1.3.12 Array.prototype.forEach - ECMAScript® 2020 Language Specification

[].forEach(); // TypeError: undefined is not a function

ビルトイン関数の基本的な動きは

1. 引数の型をチェック
2. 引数の型が実行条件を満たさない場合は TypeError を返す

というもので、Undefined 型を要求する関数は(私の知る限りでは)存在しない為、引数の数が不足すれば型チェックによって TypeError を返すケースが大半です。

---

ただし、それでも例外はあるもので、実引数の数を判定しているビルトイン関数も存在します。

• 5.6. fetch メソッド - Fetch Standard （日本語訳）

fetch(undefined); // エラーは発生しない
fetch();          // TypeError: Failed to execute 'fetch' on 'Window': 1 argument required, but only 0 present.

結論

アロー関数に arguments.length の代替手段はありません。
必要なら「関数宣言or関数式 + arguments.length」を使用し、目的に応じて使い分ける必要があります。

Re: maisumakun さん

Comments

[A_kirisaki]

JavaScript の雑な実装がみんな悪いんや……。実用的には undefined を未定義動作、それこそ今議論に上がっている引数の不足などに徹底し、その他は null などの値を返すことを徹底するのが落としどころなんですかねえ。TypeScript 使えばそのへんも型でガッチリ固められますし。

[think49]

@A_kirisaki さん
> 実用的には undefined を未定義動作

そもそも論に持っていくと、明示的に undefined を引数に指定すべき場面は限られていて、どのような理由で「明示的なundefinedの指定」「未指定によるundefined」を区別すべきなのか、という「実装の理由」「目的」を前提として問うべき問題と思います。
例えば、私が思いつくところでは「Map#setの第一引数」「Function#callの第一引数」がそれです。
その部分は maisumakun さんの質問文から抜けている情報で「実用的にはそのような関数を書くべきではない」も目的を踏まえたうえで適切な実装になっているかを問うべきで、目的を度外視して実装が間違っていると断ずるのは間違っていると私は考えています。

> その他は null などの値を返すことを徹底するのが落としどころ

返り値と本質問の関係性がいまひとつ分からないのですが、undefined と null は本質的に異なる値です。
nullは「Object型が存在しない事を意味する値」であり、未定義値を意味する undefined の代用とはなりません。
http://www.ecma-international.org/ecma-262/11.0/#sec-null-value

Answer 2

命題で挙げられていることがほぼ全てでしょう
特定のparamで受ける前提でundefindを引数にするということは
なにも指定していないのと同義ということです。
すでにご自身で理解している通り「(...params)=>{」とすれば
切り分けることも可能です

Comments

[yambejp]

(...params)の反応は残余引数は配列を受けるという性質を利用しています

Answer 3

TypeScriptじゃ……ダメ？

追記

const foo = (value:undefined) => {
  return value
}

foo() // compile error

型の上では弾けるようになりましたね。
demo

追記 2

const foo = (x: undefined) => {
  return x
}

foo() // compile error
foo(undefined)

全く使い物になりませんが undefined を取らなければいけない関数はできましたね。型レベルでどうにかこうにかできないか Conditional Types やら持ち出して粘ってみたんですが、実行時に型情報を取得する手段が乏しく上記の判断は難しいのではという判断に至りました。悔しい！

Comments

[maisumakun]

TypeScriptでも、省略可能な引数は(param?: 型名)のような形になりますが、変数の型としてはundefinedとのunionとなっていて、あえてundefinedを渡すことも可能です。

https://www.typescriptlang.org/play?#code/MYewdgzgLgBAZiEMC8MAUA3AhgGwK4CmA-AFwzQBOAlmAOYCUKAfDAN4BQMMokIOBAOhwhamXIXoBudgF927BCDR4wAEwJwaBVVKA