括号内的参数包展开会产生奇怪的输出

Parameter pack expansion within parentheses gives bizarre output

本文关键字：输出 包展开 参数      更新时间：2023-10-16

我正在尝试实现一个函数，该函数接受可变数量的字符串并转发到打印函数，该函数期望每个字符串的char指针和size，交错。

的例子:

std::string a = "123";
std::string b = "1234";
forward(a, b); // should call doPrint(a.c_str(), a.size(), b.c_str(), b.size())

我认为下面应该是一个正确的实现，但即使它编译的行为是非常令人惊讶的我。

template <class ...Args>
void forward(const Args & ... args) {
  doPrint( (args.c_str(), args.size())...);
}

forward(a, b)调用doPrint(3, 4)，而不是doPrint("123", 3, "1234", 4)，好像我写的是doPrint((args.size())...)。编译器会完全忽略对c_str()的调用。

我尝试了g++、clang和icc，它们都产生了相同的输出。(args.c_str(), args.size())...有什么问题?

确实，std::make_tuple(args.c_str(), args.size())...按预期工作，但假设我不能更改doPrint来接受和处理元组。

逗号操作符的值为最后一个表达式的值。
例如:

    int a = (1, 2, 3, 4, 5, 6);
    assert(a == 6);

你可以尝试使用元组:

    doPrint(std::tuple_cat(std::make_tuple(argc.c_str(), args.size())...));

那么doPrint将需要更改为使用元组;如果需要，它可以将元组解包回参数包，或者直接处理元组。

解包元组示例:

    template <class Tuple, std::size_t ... indices>
    doPrint(Tuple t, std::integer_sequence<size_t, indices...>)
    {
        doPrint(std::get<indices>(t)...);
    }
    template <class Tuple>
    doPrint(Tuple t)
    {
        doPrint(t, std::make_index_sequence<std::tuple_size<Tuple>::value>());
    }

可能存在一些函数名称不明确的问题，因此您可能需要更改这些辅助函数的名称，但希望这对您来说足够了。

(args.c_str(), args.size())是一个逗号分隔的表达式，这意味着只有最后一部分(args.size())将被传递给函数。

然后它将对每个参数重复此操作，因此它实际上只使用字符串大小调用doPrint !

你应该将doPrint改为使用元组，否则你必须使用一些疯狂的模板元编程的东西。

为了避免将元组暴露给编程接口，我可能会这样做:

#include <string>
#include <utility>
#include <tuple>
extern void doPrint(...);
namespace detail {
  template<std::size_t...Is, class Tuple>
  void forward(std::index_sequence<Is...>, Tuple&& tuple)
  {
    doPrint(std::get<Is>(tuple)...);
  }
}
template<class...Strings>
void forward(Strings&&... strings)
{
  detail::forward(std::make_index_sequence<sizeof...(Strings) * 2>(),
          std::tuple_cat(std::make_tuple(strings.data(), strings.size())...)
          );
}
int main()
{
  std::string a = "123";
  std::string b = "1234";
  forward(a, b); // should call doPrint(a.c_str(), a.size(), b.c_str(), b.size())
}

Jason Turner在这个视频中演示了一种使用初始化列表展开可变模板的简明方法:

http://articles.emptycrate.com/2016/05/09/variadic_expansion_wrap_up.html 

template< typename ... T >
void do_print(T ... args)
{
    (void)std::initializer_list<int> {
        (std::cout << args.c_str() << ": "
        << args.size() << "n",     0)...
    };
}
template< typename ... T >
void forward_print(T ... args)
{
    do_print(args...);
}
int main(int argc, const char * argv[])
{
    std::cout << "Hello, World!n";
    std::string a = "1234";
    std::string b = "567";
    forward_print(a, b);
    return 0;
}

这适用于c++ -std=c++11

相关文章：