5. operator==

最終更新日時(UTC):
が更新

履歴 編集

function template
<valarray>

std::operator==

namespace std {
  template <class T>
  ValOrProxy<bool> operator==(const ValOrProxy<T>& xs,
                              const ValOrProxy<T>& ys);                     // (1)

  template <class T>
  ValOrProxy<bool> operator==(const ValOrProxy<T>& xs,
                              const T& y);                                  // (2) C++17 まで
  template <class T>
  ValOrProxy<bool> operator==(const ValOrProxy<T>& xs,
                              const typename valarray<T>::value_type& y);   // (2) C++20 から

  template <class T>
  ValOrProxy<bool> operator==(const T& x,
                              const ValOrProxy<T>& ys);                     // (3) C++17 まで
  template <class T>
  ValOrProxy<bool> operator==(const typename valarray<T>::value_type& x,
                              const ValOrProxy<T>& ys);                     // (3) C++20 から
}

概要

valarrayにおいて、左辺と右辺を等値比較する。

  • (1) : xsの各要素と、ysの各要素が等値かを判定する。
  • (2) : xsの各要素と、yが等値かを判定する。
  • (3) : ysの各要素と、xが等値かを判定する。

戻り値

  • (1) : 以下のコードと等価のことを行う：

valarray<bool> result(xs.size());
for (std::size_t i = 0; i < result.size(); ++i) {
  result[i] = xs[i] == ys[i];
}
return result;

  • (2) : 以下のコードと等価のことを行う：

valarray<bool> result(xs.size());
for (std::size_t i = 0; i < result.size(); ++i) {
  result[i] = xs[i] == y;
}
return result;

  • (3) : 以下のコードと等価のことを行う：

valarray<bool> result(ys.size());
for (std::size_t i = 0; i < result.size(); ++i) {
  result[i] = x == ys[i];
}
return result;

備考

  • 引数、および、戻り値の型 ValOrProxy は、valarray、あるいは、その代理となる型である。
    <valarray> の概要も参照のこと。
  • (1) : xs と ys の要素数が異なる場合、その挙動は未定義。
  • C++20における(2)と(3)に対する変更は、std::valarray<double>{} * 2 のような式が型推論に失敗しないようにするためである。
    なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。

例

#include <cassert>
#include <valarray>
#include <algorithm>

void expect_all_true(const std::valarray<bool>& va)
{
  assert((std::all_of(std::begin(va), std::end(va), [](bool b) { return b; })));
}

int main()
{
  const std::valarray<int> a = {1, 2, 3};
  const std::valarray<int> b = {1, 2, 3};
  const std::valarray<int> c = {1, 1, 1};

  const std::valarray<bool> result1 = a == b;
  expect_all_true(result1);

  const std::valarray<bool> result2 = c == 1;
  expect_all_true(result2);

  const std::valarray<bool> result3 = 1 == c;
  expect_all_true(result3);
}

出力

参照