asserts() added for observers

mpusz · Jun 1, 2017 · d1e4c25 · d1e4c25
1 parent 7c0769e
commit d1e4c25
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/include/opt.h b/src/include/opt.h
@@ -214,12 +214,12 @@ namespace mp {
     }
 
     // observers
-    constexpr const T* operator->() const { return reinterpret_cast<const T*>(&storage_); }
-    constexpr T* operator->() { return reinterpret_cast<T*>(&storage_); }
-    constexpr const T& operator*() const & { return *reinterpret_cast<const T*>(&storage_); }
-    constexpr T& operator*() & { return *reinterpret_cast<T*>(&storage_); }
-    constexpr T&& operator*() && { return std::move(*reinterpret_cast<T*>(&storage_)); }
-    constexpr const T&& operator*() const && { return std::move(*reinterpret_cast<const T*>(&storage_)); }
+    constexpr const T* operator->() const { assert(has_value()); return reinterpret_cast<const T*>(&storage_); }
+    constexpr T* operator->() { assert(has_value()); return reinterpret_cast<T*>(&storage_); }
+    constexpr const T& operator*() const & { assert(has_value()); return *reinterpret_cast<const T*>(&storage_); }
+    constexpr T& operator*() & { assert(has_value()); return *reinterpret_cast<T*>(&storage_); }
+    constexpr T&& operator*() && { assert(has_value()); return std::move(*reinterpret_cast<T*>(&storage_)); }
+    constexpr const T&& operator*() const && { assert(has_value()); return std::move(*reinterpret_cast<const T*>(&storage_)); }
 
     constexpr bool has_value() const noexcept(noexcept(traits_type::has_value(std::declval<storage_type>())))
     {