libcxx/test/std/utilities/optional/optional.object/optional.object.dtor/dtor.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 // UNSUPPORTED: c++03, c++11, c++14
  10 // <optional>
  11
  12 // ~optional();
  13
  14 #include <optional>
  15 #include <type_traits>
  16 #include <cassert>
  17
  18 #include "test_macros.h"
  19
  20 using std::optional;
  21
  22 struct PODType {
  23   int value;
  24   int value2;
  25 };
  26
  27 class X
  28 {
  29 public:
  30     static bool dtor_called;
  31     X() = default;
  32     X(const X&) = default;
  33     X& operator=(const X&) = default;
  34     ~X() {dtor_called = true;}
  35 };
  36
  37 bool X::dtor_called = false;
  38
  39 int main(int, char**)
  40 {
  41     {
  42         typedef int T;
  43         static_assert(std::is_trivially_destructible<T>::value, "");
  44         static_assert(std::is_trivially_destructible<optional<T>>::value, "");
  45     }
  46     {
  47         typedef double T;
  48         static_assert(std::is_trivially_destructible<T>::value, "");
  49         static_assert(std::is_trivially_destructible<optional<T>>::value, "");
  50     }
  51     {
  52         typedef PODType T;
  53         static_assert(std::is_trivially_destructible<T>::value, "");
  54         static_assert(std::is_trivially_destructible<optional<T>>::value, "");
  55     }
  56     {
  57         typedef X T;
  58         static_assert(!std::is_trivially_destructible<T>::value, "");
  59         static_assert(!std::is_trivially_destructible<optional<T>>::value, "");
  60         {
  61             X x;
  62             optional<X> opt{x};
  63             assert(X::dtor_called == false);
  64         }
  65         assert(X::dtor_called == true);
  66     }
  67
  68   return 0;
  69 }