折叠表情和嘟嘟

Fold expressions and cout

本文关键字：折叠      更新时间：2023-10-16

我有以下代码可以工作，但我对它的工作原理感到困惑。

template<typename ...Args>
void print(Args&&... args) {
    (std::cout << ... << std::forward<Args>(args)) << 'n';
}
int main()
{
    print(1,2.0,"3");
}

输出：

123

我的困惑：

我希望打印 321。

我想要这个订单： 

cout << forward(args) << ...

但我无法编译...

...的位置指定左关联性或右关联性，但不会更改参数的顺序 - 它允许您在(std::cout << x) << y和std::cout << (x << y)之间进行选择。后者可能不会编译。

如果要以相反的顺序打印值，则需要使用一些技巧。下面是示例：

#include <type_traits>
#include <iostream>
template <typename T>
struct ReversePrinter
{
    ReversePrinter(T val) : val(val) { }
    template <typename U>
    ReversePrinter<T> operator<<(const ReversePrinter<U>& other) const
    {
        std::cout << other.val;
        return *this;
    }
    T val;
};
template <typename T>
std::ostream& operator<<(std::ostream& stream, const ReversePrinter<T>& val)
{
    return stream << val.val;
}
template <typename... Args>
void print(Args... args)
{
    std::cout << (ReversePrinter(args) << ...);
}
int main()
{
    print(100, 200, 300.0); //prints 300200100
}

折叠表达式遵循所用运算符的优先级和关联性。但是对于某些操作员，您可以进行更具创意的左右折叠。唯一要考虑的变量是操作数的顺序。C++17 在赋值运算符的左右两侧之间引入了先行关系，因此它们的行为更直观。右侧和所有相关的副作用必须首先发生。

因此，您的问题的完全独立的解决方案可能如下所示：

template <typename... Args>
void print(Args&& ...args) {
   int dum = 0;
   (... = (std::cout << args, dum));
}

来了，直播。

它使用逗号进行打印，同时以强制我们想要的评估顺序的方式为自己分配dum。

通过一些技巧，(目前不能再好了(，你可以执行以下操作：

不确定是否有任何直接的方法

// Your original function
template<typename ...Args>
void print(Args&&... args) {
    (std::cout << ... << std::forward<Args>(args)) << 'n';
}
template<typename ...Args>
struct changeorder;
template<>
struct changeorder<>
{
    template<typename ...OtherArgs>
    static void invoke(OtherArgs const&... otherargs)
    {
        print(otherargs...);
    }
};
template<typename T, typename ...Args>
struct changeorder<T, Args...> 
{
    template<typename ...OtherArgs>
    static void invoke(T const& t, Args const&... args, 
                      OtherArgs const&... otherargs)
    {
        // 1st parameter send first
        changeorder<Args...>::invoke(args..., t, otherargs...);
    }
};
template<typename A, typename ...Args>
void reverseprint(A const& a, Args const&... args)
{
    changeorder<Args...>::invoke(args..., a);
}

Demo Here

模板魔术的标准首选解决方案是 std::index_sequence 。
为了使参数可索引，使用 std::tuple .

template <std::size_t... N, class T>
void print_reverse_impl(std::index_sequence<N...>, std::ostream& os, T t) {
    (os << ... << std::get<std::tuple_size_v<T> - N - 1>(t));
}
template <class... T>
void print_reverse(std::ostream& os, T&&... t) {
    print_reverse_impl(std::make_index_sequence<sizeof...(t)>(), os, std::forward_as_tuple(t...));
}

不过，如果你的工具箱里有static_for()(你真的应该(，这更简单：

template <class... T>
void print_reverse(std::ostream& os, T&&... t) {
    static_for<sizeof...(t)>([&](auto n){
        os << std::get<sizeof...(t) - n - 1>(std::forward_as_tuple(t...));
    });
}

对于 C++20，也可以将其写为：

void print_reverse(std::ostream& os, auto&&... t) {
    [&]<auto... N>(std::index_sequence<N...>, auto all){
        (os << ... std::get<sizeof...(t) - N - 1>(all));
    }(std::make_index_sequence<sizeof...(t)>(), std::forward_as_tuple(t...));
}

顺便说一句，我删除了对std::forward的所有调用，因为无论如何，这些右值引用都会被标准库简化为左值引用。

相关文章：