get.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2019, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2019, Knut Reinert & MPI für molekulare Genetik
// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
// shipped with this file and also available at: https://github.com/seqan/seqan3/blob/master/LICENSE.md
// -----------------------------------------------------------------------------------------------------

#pragma once

#include <seqan3/core/type_traits/basic.hpp>
#include <seqan3/core/concept/tuple.hpp>
#include <seqan3/std/ranges>

namespace seqan3::view
{
template <auto index>
inline auto const get = std::view::transform([] (auto && in) -> decltype(auto)
{
    using std::get;
    using seqan3::get;
    static_assert(TupleLike<decltype(in)>,
                  "You may only pass ranges to view::get whose reference_t models the TupleLike.");

    // we need to explicitly remove && around temporaries to return values as values (and not as rvalue references)
    // we cannot simply cast to std::tuple_element_t (or set that as return value), because some tuples, like
    // our alphabet_tuple_base alphabets do not return that type when get is called on them (they return a proxy)
    using ret_type = remove_rvalue_reference_t<decltype(get<index>(std::forward<decltype(in)>(in)))>;
    return static_cast<ret_type>(get<index>(std::forward<decltype(in)>(in)));
});


} // namespace seqan3::view