SFINAE メモ

C++

SFINAEは確か…
14.8.2-2
（テンプレート引数の置き換えの結果変な型ができるのはdeduction failureである。この時点ではエラーではない。ただしちなみに、例外仕様の部分で変な型ができちゃうとill-formed programになってしまったりする。）と

14.8.3-1
（deductionに成功したテンプレートを実体化したもののみを、オーバーロード解決の候補に加える。）
だったと思います。

Cry's Dialy - SFINAEの動作保証 のコメント欄