最終更新日時(UTC): 2025年09月25日 13時04分30秒
Raclamusi が更新

履歴 編集

function
<ranges>

# std::ranges::as_const_view::base(C++23)

    constexpr V base() const & requires copy_constructible<V>;  // (1)
    constexpr V base() &&;                                      // (2)

## 概要

メンバ変数として保持している、元の`view`を取得する。

## 戻り値

入力`view`（`V`）のオブジェクトを`base_`というメンバに保持するとして

- (1) : `return base_;`
- (2) : `return std::move(base_);`

## 例

    #include <ranges>
    #include <vector>
    #include <iostream>

    int main() {
      using std::ranges::view;

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

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

      // (1) コピーして取得
      view auto b1 = acv.base();

      // (2) ムーブして取得
      view auto b2 = std::move(acv).base();

      // 得られるのは元のRangeではなく、あくまでview
      static_assert(not std::same_as<decltype(b1), std::vector<int>>);
      static_assert(    std::same_as<decltype(b1), std::ranges::ref_view<std::vector<int>>>);
      static_assert(    std::same_as<decltype(b2), std::ranges::ref_view<std::vector<int>>>);
    }

### 出力

## バージョン

### 言語

- C++23

### 処理系

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

## 参照

- P2278R4 `cbegin` should always return a constant iterator