E4X と autovivification

自己紹介

• nanto_vi (TOYAMA Nao)
• 株式会社はてな エンジニア
  • Perl、JavaScript
• ECMAScript for XML (E4X) 仕様邦訳

XML オブジェクトのプロパティへの代入

var a = <a/>;
a.b = 'foo';
// <a>
//   <b>foo</b>
// </a>

• 存在しないプロパティへ文字列を代入すると、新たな要素が作られる
• XML オブジェクトの [[Put]] 内部メソッド

入れ子になった要素を一度に作成する

var a = <a/>;
a.b.c.d.e = 'foo';
// <a>
//   <b>
//     <c>
//       <d>
//         <e>foo</e>
//       </d>
//     </c>
//   </b>
// </a>

• 中間の要素も自動的に作られる
• XMLList オブジェクトの [[ResolveValue]] 内部メソッド

XMLList の [[ResolveValue]]

var a = <a/>;
var list = a.b;

• list は空の XMLList オブジェクト
  • [[TargetObject]] 内部プロパティ (値は a)
  • [[TargetProperty]] 内部プロパティ (値は "b")

[[ResolveValue]] 内部メソッドは、

• 再帰的に呼ばれる……こともある
• a.[[Put]]("b", "") した後に a.[[Get]]("b") し、その結果を返す……こともある

中間のデータ構造も一気に作るといえば

Perl

my $a;
$a->{b}->[0]->{c} = "foo";
say Dumper $a;
# $VAR1 = {
#     'b' => [
#         {
#             'c' => 'foo'
#         }
#     ]
# };

autovivification!

応用: prefs の取得・設定

var data = { 'foo.bar.baz': 42 };
var Prefs = <prefs/>;

XML.prototype.function::get = function () {
    this._ = '';
    var branches = [];
    for (var branch = this;
         branch !== Prefs;
         branch = branch.parent()) {
        branches.push(branch.name());
    }
    var key = branches.reverse().join('.');
    return data[key];
};

XML.prototype.function::set = function (value) {
    this._ = '';
    var branches = [];
    for (var branch = this;
         branch !== Prefs;
         branch = branch.parent()) {
        branches.push(branch.name());
    }
    var key = branches.reverse().join('.');
    data[key] = value;
};

Prefs.foo.bar.baz.get(); // => 42
Prefs.foo.bar.baz.qux.set('Hello, E4X world!');
// data => {
//    'foo.bar.baz':     42,
//    'foo.bar.baz.qux': 'Hello, E4X world!',
// }

まとめ

• E4X には autovivification が備わっている
• しかし E4X を vivify させることはもう……
  • R.I.P.