Move <optional> into include/experimental, and into the std::experimental namespace, since it's not part of C++14, but of an upcoming TS

llvm-svn: 194867
This commit is contained in:
Marshall Clow
2013-11-15 22:42:10 +00:00
parent 3f823e3af1
commit dfdac03c8f
59 changed files with 523 additions and 409 deletions

View File

@@ -11,12 +11,14 @@
// ~optional();
#include <optional>
#include <experimental/optional>
#include <type_traits>
#include <cassert>
#if _LIBCPP_STD_VER > 11
using std::experimental::optional;
class X
{
public:
@@ -35,20 +37,20 @@ int main()
{
typedef int T;
static_assert(std::is_trivially_destructible<T>::value, "");
static_assert(std::is_trivially_destructible<std::optional<T>>::value, "");
static_assert(std::is_trivially_destructible<optional<T>>::value, "");
}
{
typedef double T;
static_assert(std::is_trivially_destructible<T>::value, "");
static_assert(std::is_trivially_destructible<std::optional<T>>::value, "");
static_assert(std::is_trivially_destructible<optional<T>>::value, "");
}
{
typedef X T;
static_assert(!std::is_trivially_destructible<T>::value, "");
static_assert(!std::is_trivially_destructible<std::optional<T>>::value, "");
static_assert(!std::is_trivially_destructible<optional<T>>::value, "");
{
X x;
std::optional<X> opt{x};
optional<X> opt{x};
assert(X::dtor_called == false);
}
assert(X::dtor_called == true);