add move impl (#544)

Co-authored-by: Dhaibat Chaudhuri <[email protected]>

docs/libraries/utility.hpp/f_move.md

@@ -0,0 +1,28 @@
+---
+layout: function
+title: move
+hyde:
+  owner: dhaibatc
+  brief: __INLINED__
+  tags:
+    - function
+  inline:
+    brief:
+      - A standard move implementation but with a compile-time check for const types.
+  defined_in_file: utility.hpp
+  overloads:
+    "template <class T>\nconstexpr std::remove_reference_t<T> && move(T &&)":
+      arguments:
+        - description: __OPTIONAL__
+          name: t
+          type: T &&
+      description: __INLINED__
+      inline:
+        description:
+          - A standard move implementation but with a compile-time check for const types.
+      return: __OPTIONAL__
+      signature_with_names: "template <class T>\nconstexpr std::remove_reference_t<T> && move(T && t)"
+  namespace:
+    - stlab
+    - v2
+---

stlab/utility.hpp

@@ -126,6 +126,16 @@ constexpr std::decay_t<T> copy(T&& value) noexcept(noexcept(std::decay_t<T>{
 
 /**************************************************************************************************/
 
+/// A standard move implementation but with a compile-time check for const types.
+template <class T>
+constexpr std::remove_reference_t<T>&& move(T&& t) noexcept {
+    static_assert(!std::is_const_v<std::remove_reference_t<T>>,
+                  "move of const type will unintentionally decay to copy");
+    return static_cast<std::remove_reference_t<T>&&>(t);
+}
+
+/**************************************************************************************************/
+
 } // namespace STLAB_VERSION_NAMESPACE()
 } // namespace stlab