在重载定义之前声明函数模板

Question

C++ Primer 5th Edition 在第 16.3 章（讨论函数模板重载的一章）末尾有一个 sn-p 建议：

在定义任何重载集之前声明重载集中的每个函数 职能。这样你就不必担心编译器是否会 在它看到你要调用的函数之前实例化一个调用。

这是否告诉我，在重载决议期间选择候选函数和可行函数时，编译器可能会实例化最终没有选择的函数模板？我试图看看这是否真的会发生：

template<class> struct always_false : std::false_type {};

template <typename T> void test(T const &){
    static_assert(always_false<T>::value, "If this fires, it is instantiated");
}

template <typename T> void test(T*) {   }

int main(){
    int *q = nullptr; 
    test(q); //test(T*) should be the best match
}

如果test(T const &) 以任何形式实例化，该程序将引发编译器错误，除非程序按预期编译正常。那么这个提示试图保护我免受什么样的编译事故呢？它什么时候会在看到我试图调用的函数之前实例化一个函数？

Answer 1

作者警告你：

template<class> struct always_false : std::false_type {};

template <typename T> void test(T const &){
   static_assert(always_false<T>::value, "If this fires, it is instantiated");
}

int main(){
    int *q = nullptr; 
    test(q); //test(T*) will not be matched.
}

template <typename T> void test(T*)
{ 
}

还有这些：

template<class> struct always_false : std::false_type {};

template <typename T> void test(T const &){
   static_assert(always_false<T>::value, "If this fires, it is instantiated");
}

template <> void test<int>(int const &);

void test(int *);

int main(){
   int *q = nullptr; 
   test(q); //test(int*) should be the best match
   int a;
   test(a); // test<int>(int const&) should be the best match
}

template <> void test<int>(int const &)
{
}

void test(int *)
{ 
}

如果你不提供声明

template <> void test<int>(int const &);

void test(int *);

在main 之前，它们不会在main 中匹配。

Answer 2

我见过很多这样的问题是一些变化

template<class T, class... Ts>
T sum(T t, Ts... ts) { return t + sum(ts...); }
// ^                               |
// |--------------------------------
//    only one visible in 
//     definition context

template<class T>
T sum(T t) { return t; }

int main() {
    sum(1, 2); // doesn't compile
}

（返回类型并不完美，但你明白了。）

然后当它不编译时人们会感到惊讶。

或者，更有趣的是，

template<class T> void f(T t) { f((int)t); }
void f(int) { /*...*/ }

int main() { 
    f(1L); // infinite recursion
}