Question

以下代码无法编译。如何修改args内的get_numbers_from_line_variadic变量？

非变量版本get_numbers_from_line说明了可变参数版本应该实现的内容，但是，可变数量的参数可能具有不同的类型。

#include <iostream>
#include <sstream>
#include <string>

template<typename... ArgTypes>
void get_numbers_from_line_variadic(std::string line, ArgTypes&... args)
{
   std::istringstream iss(line);

   for (auto& arg : {args...})
      iss >> arg;
}

void get_numbers_from_line(std::string line, int& a, int& b)
{
    std::istringstream iss(line);
    iss >> a;
    iss >> b;
}

int main()
{
    int a, b;
    get_numbers_from_line("1 2", a, b);
    get_numbers_from_line_variadic("1 2", a, b);

    std::cout << "a = " << a << std::endl;
    std::cout << "b = " << b << std::endl;
}

Answer 1

这里的问题是，当直接从braced-init-list推导出类型时，推导出的类型是std::initializer_list的特化，而std::initializer_list只允许const访问它的元素。

更详细一点，基于范围的for语句类似于循环：

{
    auto&& range = {args...};      // std::initializer_list<int>&&
    auto iter = range.begin();     // const int*
    auto end  = range.end();       // const int*
    for (; iter != end; ++iter) {
        auto& arg = *iter;         // const int&
        iss >> arg;                // ERROR
    }
}

因为std::initializer_list<T>::iterator是const T*。

您需要更直接地处理函数参数。

如评论中所述，如果您使用的是C ++ 17（或更高版本），则可以使用折叠表达式。

{
    std::istringstream iss(line);
    (iss >> ... >> args);
}

如果使用C ++ 11或C ++ 14，则可以使用虚拟数组初始化技巧：

{
    std::istringstream iss(line);

    // Note (expr, 0) to discard expression result and supply int
    // for the array, and final 0 in case sizeof...(args)==0
    int dummy[] = { (iss >> args, 0)..., 0 };
    static_cast<void>(dummy); // avoid unused variable warning
}

Answer 2

只有在没有parameter pack expansion时才会调用第一个重载（基本函数）。第二个重载是一个递归的可变参数函数，它将包的头部与尾部（参数包的其余部分）分开。这使得只能递归地传递尾部，直到它变空。

#include <iostream>
#include <sstream>
#include <string>

void get_numbers_from_line(std::istringstream&){} // base function

template<typename T, typename... Ts>
void get_numbers_from_line(std::istringstream& iss, T&& head, Ts&&... tail) // recursive variadic function
{
    iss >> head;
    get_numbers_from_line(iss, std::forward<Ts>(tail)...);
}

template<typename... Ts>
void get_numbers_from_line(std::string line, Ts&&... args)
{
    std::istringstream iss(line);
    get_numbers_from_line(iss, std::forward<Ts>(args)...);
}

int main()
{
    double a;
    int b, c;
    get_numbers_from_line("-0.1 2 3", a, b, c);

    std::cout << "a = " << a << std::endl;
    std::cout << "b = " << b << std::endl;
    std::cout << "c = " << c << std::endl;
}

Fold expression版本（自C ++ 17开始）：

template<typename... Ts>
void get_numbers_from_line(std::string line, Ts&&... args)
{
    std::istringstream iss(line);
    (iss >> ... >> std::forward<Ts>(args));
}

修改传递给该函数

2 个答案: