Underscore: _.isNumber（NaN）はtrueを返します

そうです、それは故意です。 そして、私はそれを明確に述べる必要はないと思います。 これまでIEEE754浮動小数点を使用したことがある人なら誰でも、おそらくNaNが単なる別の浮動小数点値であることを知っています。

関連：＃321での議論

私が一般的なWebタスクを実行しているとき、isNumberという名前の関数は、見つかった値が「これは数値ですか？」という一般的なユーザー定義に答えるかどうかを確認する良い方法のように思えます。

さらに、NaN値は、計算を妨げる値を特定するのに役立つように、最初に導入されたように思われます。 仕様の精神では、「これは数字ですか？」という質問をすると、正解のように見えます。 実際、それは「数ではない」ということです。 この質問に対する答えを真にしたい一般的な例を挙げていただければ、ここで黙ります:)

あなたはisFiniteを探しています。これ

さて、私は単純な問題から始めました。 文字列、数値、場合によってはNaNの入力があります。 parseIntとisFiniteを使用してparseintが成功するかどうかをテストする、ベースJavaScriptの簡単なソリューションがあります。 単純ですが、完全にクリーンではなく、私の目標を自明ではありません。 それで、私はこれらの種類のタスクを実行するために私の完全に素晴らしいgotoライブラリを使用することにしました。 最初の検査で、値を取り、それが数値であるかどうかを示す関数を見つけました。これは、私の一般的な定義では、私が欲しいと思うものです。

まず、これにより、ドキュメントに行を追加することで、ライブラリのユーザーが最初にジョブに適切な機能を取得するのにどのように役立つかがわかりますか？ 次に、これが意味のある例をもう一度お願いします。

言語について知っておくべきことはすべて知っているようです。 だから、私の中学2年生の兄弟が私に与えることができる暗い解決策でブラインドショットを吐き出すのではなく、素晴らしいドキュメントを介して私たちの残りの部分を教育するその熟練の一部を使用できるといいかもしれません。 お時間をいただきありがとうございます。

@jashkenasの考えに興味があります。 私は侮辱的または軽蔑的に聞こえるつもりはありません。 私は時々そのように外れることを知っています。 これらの簡単な答えを出して、問題がどのように解決されないかを目で見て、問題をよりよく示す方向に会話を進めようとしているのは事実だと思います。

まず、これにより、ドキュメントに行を追加することで、ライブラリのユーザーが最初にジョブに適切な機能を取得するのにどのように役立つかがわかりますか？

おそらく、確かに。

次に、これが意味のある例をもう一度お願いします。

[[Class]] == "Number"のテスト？ それは明らかなはずです、それは数字と一致します。 自然数、整数、有限数、実数、有理数など、期待していたサブセットではないかもしれませんが、確かにすべての数です。

とはいえ、ドキュメントに綿毛を追加しすぎると害を及ぼす場合があります。 しかし、私はこれがその時の1つではないと思います。 これは、現在の状態で、数値の抽象的な概念の解釈が矛盾している可能性がある開発者にとって役立つ可能性があります。 あなたの場合のように、あなたがテストしたいセットのメンタルモデルをすでに確立していて、それからそのテストを実行するために_現れた_関数を見つけました。 +1 、ただし@jashkenasの考えにはまだ興味があります。

はい- NaNが渡されたときに、 _.isNumberがtrueまたはfalseどちらを返すかはまったくわかりません。 私は確かにそれを試さずに覚えていません。 上記のコミットのドキュメントにメモを追加しました。 ありがとう。

みんなありがとう。 他の誰かがこの同じ問題に遭遇しないかもしれないことを知ってうれしいです。

これは間違いなく、セマンティクスが技術的事実よりも優先されるべき場合のように思われます。 はい、NaNはいくつかの仕様によると数字かもしれません。 しかし、私が何かを尋ねると、「あなたは番号ですか？」という質問があります。 そしてそれは「私は数ではない」と言っているので、私はそれを信じるべきです。 Not a Number – NaN –間違いなくNumberではありません...そしてisNumberはfalseを返す必要があります。

