Title
Non-member functions for valarray should only deduce from the valarray
Status
wp
Section
[valarray.nonmembers]
Submitter
Jonathan Wakely

Created on 2018-02-28.00:00:00, last changed 2018-06-12.01:05:16.

Messages

Date: 2018-06-12.01:05:16

Proposed resolution:

This wording is relative to N4727.

  1. Edit [valarray.syn], header <valarray> synopsis, as indicated:

    […]
    template<class T> valarray<T> operator* (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator* (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator* (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> operator/ (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator/ (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator/ (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> operator% (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator% (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator% (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> operator+ (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator+ (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator+ (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> operator- (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator- (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator- (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> operator^ (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator^ (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator^ (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> operator& (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator& (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator& (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> operator| (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator| (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator| (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> operator<<(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator<<(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator<<(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> operator>>(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> operator>>(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator>>(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<bool> operator&&(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<bool> operator&&(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator&&(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<bool> operator||(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<bool> operator||(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator||(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<bool> operator==(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<bool> operator==(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator==(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<bool> operator!=(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<bool> operator!=(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator!=(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<bool> operator< (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<bool> operator< (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator< (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<bool> operator> (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<bool> operator> (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator> (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<bool> operator<=(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<bool> operator<=(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator<=(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<bool> operator>=(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<bool> operator>=(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator>=(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> abs (const valarray<T>&);
    template<class T> valarray<T> acos (const valarray<T>&);
    template<class T> valarray<T> asin (const valarray<T>&);
    template<class T> valarray<T> atan (const valarray<T>&);
    
    template<class T> valarray<T> atan2(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> atan2(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> atan2(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    
    template<class T> valarray<T> cos (const valarray<T>&);
    template<class T> valarray<T> cosh (const valarray<T>&);
    template<class T> valarray<T> exp (const valarray<T>&);
    template<class T> valarray<T> log (const valarray<T>&);
    template<class T> valarray<T> log10(const valarray<T>&);
    
    template<class T> valarray<T> pow(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> pow(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> pow(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    […]
    
  2. Edit [valarray.binary] as indicated:

    […]
    template<class T> valarray<T> operator* (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator* (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> operator/ (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator/ (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> operator% (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator% (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> operator+ (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator+ (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> operator- (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator- (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> operator^ (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator^ (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> operator& (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator& (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> operator| (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator| (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> operator<<(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator<<(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> operator>>(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> operator>>(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    […]
    
  3. Edit [valarray.comparison] as indicated:

    […]
    template<class T> valarray<bool> operator==(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator==(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<bool> operator!=(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator!=(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<bool> operator< (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator< (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<bool> operator> (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator> (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<bool> operator<=(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator<=(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<bool> operator>=(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator>=(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<bool> operator&&(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator&&(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<bool> operator||(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<bool> operator||(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    […]
    
  4. Edit [valarray.transcend] as indicated:

    template<class T> valarray<T> abs (const valarray<T>&);
    template<class T> valarray<T> acos (const valarray<T>&);
    template<class T> valarray<T> asin (const valarray<T>&);
    template<class T> valarray<T> atan (const valarray<T>&);
    template<class T> valarray<T> atan2(const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> atan2(const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> atan2(const Ttypename valarray<T>::value_type&, const valarray<T>&);
    template<class T> valarray<T> cos (const valarray<T>&);
    template<class T> valarray<T> cosh (const valarray<T>&);
    template<class T> valarray<T> exp (const valarray<T>&);
    template<class T> valarray<T> log (const valarray<T>&);
    template<class T> valarray<T> log10(const valarray<T>&);
    template<class T> valarray<T> pow (const valarray<T>&, const valarray<T>&);
    template<class T> valarray<T> pow (const valarray<T>&, const Ttypename valarray<T>::value_type&);
    template<class T> valarray<T> pow (const Ttypename valarray<T>::value_type&, const valarray<T>&);
    […]
    
Date: 2018-06-12.01:05:16

[ 2018-06 Rapperswil: Adopted ]

Date: 2018-03-07.00:00:00

[ 2018-03-07 Moved to Tentatively Ready after 5 positive votes on c++std-lib. ]

Date: 2018-02-28.00:00:00

The expression (std::valarray<double>{} * 2) is ill-formed, because argument deduction fails for:

template<class T>
  valarray<T> operator*(const valarray<T>&, const T&);

Is there any reason to try and deduce the argument from the scalar, instead of only deducing from the valarray and allowing implicit conversions to the scalar? i.e.

template<class T> 
  valarray<T> operator*(const valarray<T>&, const typename valarray<T>::value_type&);
History
Date User Action Args
2018-06-12 01:05:16adminsetmessages: + msg9885
2018-06-12 01:05:16adminsetstatus: voting -> wp
2018-05-06 19:23:13adminsetstatus: ready -> voting
2018-03-12 12:37:45adminsetmessages: + msg9718
2018-03-12 12:37:45adminsetstatus: new -> ready
2018-03-04 12:29:12adminsetmessages: + msg9707
2018-02-28 00:00:00admincreate