編集履歴

回答編集履歴

「プロパティに一定の制約を設ける」を追記

2017/10/18 14:28

投稿

スコア18166

test CHANGED Viewed

@@ -176,12 +176,168 @@
+### プロパティに一定の制約を設ける
+プロパティに一定の制約を設けるコード事例を書くと、次のようになります。
+```JavaScript
+'use strict';
+const Person = (() => {
+  const privateMap = new WeakMap;
+  return class Person {
+    constructor (name, age) {
+      privateMap.set(this, Object.create(null));
+      this.name = name;
+      this.age = age;
+    }
+    get name () {
+      return privateMap.get(this).name;
+    }
+    set name (nameString) {
+      return privateMap.get(this).name = String(nameString);
+    }
+    get age () {
+      return privateMap.get(this).age;
+    }
+    set age (ageNumber) {
+      ageNumber = Number(ageNumber);
+      ageNumber = (Number.isNaN(ageNumber) || ageNumber < 0) ? -1 : Math.floor(ageNumber);
+      return privateMap.get(this).age = ageNumber;
+    }
+  }
+})();
+const p1 = new Person('taro', 10);
+console.log(p1.name);  // "taro"
+console.log(p1.age);   // 10
+p1.name = 1;
+console.log(p1.name, typeof p1.name); // "1" "string"
+p1.age = 'fugafuga';
+console.log(p1.age, typeof p1.age);   // -1 "number"
+const p2 = new Person;
+console.log(p2.name, typeof p2.name); // "undefined" "string"
+console.log(p2.age, typeof p2.age);   // -1 "number"
+```
+`Person` には次のルールが設けられています。
+- `name` プロパティは必ず String 型である (MUST)
+- `age` プロパティは -1 以上の整数である (MUST)
+- `age` プロパティは有効な年齢を設定された場合に 0 以上の整数を返す (MUST)
+- `age` プロパティは無効な年齢を設定された場合に -1 を返す (MUST)
+このルールは絶対的であり、引数が省略されても、後でプロパティが再設定されても必ず、そうなります。
+ですので、プロパティの有無を確認する必要がなければ、プロパティに格納された値の型を確認する必要もないのです。
+面倒な処理は全て、Person クラスがやってくれます。
+**(補足)**
+> Numberは0かnanですか。型によって初期値がどうなるという視点は良くないということでしたが、この辺りは気になるところです。
+`age` プロパティは Number 型ですが、年齢として有効な数値は「0 以上の整数」になります。
+従って、無効値が設定された場合に「falsy な 0 を返す」という実装は出来ません。
+`age` プロパティは「整数値を返すプロパティ」なので、`String#indexOf` に倣い、-1 を返すルールとしました。
+このように、考え方次第では、Number 型でも falsy な 0, NaN 以外を返すルールにする場合があります。
+> 例に挙げて頂いた多くは初期値の話というより、関数の戻り値についてだった気がしますが、
+はい。その通りですが、プロパティの getter/setter に一定のルールを設けるという意味では関数の返り値でも考え方は変わらないと思います。
+例えば、`get age ()` は `function getAge () {}` に置き換える事が出来ます。
 ### 更新履歴
 - 2017/10/08 15:37 「結局、どうするべきなのか」「プロパティの初期化をどうするのか」を追記
+- 2017/10/18 23:38 「プロパティに一定の制約を設ける」を追記
 Re: hayatomo さん

typo修正

2017/10/18 14:28

投稿

think49

スコア18166

test CHANGED Viewed

@@ -154,11 +154,11 @@
 {};
-Object.create(null)l
+Object.create(null);
 new Map;
-````
+```

「結局、どうするべきなのか」「プロパティの初期化をどうするのか」を追記

2017/10/08 08:21

投稿

think49

スコア18166

test CHANGED Viewed

@@ -98,7 +98,89 @@
+まず、「オブジェクトが存在しないこと」を表す必要があるのか、を設計段階で考えて下さい。
+ - `getElementById` が `null` を返すのは、ドキュメント上に対応するオブジェクトが存在しなかったから、です。「存在しないもの」に対して、new Element を返すのは適切とはいえません。
+ - `document.onclick` が `null` を返すのは、対応するイベントハンドラ関数(Object型)が存在しなかったから、です。「存在しないもの」に対して、new Function を返すのは適切とはいえません。
+ - `String.prototype.match ` が `null` を返すのは、正規表現に対応する文字列が存在しかったから、です。存在判定によって、後述のコードが処理しやすくなるため、でもあります
+ - `Array.prototype.filter` が `[]` を返すのは、`Array.prototype` に存在する関数をメソッドチェーンによって利用する為です。これは `String.prototype.match ` とは異なる設計であり、宗教上の違いもあります。
+Object型が入るべき変数を初期化する事を考えた場合、 「オブジェクトが存在しない」を明示するなら `null` を代入し、そうでないなら、`new Object` や `new Foo` を代入します。
-時間がなくなったので、後で書きます。
+### プロパティの初期化をどうするのか
+オブジェクトが存在しないのであれば、プロパティも存在しない為、この部分を考える必要はありません。
+オブジェクトが存在するのであれば、`new Foo` でオブジェクトを初期化するわけですが、プロパティの初期値については設計者の思想に依存しています。
+例えば、`new Array` の `length` 値は `0` ですが、これは「`length` プロパティが配列の要素数を返す」と設計者が定めているからです。
+```JavaScript
+new Array().length; // 0
+```
+`String.prototype.indexOf` が対象の文字列を発見出来なかった時に `-1` を返すのは、「存在した時に 0 以上の自然数を返す事から、存在する時の返り値と重複しない値として適当だったから」です。
+同じ `Number` 型の値を持つプロパティでも、存在しない時の初期値が異なる事が分かると思います。
+つまり、必要なのは「Object型の初期値とは何か」という視点ではなく、「その変数が持つ論理的な意味は何か」を考え、そこに合理的な理由を付けて初期値を決めることにあると考えます。
+そのオブジェクトがただのデータとしての入れ物であれば、下記3パターンのどれかを採用する事が多いですが、
+```JavaScript
+{};
+Object.create(null)l
+new Map;
+````
+各プロパティに何がしかの意味を込め、値にも制約やルールを設ける(「値は~型でなければならない」「プロパティfooが0以上なら、プロパティpiyoは1以上でなければならない」等)のであれば、ユーザ定義のコンストラクタでprototype プロパティに一定のルールを定める事が出来ます。
+そして、`instanceof` 演算子や `Object.getPrototypeOf` によって、対象のコンストラクタを特定すれば、自身が定めたルール内でプロパティチェックを省略出来ます。
+(例: `new Foo().piyo` は Number 型の自然数が格納されることが保証されている為、チェック不要など)
+※ECMAScript 上で似た性質を持つ関数の仕様を調べてみるといいかもしれません。
+引数が省略された時の初期値や型の制約など、設計上の考え方で参考になるものがあります。
+### 更新履歴
+- 2017/10/08 15:37 「結局、どうするべきなのか」「プロパティの初期化をどうするのか」を追記