最終更新日時(UTC): 2024年06月11日 13時45分38秒
Akira Takahashi が更新

履歴 編集

function template
<iterator>

# std::operator!=(C++11)

    namespace std {
      // operator==により、以下のオーバーロードが使用可能になる (C++20)
      template <class Iterator1, class Iterator2>
      bool operator!=(const move_iterator<Iterator1>& x,
                      const move_iterator<Iterator2>& y);           // (1) C++11

      template <class Iterator1, class Iterator2>
      constexpr bool operator!=(const move_iterator<Iterator1>& x,
                                const move_iterator<Iterator2>& y); // (1) C++17

      template <class Iterator>
      class move_iterator {
      public:
        template <sentinel_for<Iterator> S>
        friend constexpr bool
          operator!=(const move_iterator& x, const move_sentinel<S>& y); // (2) C++20
        template <sentinel_for<Iterator> S>
        friend constexpr bool
          operator!=(const move_sentinel<S>& x, const move_iterator& y); // (3) C++20
      };
    }

## 概要

2つの`move_iterator`オブジェクトが同じ要素を指していないかを判定する。

## テンプレートパラメータ制約

`x.base() == y.base()`が有効であり、戻り値が`bool`に変換可能であること。

## 戻り値

`return !(x == y);`

## 備考

C++20以降、この演算子は`operator==`によって使用可能となる。

## 例

    #include <iostream>
    #include <vector>
    #include <memory>
    #include <iterator>

    int main()
    {
      std::vector<std::unique_ptr<int>> v;
      for (int i = 0; i < 5; ++i)
        v.emplace_back(new int(i));

      auto it1 = std::make_move_iterator(v.begin());
      auto it2 = std::make_move_iterator(v.begin() + 1);

      if (it1 != it2) {
        std::cout << "not equal" << std::endl;
      }
      else {
        std::cout << "equal" << std::endl;
      }
    }

### 出力

    not equal

## バージョン

### 言語

- C++11

### 処理系

- Clang: ??
- GCC: 4.7.0 ✅
- ICC: ??
- Visual C++: ??

## 参照

- P0031R0 A Proposal to Add Constexpr Modifiers to `reverse_iterator`, `move_iterator`, `array` and Range Access
- P1614R2 The Mothership has Landed
  - C++20での三方比較演算子の追加と、関連する演算子の自動導出