最終更新日時:
が更新

履歴 編集

function
<valarray>

std::operator|

namespace std {
  template <class T>
  valarray<T> operator|(const valarray<T>& xs, const valarray<T>& ys); // (1)

  template <class T>
  valarray<T> operator|(const valarray<T>& xs, const T& y);            // (2)

  template <class T>
  valarray<T> operator|(const T& x, const valarray<T>& ys);            // (3)
}

概要

valarrayにおいて、左辺と右辺の論理和を得る。

  • (1) : xsの各要素と、ysの各要素の論理和を得る。
  • (2) : xsの各要素と、yの論理和を得る。
  • (3) : ysの各要素と、xの論理和を得る。

戻り値

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

valarray<T> result = xs;
result |= ys;
return result;

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

valarray<T> result = xs;
result |= y;
return result;

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

valarray<T> result = ys;
result |= x;
return result;

備考

2つのvalarrayオブジェクトの要素数が異なる場合、その挙動は未定義。

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

template <class T>
bool equal_valarray(const std::valarray<T>& a, const std::valarray<T>& b)
{
  const std::valarray<bool> result = a == b;
  return std::all_of(std::begin(result), std::end(result), [](bool b) { return b; });
}

int main()
{
  const std::valarray<std::uint8_t> a = {
    0b00000101,
    0b00001010,
    0b00010101
  };
  const std::valarray<std::uint8_t> b = {
    0b00000011,
    0b00000011,
    0b00000011
  };
  const std::valarray<std::uint8_t> expected = {
    0b00000111,
    0b00001011,
    0b00010111
  };

  std::valarray<std::uint8_t> result1 = a | b;
  assert((equal_valarray(result1, expected)));

  std::valarray<std::uint8_t> result2 = a | 0b00000011;
  assert((equal_valarray(result2, expected)));

  std::valarray<std::uint8_t> result3 = 0b00000011 | a;
  assert((equal_valarray(result3, expected)));
}

出力