c – 为什么模板专业化不能改变返回类型？

概述阅读 this question之后,我不得不再次意识到我对模板的了解程度.我可以理解,这样的模板专业化 // Atemplate <typename T> void foo(T x){}template <> void foo<double>(int x){} 无法正常工作(错误：模板ID’foo< double>‘代表’void foo(int)’与任何模板声明都不匹配).它不仅没有意义, @H_419_1@@H_301_4@ 阅读 this question之后,我不得不再次意识到我对模板的了解程度.我可以理解,这样的模板专业化

// Atemplate <typename T> voID foo(T x){}template <> voID foo<double>(int x){}

无法正常工作(错误：模板ID’foo< double>‘代表’voID foo(int)’与任何模板声明都不匹配).它不仅没有意义,而且参数推断也没有机会得到正确的T.但是,我不明白为什么它对返回类型不起作用：

// Btemplate <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不可能的原因是什么？

@H_301_4@解决方法 即使很奇怪,你也可能有

template <typename T>voID foo(int);template <typename T>char foo(int);

Demo

所以你的专业化将是模棱两可的.

@H_301_4@ @H_301_4@ @H_301_4@ @H_301_4@ 总结

以上是内存溢出为你收集整理的c – 为什么模板专业化不能改变返回类型？全部内容，希望文章能够帮你解决c – 为什么模板专业化不能改变返回类型？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。