Closure Templates 2.4の新機能 - Strict Autoescaping

2014年4月にリリースされたClosure Templates 2.4では、いくつか面白い新機能が追加されています。
[前記事](http://qiita.com/zoetro/items/d0e7479816b09990f4e2)ではパラメータの型チェック機能について紹介したので、今回はStrict Autoescapingについて紹介します。

# Contextual Autoescapingの廃止

Closure Templatesには、Cotextual Autoescapingという強力なオートエスケープ機能があります。

 - [Closure Templatesのオートエスケープが最強すぎる件](http://teppeis.hatenablog.com/entry/20120318/1332092081)

詳しくは上記の記事を参照してもらえるといいのですが、要は出力先がHTMLであるのか、JavaScriptなのか、CSSなのかというコンテキストを自動的に判別して、最適なエスケープをおこなってくれる機能です。

しかしこのContextual Autoescapingは、Closure Templates 2.4で非推奨(deprecated)な機能になっています。

非推奨になっている理由としては、Contextual Autoescapingでは二重エスケープをしてしまう場合があるからです。

二重エスケープの具体的な例をみてみましょう。
下記の例では、`let`で変数を組み立てるときと、`{$content}`を出力するときの2回HTMLエスケープがおこなわれてしまいます。
そのため、出力される結果は意図しないものとなってしまうでしょう。私もよくやってしまいます。
（templateに`autoescape="contextual"`または`autoescape="deprecated-contextual"`を指定すると、Contextual Autoescapingが利用されます）

~~~soy:contextual.soy
{namespace example.templates.contextual}

/**
 * @param message
 */
{template .render autoescape="deprecated-contextual"}
  {let $content}
    <pre>{$message}</pre>
  {/let}

  {$content}
{/template}
~~~

上記のような小さなテンプレートであれば分かりやすいので問題ないのですが、大規模なテンプレートを開発している場合は、対象の変数がエスケープ済みなのかどうかを追跡するのが難しくなります。

そこで、エスケープしたかどうかが分かるように変数名に`safe_`というプリフィックスをつけて、出力する際には`noAutoescape`フィルタを利用する手法を用いることが多いのではないでしょうか。

~~~soy:contextual.soy
{namespace example.templates.contextual}

/**
 * @param message
 */
{template .render autoescape="deprecated-contextual"}
  {let $safe_content}
    <pre>{$message}</pre>
  {/let}

  {$safe_content|noAutoescape}
{/template}
~~~

でもプリフィックスとか付けるの面倒ですよね。
それに`safe_`が付いてる変数なのにエスケープし忘れた値を入れてしまったりすると目も当てられません。


# Strict Autoescaping

前述したように、Contextual Autoescapingには問題があることが分かりました。
そこで、Closure Templates 2.4では、Contextual Autoescapingでコンテキストを自動判別することを諦めて、出力する文字列の種類を明示的に指定するStrict Autoescapingという方法を導入しました。

Strict Autoescapingでは、出力する文字列の種類を明示することによって、文字列を単純なstring型として扱うのではなく、SanitizedContentと呼ばれるオブジェクトとして扱えるようになります。
これにより、変数に代入するような中間出力のときはエスケープせずにSanitizedContentのまま扱い、最後に出力するときだけエスケープがおこなえるようになります。これで二重エスケープの心配がなくなります。

具体的な利用方法をみてみましょう。
templateに`autoescape="strict"`を指定すると、Strict Autoescapingが利用されます。
そして`template`や`let`に`kind="html"`を指定することで、このテンプレートや変数がHTMLとして出力されることを明示しています。

~~~soy:strict.soy
{namespace example.templates.strict}

/**
 * @param message
 */
{template .render autoescape="strict" kind="html"}
  {let $content kind="html"}
    <pre>{$message}</pre>
  {/let}

  {$content}
{/template}
~~~

`kind`を指定できるのは、templateの定義(template)、templateのパラメータ定義(param)、変数定義(let)の3箇所です。
また、`kind`には`html`, `attributes`, `text`, `uri`, `css`, `js`の6種類を指定することができます。ここで指定した種類に応じて最適なエスケープがおこなわれるわけです。

なお、Strict Autoescapingモードで`kind`を指定し忘れると、テンプレートをコンパイルした時にエラーを出してくれます。ありがたいですね。

また、[前記事](http://qiita.com/zoetro/items/d0e7479816b09990f4e2)で紹介したパラメータの型を指定する方法で、型名に`html`や`text`などkindに指定できるのと同じものを指定することもできます。

~~~
{namespace example.templates.html_typed}

/**
 */
{template .child autoescape="strict" kind="html"}
  {@param content : html}

  {$content}
{/template}
~~~

# まとめ

`kind="html"`のように、出力の種類を毎回指定するのは面倒に感じるかもしれませんが、出力する変数がエスケープ済みなのかどうかを考えながらテンプレートを書くほうが面倒です。
大きなテンプレートファイルを書く場合には、積極的にStrict Autoescapingを使っていきたいですね。

なお、本記事のサンプルについてはGitHubにアップしてあります。

 - https://github.com/zoetrope/closure-sandbox/tree/master/autoescaping_sample

# ちなみに

AngularJSには、SCE(Strict Contextual Escaping)という仕組みがあります。

 - [AngularJSのStrict Contextual Escapingって何だ？](http://qiita.com/zoetro/items/0b01fda20f8000e485cf)

SCEは、Closure TemplatesのContextual AutoescapingとStrict Autoescapingのいいとこ取りをしたような仕組みになっています。

おそらく、Closure Templatesは文字列ベースのテンプレートエンジンなので、validでないHTMLを扱う必要があって正確にコンテキストを自動判別することができなかったのでしょう。
一方のAngularJSはHTMLベースのテンプレートエンジンなので、正確にコンテキストの自動判別ができたということなのでしょう。