人間にとって意味のあるものを修正するのではなく、ドキュメントにGotchaを配置すると、コーディングにかかる​​時間が短縮され、ドキュメントをじっくりと見つめる時間が長くなります。

これを再考してもらえますか？

@contentfree ： NaNはfloatのメンバーです。 JSのすべての数値は浮動小数点数です。 私はそれがNaNを彼らが得るのと同じくらいの数になると思います。 NaNは、「私は数字ではない」という意味ではありません。 これは、非数値の数値表現です。 事件は私の本で閉じられました。 NaN / Infinity / -Infinity数値をテストする場合は、 isFinite使用します。

死んだ馬を倒すのではなく...

どうして
obj instanceOf Number

javascript仕様にすでに存在する必要なアクションを実行するためのより読みやすい方法がある場合は、未知の（調査に時間を無駄にしない限り）ライブラリを使用せずにその方法で実行するようです。

これを意味的に正しく修正するつもりがない場合は、ライブラリから無駄なオーバーヘッドと頭痛の種を取り除くだけでよいと私は投票します。

instanceof演算子はオブジェクトに対してのみ機能し、プリミティブに対しては機能しません： new Number(5) instanceof Number == true; 5 instanceof Number == false 。 また、ブラウザのフレーム間では機能しません。 [[Class]]を経由してチェックObject::toStringされ、一般的に受け入れられてJavaScriptで最も信頼性の高いタイプのチェック方法であることが。

ライブラリをより便利にするための+1と、同じインスタンスでJavaScriptを初めて使用するユーザーを教育します。

提案：
_.isNumber（object、[isFinite]）;

これにより、isFiniteがおそらく最初に求めていたものであることを学びながら、この落とし穴に巻き込まれたときに、現在の実装にtrueを簡単に追加できます。

私の2c

@ nickl-興味深いアイデアですが、その場合は単にisFiniteを使用しないのはなぜですか？

あるいは、 _.isNaNすでに存在するため、対称性のために_.isFinite追加できる可能性があります。

_.isFinite = function (value) {
  return value > -1 / 0 && value < 1 / 0;
};

@kitcambridge

私が予測する唯一の問題は、文字列が有限の「0x0」、「0xF」、「2」などとして渡されることです。したがって、何があっても、_。isNumberまたは同等のものと組み合わせる必要があります。

_.isFinite = function (obj) {
  return obj > -1/0 && obj < 1/0 && _.isNumber(obj);
};

数値テストにval === + valを使用することで、5文字を削ることができます。

_.isFinite = function (obj) {
  return obj > -1/0 && obj < 1/0 && obj === +obj;
};

@octatone確かに、それは公平だと思います...技術的には、これらの文字列は数値比較で使用できるため有限です（インタプリタはそれらを数値に強制する必要があります）が、提案は既存のアンダースコアタイプチェック関数とより一貫性があります。

既存の_.isValidDateとインラインであり、isFinite引数を混同しない_、isValidNumberはどうですか？

@ nickl-

NaNおよびInfinity有効な数値です。 この関数にisValidNumberという名前を付けると、その目的が混乱するのでしょうか。それとも、isNumberの名前をisValidNumberに変更するということですか。

NaNおよびInfinity有効な数値です。 この関数にisValidNumberという名前を付けると、その目的が混乱すると思います。

同意します。

名前の変更は言わなかった...

私もその_.isNumber(NaN) === trueを知って驚いた。

@contentfreeのhttps://github.com/jashkenas/underscore/issues/406#issuecomment-4144992に同意する傾向があると思います。 ソフトウェアエンジニアリングでは、この特定のケースの原則である「驚き最小の原則」もあります。 ;-)

そして、これほど多くの人々がそれについて混乱しているのを見た後、非ハードコアjs-codersの人間がその名前を見たときに期待することを関数に実行させることは理にかなっていると思います。

ちょうど私の小さな2¢…™

_.isNaNも混乱を招きます。 ドキュメント内：

注：これは、ネイティブのisNaN関数と同じではありません。この関数は、undefinedなど、他の多くの非数値に対してもtrueを返します。

