参数包和std::数组

Question

我相信这个问题以前有人问过 此处但我可能错了。是否可以将一个 std::array?

    template < typename _Ty , typename... _Rest > requires _sqrable_variadic_operation < _Ty , _Rest... >
        auto accumulated_sqr ( _Ty n , _Rest... q ) { return sqrof ( n , q... ); };

        // Element container of size _Sz and type of _Ty.
        std::array < _Ty , _Sz > m_Elems;
    public:
        . . .
        auto length ( void ){
            return accumulated_sqr ( m_Elems  );
        };

Answer 1

std::array 支持类似元组的接口，这意味着你可以使用 std::apply 来提取它的元素到一个可调用对象的参数列表中。

auto length() const
{
    return std::apply([](auto&&... qs) { return accumulated_sqr(decltype(qs)(qs)...); }, m_Elems);
}

DEMO

Answer 2

是的，可以使用 std::index_sequence 作为一个助手。

template <std::size_t Sz = 2 , typename Ty = float>
class vector {
protected:
    using Elem_Container_t = std::array<Ty , Sz>;
    Elem_Container_t m_Elems;

    template <std::size_t... Is>
    auto length_impl(std::index_sequence<Is...>)
    {
        return concepts::accumulated_sqr(m_Elems[Is]...);
    }
public:
    template <typename... Ts>
    vector (Ts... elems) : m_Elems {elems... } { }

    auto length()
    {
        return length_impl(std::make_index_sequence<Sz>());
    }
};

现场演示

---

注意：以下划线和大写字母开头的名称是为执行保留的。 您不允许使用像 _Sz 或 _Ty 在您的程序中。