模板实例化失败：编译器选择不正确的重载函数

Question

我不是新来的模板，但我遇到了一个相当好奇的问题，我需要将模板类型分离为我正在处理的数据序列化程序的组件。这很难解释，所以我已经证明了它。

这是我简化的示例问题example.cpp。

template<typename T> void foo(T& arg) { } 
template<typename T, typename V> void foo(T<V>& arg) { } 

int main(int argc, char *argv[]) 
{ 
    foo(argc); 
    return 0; 
} 

我得到一个错误，然后这似乎表明它试图实例都功能时，只有其中一人是合适的警告。

$ g++ -Wall -W example.cpp 
example.cpp:2:43: error: ‘T’ is not a template 
template<typename T, typename V> void foo(T<V>& arg) { } 
             ^
example.cpp: In instantiation of ‘void foo(T&) [with T = int]’: 
example.cpp:6:11: required from here 
example.cpp:1:34: warning: unused parameter ‘arg’ [-Wunused-parameter] 
template<typename T> void foo(T& arg) { } 
            ^~~ 

有关如何解决我的问题和/或防止这种困惑的任何建议？

Answer 1

模板模板参数（参数本身是可引用的模板）需要与您使用的语法不同的语法。正如你写的那样，编译器并不认为T是一个模板，所以语法T<V>是没有意义的。

template< template<class> class T, class V> void foo(T<V>& arg>) 

将是一个正确的例子。

例

#include <iostream> 

template<typename T> void foo(T& arg) 
{ 
    std::cout << __PRETTY_FUNCTION__ << '\n'; 
} 

template<template<class> class T, class V> void foo(T<V>& arg) 
{ 
    std::cout << __PRETTY_FUNCTION__ << '\n'; 
} 


template<class T> 
struct Bar 
{ 

}; 

int main(int argc, char *argv[]) 
{ 
    foo(argc); 

    Bar<int> bar; 
    foo(bar); 

    return 0; 
} 

输出

void foo(T &) [T = int] 
void foo(T<V> &) [T = Bar, V = int]