通常の意味では、 undefinedは確かに非数です。

私は意味論的建設性に投票します、 isNumber == Not a number笑。 浮動小数点値のチェックについて詳しく説明する必要がある場合は、他の方法で行うと思いますか？

私は意味論的建設性に投票します、

いや、 -Infinity 、 Infinity 、 Object(2)同じように、 [[Class]]数字です。 これは、関数もオブジェクトであるように、開発者が学ぶことの1つです。 このメソッドの範囲外である番号に対して何らかの形式の検証を実行する必要がある可能性があります。 例えば、それはより大きいです-1未満Math.pow(2,32) 、または整数。 -Infinity 、 InfinityまたはNaN場合、バリデーターとして_.isFiniteを使用します。 同様に、 _.isDateは、日付オブジェクトが有効な日付を表しているかどうかを検証しません。

「seealso：isFinite」および「seealso：«何かが実際に使用できる数値であるかどうかを判断する方法を列挙するエッセイ」でドキュメントを更新するのはどうですか？

@michaelficarra仕様では、NaNは非常に数値型であることを私は知っています。 しかし、プログラマーが尋ねるときに考えているのは、これが数字なのかということですか？

私たちのほとんどが知りたいのは、ほとんどの場合、これを基本的な算術に使用できるかどうかです。 したがって、isNumber（x）&& isFinite（x）に移動する必要があります。 そして、それは大丈夫だと思います。 しかし、それは新しいプログラマーにとって大きな落とし穴であり、よく読めません。

厳密に英語の観点からは、isNumberというテストからtrueを返すNot a Number（NaN）はまったく意味がありません。 これは、isNumericまたはisNumericTypeという名前の方が適切ではないでしょうか。

少なくとも人々がこれに最初に直面したとき、これがバグを追加し、多くの時間を浪費することは間違いありません。

したがって、isNumber（x）&& isFinite（x）に移動する必要があります。

最近、 _.isFinite実装をES6Number.isFiniteに従うように
これにより、値が数値プリミティブであり、有限であり、この一般的なケースを処理する必要があります。

他の[[Class]]チェックメソッドと一致する_.isNumberの動作を変更する必要はありません。

厳密に英語の観点からは、isNumberというテストからtrueを返すNot a Number（NaN）はまったく意味がありません。 これは、isNumericまたはisNumericTypeという名前の方が適切ではないでしょうか。

検証、 _.isNumber 、および_.isDateに関する私のコメントを参照し

@ jdalton_.isDateで一定の動作については正しいです。 そして、皆さんはアンダースコアを使って素晴らしい仕事をしているので、決定は本当にあなた次第だと思います。

しかし、それは非常に直感に反しているように思われるので、数字ではないと呼ばれるものは数字です。

@Walms 100％同意します。 この場合、NaNが_技術的に_数値であるとすると、プログラマーと直感はステートメントの絶対的な「正確さ」を無効にする必要があると思います。

しかし、それは非常に直感に反しているように思われるので、数字ではないと呼ばれるものは数字です。

その意味で、それはよりもはやカウンター直感的である_.isNumber返すtrue 、数字のオブジェクトに対してObject(2)の型であることをobject ？

これらは[[Class]]メソッドです。 たぶん、それはドキュメントでもっと明確にする必要があります。

私はすでに、 _.isFinite ES6 Number.isFinite従わせるという実行可能な代替案を提案しました。 基本的なis-number必要な場合は、 typeof x == 'number'ます。 値がNaN 、 Infinity 、または-Infinityでないことを検証する必要がある場合は、 Infinityすべての[[Class]] Number 、次に_.isFiniteが行く方法です。

よりきめ細かい数値メソッドについては、アンダースコア-寄稿を参照してください。 _.isNumeric 、 _.isInteger 、 _.isZero 、 _.isEven 、 _.isOdd 、 _.isFloat 、 _.isNegative 、＆ _.isPositive 。

@jdalton最後の2つのコメントは、これが混乱していると思う理由を明確にするのに本当に役立ったと思います。

