模板函数的顺序无缘无故调用编译错误

Question

所以这很好用：

template<class V>
void bar(V v1, V v2) {
}

template <class T>
void foo(T t1, T t2) {
    bar(t1, t2);
}

int main() {
    foo(5, 6);
}

但是如果我像这样改变 foo 和 bar 的顺序：

template <class T>
void foo(T t1, T t2) {
    bar(t1, t2);
}

template<class V>
void bar(V v1, V v2) {
}

int main() {
    foo(5, 6);
}

我得到一个编译错误：

请参阅正在编译的函数模板实例化 'void foo(T,T)' 的参考

错误 C3861 'bar'：找不到标识符 'bar'：

'bar' 函数未在模板定义上下文中声明，可以 只能通过实例化中的参数相关查找找到 上下文

这是什么原因造成的？隐藏的问题是什么？这次我违反了什么cpp规则？
我会感谢您对此事的见解

编辑： 感谢您的 cmets，但由于某种原因将 bar 更改为 swap 会导致错误：
这段代码：

template<class V>
void swap(V v1, V v2) {
}

template <class T>
void foo(T t1, T t2) {
    swap(t1, t2);
}

int main() {
    foo(5, 6);
}

产生这个错误：

在尝试匹配参数列表 '(T, T)' 时，请参阅参考 函数模板实例化 'void foo(T,T)' 正在编译
或 'void std::swapstd::ios_base::iostate,0(_Ty &,_Ty &) noexcept' 可能是 'void swap(V,V)' 错误 C2668 'swap': 对重载函数的模糊调用

我知道 swap 不是 c++ 中的关键词。
是什么导致了这个错误？我已经在一个全新的项目中编写了这段代码，但它仍然无法正常工作

Answer 1

出于同样的原因，您会从这段代码中得到编译器错误：

void foo(T t1, T t2) {
    bar(t1, t2);
}

void bar(V v1, V v2) {
}

int main() {
    foo(5, 6);
}

您不能在声明之前调用bar。解决方案：要么在调用之前声明bar，要么将bar的整个定义移到foo之前。