相关疑难解决方法(0)

为什么更多主流的静态类型语言不支持返回类型的函数/方法重载？我想不出那样做.通过参数类型支持过载似乎没有那么有用或合理.怎么这么不受欢迎呢？

#include <iostream>

template<typename T>
struct identity
{
    typedef T type;
};

template<typename T> void bar(T) { std::cout << "a" << std::endl; }
template<typename T> void bar(typename identity<T>::type) { std::cout << "b" << std::endl; }

int main ()
{
    bar(5); // prints "a" because of template deduction rules
    bar<int>(5); // prints "b" because of ...?

    return EXIT_SUCCESS;
}

我预计bar<int>(5)至少会产生歧义.这里涉及到关于模板函数重载决策的疯狂规则？