incubator-stdcxx-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Martin Sebor (JIRA)" <j...@apache.org>
Subject [jira] Updated: (STDCXX-512) std::valarray computed assignment operators don't compile with a user-defined class
Date Wed, 10 Oct 2007 20:02:50 GMT

     [ https://issues.apache.org/jira/browse/STDCXX-512?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]

Martin Sebor updated STDCXX-512:
--------------------------------

             Severity: Compiler Error
             Priority: Minor  (was: Major)
    Affects Version/s: 4.1.2
                       4.1.4
        Fix Version/s:     (was: 4.2)
                       4.2.1

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
>            Assignee: Martin Sebor
>            Priority: Minor
>             Fix For: 4.2.1
>
>
> 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