Fix PR30260 - optional<const T> not working.

This patch fixes PR30260 by using a (void*) cast on the placement argument
to placement new to casts away the const. See also http://llvm.org/PR30260.

As a drive by change this patch also changes the header guard for
<experimental/optional> to _LIBCPP_EXPERIMENTAL_OPTIONAL from _LIBCPP_OPTIONAL.


git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@280775 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Eric Fiselier
2016-09-07 01:56:07 +00:00
parent 01609afe24
commit b9231a2326
9 changed files with 113 additions and 14 deletions

View File

@@ -21,6 +21,13 @@
using std::experimental::optional;
struct AllowConstAssign {
AllowConstAssign(AllowConstAssign const&) {}
AllowConstAssign const& operator=(AllowConstAssign const&) const {
return *this;
}
};
struct X
{
static bool throw_now;
@@ -76,6 +83,11 @@ int main()
assert(static_cast<bool>(opt) == static_cast<bool>(opt2));
assert(*opt == *opt2);
}
{
optional<const AllowConstAssign> opt;
optional<const AllowConstAssign> opt2;
opt = std::move(opt2);
}
{
static_assert(!std::is_nothrow_move_assignable<optional<X>>::value, "");
optional<X> opt;