c++:函数重载和声明顺序的混淆

我意识到c++继承了C语言的许多要求，其中之一就是编译器不会识别全局函数，除非它以前遇到过这个函数的原型或定义。

这也会影响c++函数的重载。如果一个函数调用有多个候选函数，如果编译器还没有看到它的原型/定义，那么"正确的"候选函数将不会被包含在选择过程中。

考虑:

void foo(int v)
{
    cout << "Int version" << endl;
}
template <class T>
void call_foo(const T& v)
{
    foo(v);
}
void foo(const std::string& v)
{
    cout << "Overload for string" << endl;
}

在这里，调用call_foo(std::string("abc"))将导致编译错误，即使std::string对foo有过载。问题是函数模板call_foo在之前被定义，编译器看到了重载。

然而，这似乎不适用于全局操作符重载。我们定期重载std::ostream& operator << (std::ostream& os, const T&);，使自定义类型与c++ ostreams兼容。不管操作符重载函数在哪里定义，编译器都会选择正确的重载。例如:

struct Bar { };
template <class T>
void dispatch(const T& v)
{
    std::cout << v << std::endl;
}
std::ostream& operator << (std::ostream& os, const Bar& b)
{
    os << "Outputting Bar...";
    return os;
}

在这里，如果调用dispatch(Bar())，编译器调用正确的重载并输出Outputting Bar...。

因此，c++标准在选择操作符重载的候选函数时，似乎允许更高级的行为。

我的问题是，为什么这种能力没有扩展到常规的函数重载?我意识到有向后兼容C的要求，但这不会真的有任何影响，因为一旦你写了一个函数重载，你就不是在写一个C程序。