3

我有以下代码可以正常工作：

list <Politician> MakeList ( int num, ... ){
  va_list arguments;                     
  va_start ( arguments, num ); 
  list <Politician> PoliticianList;
  for ( int x = 0; x < num; x++ ) {
      PoliticianList.push_back(va_arg (arguments, Politician));
  }
  va_end ( arguments );                 

  return PoliticianList;       
}

但是，当试图使其通用时：

template<class TYPE>
list <TYPE> MakeList ( int num, ... ){
  va_list arguments;                     
  va_start ( arguments, num ); 
  list <TYPE> PoliticianList;
  for ( int x = 0; x < num; x++ ) {
      PoliticianList.push_back(va_arg (arguments, TYPE));
  }
  va_end ( arguments );                 

  return PoliticianList;       
}

编译时出现以下错误：

error C2783: 'std::list<TYPE> MakeList(int,...)' : could not deduce template argument for 'TYPE'

我怎样才能使它通用，所以我不必为不同的类对象重新实现？

4

1 回答 1

3

您需要TYPE在调用 的模板版本时显式提供模板参数MakeList，因为编译器仅根据您提供的参数不知道TYPE应该是什么。例如，给定以下调用：

MakeList<Politician>(3, politician1, politician2, politician3)

编译器无法推断出是什么TYPE。如果您期望它足够聪明并推断出您将类型对象Politician作为参数传递，那么这将不起作用：C 风格的可变参数函数根本不会在编译时提供该信息。

但是，在 C++11 中，您可以为此目的使用可变参数模板，除其他外，这将允许您不将后续参数的数量作为第一个参数传递。这是您可以重写 variadic 的一种可能方法MakeList()：

namespace detail
{
    template<typename T>
    void MakeList(std::list<typename std::remove_reference<T>::type>& l, T&& elem)
    {
        l.push_back(std::forward<T>(elem));
    }

    template<typename T, typename... Ts>
    void MakeList(
        std::list<typename std::remove_reference<T>::type>& l, 
        T&& elem, Ts&&... elems)
    {
        l.push_back(std::forward<T>(elem));
        MakeList(l, std::forward<Ts>(elems)...);
    }
}

template<typename T, typename... Ts>
std::list<typename std::remove_reference<T>::type> MakeList(
    T&& elem, Ts&&... elems)
{
    std::list<typename std::remove_reference<T>::type> l;
    detail::MakeList(l, std::forward<T>(elem), std::forward<Ts>(elems)...);
    return l;
}

然后你可以这样使用它：

int main()
{
    Politician p1{"John", "Smith"};
    Politician p2{"Mike", "Black"};
    Politician p3{"George", "White"};

    std::list<Politician> myList = MakeList(p1, p2, p3);

    for (auto const& p : myList)
    {
        std::cout << p.name << " " << p.surname << std::endl;
    }
}

这是一个活生生的例子。

于 2013-05-24T20:17:24.503 回答