std:: tuple_element <std::ranges::subrange>

std::tuple_element の部分特殊化は、 std::ranges::subrange に対して、 subrange のイテレータ型または番兵型へのコンパイル時アクセスを、タプルライクな構文で提供します。これらは構造化バインディングのサポートのために提供されています。

メンバー型

注記

get 関数が subrange に対してイテレータとセンチネルを値で返すため、 const 修飾子は、 subrange がconst修飾されている場合（ただしvolatile修飾されていない場合）でも、結果の型には追加されません。

subrange がvolatile修飾されている場合、volatileまたはconst volatile型に対する部分特殊化が使用されるため、結果の型もvolatile修飾されます。このような使用法は非推奨です。

例

#include <iterator>
#include <list>
#include <ranges>
#include <type_traits>
int main()
{
    std::list<int> list{3, 1, 4, 1, 5, 9, 2, 6};
    std::ranges::subrange subrange
    {
        std::counted_iterator{std::begin(list), 4},
        std::default_sentinel
    };
    static_assert(
        std::is_same_v<
            std::tuple_element_t<0, decltype(subrange)>,
            // implementation-defined type:
            std::counted_iterator<std::_List_iterator<int>>
            >);
    static_assert(
        std::is_same_v<
            std::tuple_element_t<1, decltype(subrange)>,
            std::default_sentinel_t
            >);
}

関連項目