回答編集履歴
1
微修正
answer
CHANGED
|
@@ -14,7 +14,7 @@
|
|
|
14
14
|
---
|
|
15
15
|
【補足の補足】
|
|
16
16
|
ところで、上記の過程で特定のインスタンス化がエラーになる場合、コンパイル・エラーになるのではなく、オーバーロード解決の候補から外されるというのがSFINAEです。
|
|
17
|
-
し
|
|
17
|
+
そして、これは通常関数同士のオーバーロード解決と同じと思います。SFINAEはテンプレート特有であるかのように説明されることが多いですが、そのため却って分かりにくくなっている気がします。
|
|
18
18
|
|
|
19
19
|
通常関数のオーバーロードを解決する際も採用されないオーバーロード関数の中には当該実引数を渡すとエラーになるものもありますね。それは単にオーバーロードの候補から外されるだけです。
|
|
20
20
|
|