- 740 名前：デフォルトの名無しさん mailto:sage [2014/03/24(月) 23:47:28.16 ID:6M4RZ6kU]
- オンラインコンパイラサービスは色々あるからそれを試すのが良いよ
GCC:melpon.org/wandbox/permlink/gCuQdogNabmJhVeF
Clang:melpon.org/wandbox/permlink/FkystRrbxJlhHwvf
結論としては、dtype<T>は関係無い。dtype<T>はdouble_trait<T>::typeに展開されるのでTはnon-deduced context、よってここでは推論の対象とならない。
けれども、第二引数のcomplex<T>のTはdeduced contextで推論される。結局Tはcomplexのテンプレート引数に推論されてオーバーロード候補としてマッチする。
参考:melpon.org/wandbox/permlink/CYnRbBgzf2gL4vGL
ここも参考になるかも（英語）
stackoverflow.com/questions/8775202/how-do-template-aliases-affect-template-parameter-deduction
|
 |
