1725d05d19
don't copy the underlying value when any is moved, make in_place constructors explicit. * include/std/any (any(in_place_type_t<_ValueType>, _Args&&...)): Make explicit. (any(in_place_type_t<_ValueType>, initializer_list<_Up>, _Args&&...)): Likewise. (operator=(const any&)): Make strongly exception-safe. (operator=(any&&)): reset() unconditionally in the case where rhs has a value. (operator=(_ValueType&&)): Indent the return type. (_Manager_internal<_Tp>::_S_manage): Move in _Op_xfer, don't copy. * testsuite/20_util/any/assign/2.cc: Adjust. * testsuite/20_util/any/assign/exception.cc: New. * testsuite/20_util/any/cons/2.cc: Adjust. * testsuite/20_util/any/cons/explicit.cc: New. * testsuite/20_util/any/misc/any_cast_neg.cc: Ajust. From-SVN: r240951
83 lines
1.6 KiB
C++
83 lines
1.6 KiB
C++
// { dg-options "-std=gnu++17" }
|
|
// { dg-do run }
|
|
|
|
// Copyright (C) 2014-2016 Free Software Foundation, Inc.
|
|
//
|
|
// This file is part of the GNU ISO C++ Library. This library is free
|
|
// software; you can redistribute it and/or modify it under the
|
|
// terms of the GNU General Public License as published by the
|
|
// Free Software Foundation; either version 3, or (at your option)
|
|
// any later version.
|
|
|
|
// This library is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU General Public License for more details.
|
|
|
|
// You should have received a copy of the GNU General Public License along
|
|
// with this library; see the file COPYING3. If not see
|
|
// <http://www.gnu.org/licenses/>.
|
|
|
|
#include <any>
|
|
#include <testsuite_hooks.h>
|
|
|
|
using std::any;
|
|
using std::any_cast;
|
|
|
|
bool moved = false;
|
|
bool copied = false;
|
|
|
|
struct X
|
|
{
|
|
X() = default;
|
|
X(const X&) { copied = true; }
|
|
X(X&& x) { moved = true; }
|
|
};
|
|
|
|
struct X2
|
|
{
|
|
X2() = default;
|
|
X2(const X2&) { copied = true; }
|
|
X2(X2&& x) noexcept { moved = true; }
|
|
};
|
|
|
|
void test01()
|
|
{
|
|
moved = false;
|
|
X x;
|
|
any a1(x);
|
|
VERIFY(moved == false);
|
|
any a2(std::move(x));
|
|
VERIFY(moved == true);
|
|
}
|
|
|
|
void test02()
|
|
{
|
|
moved = false;
|
|
X x;
|
|
any a1(x);
|
|
VERIFY(moved == false);
|
|
copied = false;
|
|
any a2(std::move(a1));
|
|
VERIFY(copied == false);
|
|
}
|
|
|
|
void test03()
|
|
{
|
|
moved = false;
|
|
X2 x;
|
|
any a1(x);
|
|
VERIFY(moved == false);
|
|
copied = false;
|
|
any a2(std::move(a1));
|
|
VERIFY(copied == false);
|
|
VERIFY(moved == true);
|
|
}
|
|
|
|
int main()
|
|
{
|
|
test01();
|
|
test02();
|
|
test03();
|
|
}
|