0

行列の要素?成分?ってNaNでもいいんですか?
DOMMatrixの、コンストラクタに数値としてパースできない値の配列を渡す、またはメソッドに数値としてパースできない値を渡すと、
エラーになるかと思ったら受け入れられてNaNを含む結果が返ってきたのですが、これは当たり前のことですか?
NaNであることに意味がある場面ってどういうときですか?

new DOMMatrix(new Array(6))
//a: NaN
//b: NaN
//c: NaN
//d: NaN
//e: NaN
//f: NaN
//m11: NaN
//m12: NaN
//m21: NaN
//m22: NaN
//m41: NaN
//m42: NaN
new DOMMatrix().scale('a')
//a: NaN
//b: NaN
//c: NaN
//d: NaN
//m11: NaN
//m12: NaN
//m13: NaN
//m14: NaN
//m21: NaN
//m22: NaN
//m23: NaN
//m24: NaN
new DOMMatrix().translate('a')
//e: NaN
//f: NaN
//m41: NaN
//m42: NaN
//m43: NaN
//m44: NaN

2 件の回答 2

0

検索して資料を辿っていっただけですが、おそらく以下のようなことで、仕様だと思われます。

DOMMatrix (WebKitCSSMatrix)

NaNが明記されているのは以下のメソッドだけですが、一応要素の取り得る値としては有効なのかもしれません。

DOMMatrix.invertSelf()
Modifies the matrix by inverting it. If the matrix can't be inverted, its components are all set to NaN, and is2D returns false.

例外通知が明記されているのは以下の2つです。

fromFloat32Array()
Creates a new mutable DOMMatrix object given an array of single-precision (32-bit) floating-point values. If the array has six values, the result is a 2D matrix; if the array has 16 values, the result is a 3D matrix. Otherwise, a TypeError exception is thrown.

fromFloat64Array()
Creates a new mutable DOMMatrix object given an array of double-precision (64-bit) floating-point values. If the array has six values, the result is a 2D matrix; if the array has 16 values, the result is a 3D matrix. Otherwise, a TypeError exception is thrown.

DOMMatrix()

言わずもがななのかもしれませんが、新しいオブジェクトを返すとだけあって、例外やエラーには言及されていません。

The DOMMatrix constructor creates a new DOMMatrix object which represents 4x4 matrices, suitable for 2D and 3D operations..

Parameters
init Optional
A string containing a sequence of numbers or an array of numbers specifying the matrix you want to create, or a CSS transform string.


「類似」と言うか「こじつけられるかも?」という記事

なぜJavaScriptのDateコンストラクタは例外を投げないのか

Q. なぜJavaScriptのDateコンストラクタは例外を投げないのか?
A. NaNがあるから

parseInt()

また、下記の場合は NaN が返されます。

  • radix が 2 よりも小さいか 36 よりも大きい、または r
  • 最初のホワイトスペース以外の文字が数値に変換できない。

parseFloat()

または、最初のホワイトスペース以外の文字が数値に変換できなかった場合は NaN です。


上記DOMMatrixコンストラクタのページに仕様の基となったのがこちら、という記述が有り初期化の仕様が記述されています。
ただしまだDraft状態ですね。
Geometry Interfaces Module Level 1

Editor’s Draft, 17 February 2021

そしておそらく、以下の記述が要素にNaNを許容する根拠になっているのでは?

Document conventions

The NaN-safe minimum of a non-empty list of unrestricted double values is NaN if any member of the list is NaN, or the minimum of the list otherwise.

Analogously, the NaN-safe maximum of a non-empty list of unrestricted double values is NaN if any member of the list is NaN, or the maximum of the list otherwise.

こちらがDOMMatrixの初期化処理と思われます。
(それ以後も続いているので別のことかもしれませんが)

6.1. DOMMatrix2DInit and DOMMatrixInit dictionaries

To validate and fixup (2D) a DOMMatrix2DInit or DOMMatrixInit dictionary dict, run the following steps:
1 If if at least one of the following conditions are true for dict, then throw a TypeError exception and abort these steps.

  • a and m11 are both present and SameValueZero(a, m11) is false.
  • b and m12 are both present and SameValueZero(b, m12) is false.
  • ...以下省略

Note: The SameValueZero comparison algorithm returns true for two NaN values, and also for 0 and -0. [ECMA-262]

aからfm11からm42のそれぞれ両方がNaNならばtrueなので例外は発生しないのでしょう。

ただし文字列化する時にm11からm44のどれかがNaNの場合は例外になるようです。

stringification behavior
If one or more of m11 element through m44 element are a non-finite value, then throw an "InvalidStateError" DOMException.

Note: The CSS syntax cannot represent NaN or Infinity values.

EXAMPLE 6
This example will throw an exception because there are non-finite values in the matrix.

var matrix = new DOMMatrix([NaN, NaN, NaN, NaN, NaN, NaN, NaN, NaN, NaN, NaN, NaN, NaN, NaN, NaN, NaN, NaN]);
var string = matrix + " Batman!";

上記EXAMPLE 6stringification時に例外が発生するという例ならば、コンストラクターでは例外は発生しないということなのでしょう。

2
  • そもそも行列やDOMMatrixの話ではなく 数値は不正な値だった場合は全部NaNになるのが決まりだからDOMMatrixもそれにあわせているだけ ということ?ですか
    – sflow
    Commented 2021年4月23日 3:02
  • その可能性は高いでしょうね。ただ基となる仕様がDraft状態なので今後変わる可能性があるかもしれません。
    – kunif
    Commented 2021年4月23日 3:06
0

文字通り「パースできなかった」という意味があるでしょう(大マジ)

NaN は普通には 0/0 のように未定義の演算結果を意味しています。演算途中で NaN が得られた=アルゴリズムかプログラムかデータか、何かが誤っていて以後の演算に意味がないことを表現しているわけです。この例題の場合、元データにそもそも意味がないので計算するだけ無駄だから NaN にしているのでしょう。

データーベースの世界だとデータ欠損にもちゃんと意味があって「無いこと」を NULL として表現するところだけど、数値演算の世界に NULL はないし 0 にするのはもっと誤っているしってことで NaN のほうが安全

プログラム自体のエラーは即停止してデバッガがいればデバッガでトラップされるほうがデバッグがはかどるのでしょうが、データの誤りはプログラムの誤りではないので、正しく「計算結果が無意味であること」が得られるほうが良いという判断なのでしょう。 は末端顧客の Web UA 上で実行されるので、閲覧者は「実行エラー」になっても何をどうしてよいかわからないです。何も出ないほうがまだまし。

2
  • 数学の行列では起こりえないことだけどプログラミングの行列では正しくない値が渡されることもあるので正しくない値だという目印としてNaNが使われているということですか?それ以外に使いみちはないのでNaNにならないようにするかNaNになったら別の値で上書きするかですか?
    – sflow
    Commented 2021年4月23日 1:49
  • NaN はすなわち、おかしいことを示す値。「意味ある値」を使って「意味ある演算」をしていれば NaN にはならないっス。 NaN を上書きするってのはよく意味が分からないです(上書きするってことは計算途中から無関連な値を与えるってことなのでどのみち結果は正しくない)
    – 774RR
    Commented 2021年4月23日 2:09

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。