diff options
-rw-r--r-- | libstdc++-v3/ChangeLog | 9 | ||||
-rw-r--r-- | libstdc++-v3/include/std/any | 6 | ||||
-rw-r--r-- | libstdc++-v3/testsuite/20_util/any/requirements.cc | 5 |
3 files changed, 16 insertions, 4 deletions
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 6808613..2386300 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,12 @@ +2016-07-14 Ville Voutilainen <ville.voutilainen@gmail.com> + + Fix the constraints for any's assignment operator template to properly + reject assignment from a non-copyable lvalue. + * include/std/any (operator=(_ValueType&&)): Constrain the decayed + type for is_copy_constructible, + * testsuite/20_util/any/requirements.cc: Add a test for + non-copyable lvalues. + 2016-07-14 Jonathan Wakely <jwakely@redhat.com> * include/experimental/functional: Include <parallel/algorithm> in diff --git a/libstdc++-v3/include/std/any b/libstdc++-v3/include/std/any index 54882d7..4add118 100644 --- a/libstdc++-v3/include/std/any +++ b/libstdc++-v3/include/std/any @@ -238,9 +238,9 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION } /// Store a copy of @p __rhs as the contained object. - template<typename _ValueType> - enable_if_t<__and_<__not_<is_same<any, decay_t<_ValueType>>>, - is_copy_constructible<_ValueType>>::value, any&> + template<typename _ValueType, + typename _Tp = _Decay<_ValueType>> + enable_if_t<is_copy_constructible<_Tp>::value, any&> operator=(_ValueType&& __rhs) { *this = any(std::forward<_ValueType>(__rhs)); diff --git a/libstdc++-v3/testsuite/20_util/any/requirements.cc b/libstdc++-v3/testsuite/20_util/any/requirements.cc index 67e4253..f33cd67 100644 --- a/libstdc++-v3/testsuite/20_util/any/requirements.cc +++ b/libstdc++-v3/testsuite/20_util/any/requirements.cc @@ -30,4 +30,7 @@ static_assert(std::is_assignable<any&, int>::value); static_assert(!std::is_assignable<any&, unique_ptr<int>>::value); static_assert(std::is_constructible<any, int>::value); static_assert(!std::is_constructible<any, unique_ptr<int>>::value); - +static_assert(!std::is_assignable<any&, const unique_ptr<int>&>::value); +static_assert(!std::is_constructible<any&, const unique_ptr<int>&>::value); +static_assert(!std::is_assignable<any&, unique_ptr<int>&>::value); +static_assert(!std::is_constructible<any&, unique_ptr<int>&>::value); |