Squashed 'third_party/optional/' content from commit 1baad184f
Change-Id: I9b2473a84dcf6d9892f1f7a9fd21b340796b6ff5
git-subtree-dir: third_party/optional
git-subtree-split: 1baad184f022a3a7502db094a984a86adedf9626
diff --git a/tests/bases.cpp b/tests/bases.cpp
new file mode 100644
index 0000000..cff7819
--- /dev/null
+++ b/tests/bases.cpp
@@ -0,0 +1,107 @@
+#include "catch.hpp"
+#include "optional.hpp"
+
+// Old versions of GCC don't have the correct trait names. Could fix them up if needs be.
+#if (defined(__GNUC__) && __GNUC__ == 4 && __GNUC_MINOR__ <= 9 && \
+ !defined(__clang__))
+// nothing for now
+#else
+TEST_CASE("Triviality", "[bases.triviality]") {
+ REQUIRE(std::is_trivially_copy_constructible<tl::optional<int>>::value);
+ REQUIRE(std::is_trivially_copy_assignable<tl::optional<int>>::value);
+ REQUIRE(std::is_trivially_move_constructible<tl::optional<int>>::value);
+ REQUIRE(std::is_trivially_move_assignable<tl::optional<int>>::value);
+ REQUIRE(std::is_trivially_destructible<tl::optional<int>>::value);
+
+ {
+ struct T {
+ T(const T&) = default;
+ T(T&&) = default;
+ T& operator=(const T&) = default;
+ T& operator=(T&&) = default;
+ ~T() = default;
+ };
+ REQUIRE(std::is_trivially_copy_constructible<tl::optional<T>>::value);
+ REQUIRE(std::is_trivially_copy_assignable<tl::optional<T>>::value);
+ REQUIRE(std::is_trivially_move_constructible<tl::optional<T>>::value);
+ REQUIRE(std::is_trivially_move_assignable<tl::optional<T>>::value);
+ REQUIRE(std::is_trivially_destructible<tl::optional<T>>::value);
+ }
+
+ {
+ struct T {
+ T(const T&){}
+ T(T&&) {};
+ T& operator=(const T&) { return *this; }
+ T& operator=(T&&) { return *this; };
+ ~T(){}
+ };
+ REQUIRE(!std::is_trivially_copy_constructible<tl::optional<T>>::value);
+ REQUIRE(!std::is_trivially_copy_assignable<tl::optional<T>>::value);
+ REQUIRE(!std::is_trivially_move_constructible<tl::optional<T>>::value);
+ REQUIRE(!std::is_trivially_move_assignable<tl::optional<T>>::value);
+ REQUIRE(!std::is_trivially_destructible<tl::optional<T>>::value);
+ }
+
+}
+
+TEST_CASE("Deletion", "[bases.deletion]") {
+ REQUIRE(std::is_copy_constructible<tl::optional<int>>::value);
+ REQUIRE(std::is_copy_assignable<tl::optional<int>>::value);
+ REQUIRE(std::is_move_constructible<tl::optional<int>>::value);
+ REQUIRE(std::is_move_assignable<tl::optional<int>>::value);
+ REQUIRE(std::is_destructible<tl::optional<int>>::value);
+
+ {
+ struct T {
+ T(const T&) = default;
+ T(T&&) = default;
+ T& operator=(const T&) = default;
+ T& operator=(T&&) = default;
+ ~T() = default;
+ };
+ REQUIRE(std::is_copy_constructible<tl::optional<T>>::value);
+ REQUIRE(std::is_copy_assignable<tl::optional<T>>::value);
+ REQUIRE(std::is_move_constructible<tl::optional<T>>::value);
+ REQUIRE(std::is_move_assignable<tl::optional<T>>::value);
+ REQUIRE(std::is_destructible<tl::optional<T>>::value);
+ }
+
+ {
+ struct T {
+ T(const T&)=delete;
+ T(T&&)=delete;
+ T& operator=(const T&)=delete;
+ T& operator=(T&&)=delete;
+ };
+ REQUIRE(!std::is_copy_constructible<tl::optional<T>>::value);
+ REQUIRE(!std::is_copy_assignable<tl::optional<T>>::value);
+ REQUIRE(!std::is_move_constructible<tl::optional<T>>::value);
+ REQUIRE(!std::is_move_assignable<tl::optional<T>>::value);
+ }
+
+ {
+ struct T {
+ T(const T&)=delete;
+ T(T&&)=default;
+ T& operator=(const T&)=delete;
+ T& operator=(T&&)=default;
+ };
+ REQUIRE(!std::is_copy_constructible<tl::optional<T>>::value);
+ REQUIRE(!std::is_copy_assignable<tl::optional<T>>::value);
+ REQUIRE(std::is_move_constructible<tl::optional<T>>::value);
+ REQUIRE(std::is_move_assignable<tl::optional<T>>::value);
+ }
+
+ {
+ struct T {
+ T(const T&)=default;
+ T(T&&)=delete;
+ T& operator=(const T&)=default;
+ T& operator=(T&&)=delete;
+ };
+ REQUIRE(std::is_copy_constructible<tl::optional<T>>::value);
+ REQUIRE(std::is_copy_assignable<tl::optional<T>>::value);
+ }
+}
+#endif