読者です 読者をやめる 読者になる 読者になる

SFINAE メモ

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

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

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