08/01/27 13:22:31
221です。続きです。
>>221 のtype functionについて疑問があります。
main関数内の②の呼び出しでは、渡している引数の型は確かに int const の
はずですが、結果はprimary templateが呼び出されます。②では T が
int const に deduction されて、T const に対する partial specialization
が呼ばれ、結果が2 になると思ったのですが、そうはなりませんでした。
明示的に f<int const>(j); とすれば 2 が表示されます。
何故 ② の呼び出しで T が int const に deduction されないのでしょうか？