阅读
this question之后,我不得不再次意识到我对模板的了解程度.我可以理解,这样的模板专业化
// A template <typename T> void foo(T x){} template <> void foo<double>(int x){}
无法正常工作(错误:模板ID’foo< double>‘代表’void foo(int)’与任何模板声明都不匹配).它不仅没有意义,而且参数推断也没有机会得到正确的T.但是,我不明白为什么它对返回类型不起作用:
// B template <typename T> int foo(T x){} template <> double foo<double>(double x){}
(与上面类似的错误).实际上我手头没有任何特定的用例,但我仍然会对如何根据T选择返回类型感兴趣.作为一种解决方法,我发现了这个:
// C template <typename T> struct foo { static int moo(T x){return x;} }; template <> struct foo<double> { static double moo(double x){return x;} };
因此可以选择依赖于T的返回类型.但是,我仍然感到困惑……
B不可能的原因是什么?
解决方法
即使很奇怪,你也可能有
template <typename T> void foo(int); template <typename T> char foo(int);
所以你的专业化将是模棱两可的.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。