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

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]