namespace std {
template <class T>
ValOrProxy<T> operator+(const ValOrProxy<T>& xs,
const ValOrProxy<T>& ys); // (1)
template <class T>
ValOrProxy<T> operator+(const ValOrProxy<T>& xs,
const T& y); // (2) C++17 まで
template <class T>
ValOrProxy<T> operator+(const ValOrProxy<T>& xs,
const typename valarray<T>::value_type& y); // (2) C++20 から
template <class T>
ValOrProxy<T> operator+(const T& x,
const ValOrProxy<T>& ys); // (3) C++17 まで
template <class T>
ValOrProxy<T> 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<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;
備考
- 引数、および、戻り値の型
ValOrProxy
は、valarray
、あるいは、その代理となる型である。
<valarray>
の概要も参照のこと。 - (1) :
xs
とys
の要素数が異なる場合、その挙動は未定義。 - C++20における(2)と(3)に対する変更は、
std::valarray<double>{} * 2
のような式が型推論に失敗しないようにするためである。
なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
例
#include <iostream>
#include <valarray>
template <class T>
void print(const char* name, const std::valarray<T>& va)
{
std::cout << name << " : {";
bool first = true;
for (const T& x : va) {
if (first) {
first = false;
}
else {
std::cout << ',';
}
std::cout << x;
}
std::cout << "}" << std::endl;
}
int main()
{
const std::valarray<int> a = {4, 5, 6};
const std::valarray<int> b = {1, 2, 3};
std::valarray<int> result1 = a + b;
print("valarray+valarray", result1);
std::valarray<int> result2 = a + 1;
print("valarray+int", result2);
std::valarray<int> result3 = 1 + a;
print("int+valarray", result3);
}
出力
valarray+valarray : {5,7,9}
valarray+int : {5,6,7}
int+valarray : {5,6,7}