_.isNumberの前にisが付いているという事実によって、_。isNumberにコンテキストが与えられていることは、最初はわかりませんでした。つまり、タイプチェックでした。 このコンテキストでは、あなたは完全に正しいです。_。isNumberがNaNに対してfalseを返すことは意味がありません。

しかし、アンダースコア-contribとisFiniteはこのコンテキストを壊しているようです。 最初はisですが、タイプではなく値を検討しています。 そして、これは私が混乱していると思うところです。関数名からコンテキストを決定する明確な方法がありません。

これはすべて、これを修正する方法が見当たらないと言っていました。

ここでの問題は、数字には直感的でないことがいくつかあるということだと思います。 ただし、それらは一貫した方法で動作します。 この場合、一貫性を低くすることで_.isNumberより直感的にすることができ、最終的には他の場合には直感的でなくなります。

ここにいくつかの具体的な例があります：

# If you add two Numbers together you always get another Number back
# This function should always return true no matter what you pass it
closedUnderAddition = (a, b) -> !isNumber(a) || !isNumber(b) || isNumber(a + b)

closedUnderAddition(1,1) == true
closedUnderAddition(Number.MAX_INT,2**970) == true # false if isNumber checks finiteness

# If you divide two Numbers you always get another Number back
closedUnderDivision = (a, b) -> !isNumber(a) || !isNumber(b) || isNumber(a / b)

closedUnderDivision(1, 2) == true
closedUnderDivision(1, 0) == true # false if isNumber checks finiteness
closedUnderDivision(0, 0) == true # false if isNumber checks finiteness or NaN-ness

# Anything you cast to a Number is a Number
castsToNumber = (x) -> isNumber(Number(x))

castsToNumber(1) == true
castsToNumber(Infinity) == true # false if isNumber checks finiteness
castsToNumber("bees") == true # false if isNumber checks finiteness or NaN-ness
castsToNumber("3") == true

michaelficarraが言ったように：

NaNは「私は数ではない」という意味ではありません。 これは、非数値の数値表現です。

言い換えれば、「数字」と数字があります。 NaNは「数」ではないかもしれませんが、Infinity、-Infinity、および-0のようなばかげたものと一緒に絶対に数です。 ただし、ワイルドでウーリーであると同時に、Numberの定義は明確に指定されており、一貫して動作します。

一方、「数字」は明確に定義されていない概念であり、話している相手に応じて、上記のいずれかまたはまったく含まれない可能性があり、数値文字列、ブール、真夜中など、あらゆる種類のものが含まれる可能性があります。 それは問題ありませんが、すべての人の定義に準拠したソリューションはありません。

そのため、これは本質的にドキュメントの問題だと思います。

また、「数字」は他の人の言葉のように見えなくなりましたか？

良い点、@ sgentle。 前者は客観的な尺度であるのに対し、私たちは直感性よりも一貫性に投票しますが、（このスレッドが示すように）直感的であることに全員が同意するわけではありません。

NaNを「数字ではない」として扱わないでください。 NaNは特別な値です。

NaNを「数字ではない」として扱わないでください。 NaNは特別な値です。

ええ、でもそれは「数字ではない」と呼ばれています。
私にとってそれはこのようなものです
var _false = "true";
ええ、あなたは_falseが真であることを学ぶことができますが、それは正当な理由もなく混乱しています。

@Walmsそれは悪い名前ですが、それはJSのせいではありません。 それを「NaN」と名付けた男を非難するかもしれません。 http://en.wikipedia.org/wiki/NaN

ああ、私は_.isNumber(NaN)がfalseを返すことを望みます...これが理由であることに気付くまで、ここで深刻な頭をかきむしりました。

if (isNaN(Number(value))) {
  alert('Number required.');
}

@pspi同意しました。 _.isNumber() _semantic_の意味で正しく動作させることは、私が実際にそれを使用することは決してないことを意味します。 ._isFinite()は、私が期待するように機能する関数のようです。

そしてもちろん、これを投稿した翌日、引数が数値ではないにもかかわらず、 _.isFinite('1')がtrueであることがわかりました。