stdcxx-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Martin Sebor (JIRA)" <j...@apache.org>
Subject [jira] Issue Comment Edited: (STDCXX-512) std::valarray computed assignment operators don't compile with a user-defined class
Date Sun, 13 Sep 2009 00:01:57 GMT

    [ https://issues.apache.org/jira/browse/STDCXX-512?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12533857#action_12533857
] 

Martin Sebor edited comment on STDCXX-512 at 9/12/09 5:00 PM:
--------------------------------------------------------------

It's unusual to instantiate {{std::valarray}} on a user-defined type, so setting Priority
to Minor. Since the template hasn't changed added other 4.1.x versions to the list of Affected
Versions. It's too late to fix this now so deferred for 4.2.1 (provided a compatible fix is
possible).

      was (Author: sebor):
    It's unusual to instantiate std::valarray on a user-defined type, so setting Priority
to Minor. Since the template hasn't changed added other 4.1.x versions to the list of Affected
Versions. It's too late to fix this now so deferred for 4.2.1 (provided a compatible fix is
possible).
  
> std::valarray computed assignment operators don't compile with a user-defined class
> -----------------------------------------------------------------------------------
>
>                 Key: STDCXX-512
>                 URL: https://issues.apache.org/jira/browse/STDCXX-512
>             Project: C++ Standard Library
>          Issue Type: Bug
>          Components: 26. Numerics
>    Affects Versions: 4.1.2, 4.1.3, 4.1.4
>            Reporter: Martin Sebor
>            Priority: Minor
>             Fix For: 4.2.2
>
>   Original Estimate: 4h
>  Remaining Estimate: 4h
>
> The program below fails to compile because the valarray computed assignment operators
make use of operator@ (T, T) instead of the corresponding computed assignment operators defined
by T (i.e., T::operator@(T)).
> $ cat u.cpp && make u
> #include <valarray>
> struct Value {
>     Value& operator*= (const Value&) { return *this; }
>     Value& operator/= (const Value&) { return *this; }
>     Value& operator+= (const Value&) { return *this; }
>     Value& operator-= (const Value&) { return *this; }
>     Value& operator%= (const Value&) { return *this; }
>     Value& operator^= (const Value&) { return *this; }
>     Value& operator&= (const Value&) { return *this; }
>     Value& operator|= (const Value&) { return *this; }
>     Value& operator<<= (const Value&) { return *this; }
>     Value& operator>>= (const Value&) { return *this; }
> };
> int main ()
> {
>     std::valarray<Value> val;
>     val *= val;
>     val /= val;
>     val += val;
>     val -= val;
>     val %= val;
>     val ^= val;
>     val &= val;
>     val |= val;
>     val <<= val;
>     val >>= val;
> }
> gcc -c -I/amd/devco/sebor/stdcxx-4.1.3/include/ansi -D_RWSTDDEBUG   -pthread -D_RWSTD_USE_CONFIG
-I/build/sebor/stdcxx-4.1.3-gcc-3.4.3_6-15D/include -I/amd/devco/sebor/stdcxx-4.1.3/include
-I/amd/devco/sebor/stdcxx-4.1.3/examples/include  -pedantic -nostdinc++ -g  -m64 -Wall -W
-Wcast-qual -Winline -Wshadow -Wwrite-strings -Wno-long-long -Wcast-align  u.cpp
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type std::multiplies<_TypeT>::operator()(const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::first_argument_type&, const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::second_argument_type&) const [with _TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
std::multiplies<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:363:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator*=(const std::valarray<_TypeT>&) [with _TypeT
= Value]'
> u.cpp:20:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:83: error: no match for 'operator*'
in '__x * __y'
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type std::divides<_TypeT>::operator()(const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::first_argument_type&, const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::second_argument_type&) const [with _TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
std::divides<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:376:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator/=(const std::valarray<_TypeT>&) [with _TypeT
= Value]'
> u.cpp:21:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:96: error: no match for 'operator/'
in '__x / __y'
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type std::plus<_TypeT>::operator()(const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::first_argument_type&, const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::second_argument_type&) const [with _TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
std::plus<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:389:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator+=(const std::valarray<_TypeT>&) [with _TypeT
= Value]'
> u.cpp:22:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:57: error: no match for 'operator+'
in '__x + __y'
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type std::minus<_TypeT>::operator()(const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::first_argument_type&, const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::second_argument_type&) const [with _TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
std::minus<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:402:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator-=(const std::valarray<_TypeT>&) [with _TypeT
= Value]'
> u.cpp:23:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:70: error: no match for 'operator-'
in '__x - __y'
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type std::modulus<_TypeT>::operator()(const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::first_argument_type&, const typename std::binary_function<_TypeT,
_TypeT, _TypeT>::second_argument_type&) const [with _TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
std::modulus<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:415:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator%=(const std::valarray<_TypeT>&) [with _TypeT
= Value]'
> u.cpp:24:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:109: error: no match for 'operator%'
in '__x % __y'
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type __rw::exclusive_or<_TypeT>::operator()(const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::first_argument_type&, const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::second_argument_type&) const [with
_TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
__rw::exclusive_or<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:428:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator^=(const std::valarray<_TypeT>&) [with _TypeT
= Value]'
> u.cpp:25:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:732: error: no match for 'operator^'
in '__x ^ __y'
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type __rw::bitwise_and<_TypeT>::operator()(const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::first_argument_type&, const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::second_argument_type&) const [with
_TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
__rw::bitwise_and<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:441:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator&=(const std::valarray<_TypeT>&) [with
_TypeT = Value]'
> u.cpp:26:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:719: error: no match for 'operator&'
in '__x & __y'
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type __rw::bitwise_or<_TypeT>::operator()(const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::first_argument_type&, const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::second_argument_type&) const [with
_TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
__rw::bitwise_or<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:454:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator|=(const std::valarray<_TypeT>&) [with _TypeT
= Value]'
> u.cpp:27:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:706: error: no match for 'operator|'
in '__x | __y'
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type __rw::shift_left<_TypeT>::operator()(const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::first_argument_type&, const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::second_argument_type&) const [with
_TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
__rw::shift_left<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:467:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator<<=(const std::valarray<_TypeT>&) [with
_TypeT = Value]'
> u.cpp:28:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:745: error: no match for 'operator<<'
in '__x << __y'
> /amd/devco/sebor/stdcxx-4.1.3/include/functional: In member function `typename std::binary_function<_TypeT,
_TypeT, _TypeT>::result_type __rw::shift_right<_TypeT>::operator()(const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::first_argument_type&, const typename
std::binary_function<_TypeT, _TypeT, _TypeT>::second_argument_type&) const [with
_TypeT = Value]':
> /amd/devco/sebor/stdcxx-4.1.3/include/algorithm:353:   instantiated from `_OutputIter
std::transform(_InputIter1, _InputIter1, _InputIter2, _OutputIter, _BinaryOperation) [with
_InputIter1 = Value*, _InputIter2 = const Value*, _OutputIter = Value*, _BinaryOperation =
__rw::shift_right<Value>]'
> /amd/devco/sebor/stdcxx-4.1.3/include/valarray:480:   instantiated from `std::valarray<_TypeT>&
std::valarray<_TypeT>::operator>>=(const std::valarray<_TypeT>&) [with
_TypeT = Value]'
> u.cpp:29:   instantiated from here
> /amd/devco/sebor/stdcxx-4.1.3/include/functional:758: error: no match for 'operator>>'
in '__x >> __y'
> make: *** [u.o] Error 1

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.


Mime
View raw message