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) :
xと、ysの各要素の論理積をとる。
要件
型Tがboolに変換可能であること。
戻り値
- (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>
int main()
{
const std::valarray<bool> a = {true, false, true};
const std::valarray<bool> b = {true, false, false};
const std::valarray<bool> result1 = a && b;
assert(result1[0]);
assert(!result1[1]);
assert(!result1[2]);
const std::valarray<bool> result2 = a && true;
assert(result2[0]);
assert(!result2[1]);
assert(result2[2]);
const std::valarray<bool> result3 = true && a;
assert(result3[0]);
assert(!result3[1]);
assert(result3[2]);
}
出力