是否可以在折叠表达式中插入额外的操作?

时间:2018-11-08 22:16:50

标签: c++ templates c++17 variadic-templates fold-expression

在C ++ 17中,可以使用fold表达式,因此要打印参数,我们可以使用

#define EOL '\n'

template<typename ...Args>
void output_argus(Args&&... args) 
{
    (cout << ... << args) << EOL;
}


int main()
{
    output_argus(1, "test", 5.6f);
}

具有输出
1test5.6

如果我想使用fold表达式在每个元素后附加一个额外的字符'\n'以获得以下结果怎么办?

1
test
5.6

那有可能吗?如果是,怎么办?

3 个答案:

答案 0 :(得分:13)

  

如果我想使用fold表达式在每个元素后面添加一个额外的字符'\ n'以获得以下结果怎么办?

您可以使用逗号运算符的功能

 ((std::cout << args << std::endl), ...);

或者,按照昆汀的建议(谢谢),并按您的要求,您可以简单地使用\n而不是std::endl(以避免多次刷新流)

 ((std::cout << args << '\n'), ...); 

答案 1 :(得分:3)

这是@ n.m。的解决方案,没有粗鲁的全局贪婪operator<<

template<class Os>
struct chain_stream {
  Os& stream;
  template<class Rhs,
    std::enable_if_t<std::is_same_v<Os&, decltype(std::declval<Os&>() << std::declval<Rhs>())>, bool> =true
  >
  friend chain_stream<Os> const& operator<<( chain_stream<Os> const& os, Rhs&& rhs ) {
    os.stream << std::forward<Rhs>(rhs);
    return os;
  }
  // iomanipulator:
  friend chain_stream<Os> const& operator<<( chain_stream<Os> const& os, Os&(*rhs)(Os&) ) {
    os.stream << rhs;
    return os;
  }
  template<class Rhs,
    std::enable_if_t<
      std::is_same_v< std::result_of_t< Rhs&&(chain_stream const&) >, void >
      || std::is_same_v< std::result_of_t< Rhs&&(chain_stream const&) >, Os& >,
    bool> =true
  >
  friend chain_stream<Os> const& operator<<( chain_stream<Os> const& os, Rhs&& rhs ) {
    std::forward<Rhs>(rhs)( os );
    return os;
  }
};

现在我们可以做:

 (chain_stream{std::cout} << ... << [&](auto& x){x << args << '\n';});

它有效。

答案 2 :(得分:1)

我知道逗号运算符可能是最简单的方法,但是为了完整起见,我想出了一些办法,主要是因为我想炫耀我对iomanip的一点概括。标准库iomanips是函数。有一个<<重载,它带有一个函数指针。我将其扩展为通过引用获取和返回流的任意可调用对象。

template <class Stream, class Func>
auto operator << (Stream& s, Func f) -> 
        std::enable_if_t<std::is_same_v<decltype(f(s)), Stream&>, Stream&>
{
    return f(s);
}

使用我们工具箱中的这个小工具,可以很容易地编写一个折叠表达式来完成我们想要的任何事情。

template<typename ...Args>
void output_args(Args&&... args)
{
     (std::cout << ... << [&](auto& x)->auto&{return x << args << '\n';});
}

此技术可用于需要捕获fold表达式的值而不是其副作用的场景中。在这种情况下,逗号运算符不太有用。