最終更新日時: 2026年03月21日 23時12分53秒 (JST)
Raclamusi が更新

履歴 編集

function template
<valarray>

# std::operator-

    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) : `x`から、`ys`の各要素を減算する。

## 戻り値

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

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

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

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

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

    valarray<T> result(x, ys.size());
    result -= ys;
    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 : {3,3,3}
    valarray-int : {3,4,5}
    int-valarray : {-3,-4,-5}

## 参照

- LWG Issue 3074. Non-member functions for `valarray` should only deduce from the `valarray`