将数组加在一起的索引序列

Question

我一直在尝试使用std::index_sequence，我一直在尝试让这段代码发挥任何帮助或指示作用？

template <typename tty,
          std::size_t ssz,
          typename is = std::make_index_sequence<std::min(sz, ssz)>>    
auto operator + (ss::array_helper<tty, ssz> right) const
{
    auto ret = *this;

    [ = ] ( auto s ) {
        [] ( ty& l , tty& r ) { l += r; } 
            ( ret [ is ] , right [ is ] )...;
    } ( is { } );

    return ret;
};

Answer 1

std::index_sequence 的用法是将其扩展为可变参数形式：

[&] template <std::size_t ... Is> (std::index_sequence<Is...>)
{
    ((res[Is] += rhs[Is]), ...);
} (std::make_index_sequence<std::min(sz, ssz)>{});

Answer 2

非常有趣的问题。 Jarod42 已经展示了使用 C++20 的解决方案。但是，在 C++17 中，我们没有模板化的 lambda。

为了让你有一个 C++17 解决方案，我将介绍一个使用模板化成员函数进行加法的实现。

由于我不知道您对数据类型array_helper 的定义，因此我使用仅示例 版本并仅从std::array 派生，通常您不应该这样做。我在这里只是为了演示目的。

模板化的成员函数可以按预期定义：

    // Templated function that performs the addition
    template <typename TRight, size_t SizeRight, size_t ... indices>
    auto add(array_helper<T, Size>& left, array_helper<TRight, SizeRight>& right, std::index_sequence<indices...>) {
        array_helper<T, Size> result{};
        ((result[indices] = left[indices] + right[indices]), ...);
        return result;
    };

这并不奇怪。一个简单的实现。我们将调用覆盖的“+”运算符。

---

它的美妙之处在于我们现在可以添加不同类型和长度的数组。

---

所有这一切都导致了一个易于理解且在某种程度上简单的代码：

#include <iostream>
#include <array>
#include <algorithm>
#include <iterator>

template <typename T, const size_t Size, size_t ... Is>
struct array_helper : public std::array<T,Size> {

    // Templated function that performs the addition
    template <typename TRight, size_t SizeRight, size_t ... indices>
    auto add(array_helper<T, Size>& left, array_helper<TRight, SizeRight>& right, std::index_sequence<indices...>) {
        array_helper<T, Size> result{};
        ((result[indices] = left[indices] + right[indices]), ...);
        return result;
    };

    // Override operator + for array_helper
    template <typename TOther, size_t SizeOther>
    auto operator + (array_helper<TOther, SizeOther>& other) {

        // Call templated member function
        return add(*this, other, std::make_index_sequence<std::min(SizeOther, Size)>{});
    }
};

int main() {
    // Some test variables
    array_helper<char, 4> array1{ 'a','b','c','d'  };
    array_helper<int, 3> array2{ 1,2,3 };
    
    // Call '+' operator
    auto array3 = array1 + array2;

    // Show debug output
    std::copy(array1.begin(), array1.end(), std::ostream_iterator<char>(std::cout, "\n")); std::cout << '\n';
    std::copy(array2.begin(), array2.end(), std::ostream_iterator<int>(std::cout, "\n")); std::cout << '\n';
    std::copy(array3.begin(), array3.end(), std::ostream_iterator<char>(std::cout, "\n")); std::cout << '\n';

    return 0;
}

---

使用 C++17 编译。

适用于

• Microsoft Visual Studio 社区 2019，版本 16.8.2
• clang 11.0.0 X86-64
• gcc 10.2 X86-64