最終更新日時: 2025年07月12日 02時16分44秒 (JST)
Koichi Murase が更新

履歴 編集

function
<ranges>

# std::ranges::as_const_view::推論補助(C++23)

    namespace std::ranges {
      template<class R>
      as_const_view(R&&) -> as_const_view<views::all_t<R>>;
    }

## 概要

`as_const_view`クラステンプレートの型推論補助。

## 例

    #include <ranges>
    #include <vector>
    #include <concepts>

    int main() {
      std::vector<int> vec = {1, 2, 3, 4};

      std::ranges::as_const_view v1{vec};

      static_assert(std::same_as<
        decltype(v1),
        std::ranges::as_const_view<std::ranges::ref_view<std::vector<int>>>
      >);

      std::ranges::as_const_view v2{std::vector<int>{1, 2}};

      static_assert(std::same_as<
        decltype(v2),
        std::ranges::as_const_view<std::ranges::owning_view<std::vector<int>>>
      >);
    }

### 出力

## バージョン

### 言語

- C++23

### 処理系

- Clang: ??
- GCC: 13.1 ✅
- Visual C++: 2022 Update 6 ✅

## 参照

- P2278R4 `cbegin` should always return a constant iterator