c++ - 修改传递给该函数内部可变参数函数的参数

Question

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

非可变参数版本 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

这里的问题是，当一个类型直接从花括号初始化列表推导时，推导的类型是 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
}