Enforce value type requirements (#83)

* Enforce value type requirements
* Set release version

Author: andreiavrammsd

CMakeLists.txt

@@ -1,5 +1,5 @@
 cmake_minimum_required(VERSION 3.15)
-project(cpp_channel VERSION 1.3.0)
+project(cpp_channel VERSION 1.3.1)
 
 set(CMAKE_CXX_STANDARD 11 CACHE STRING "C++ standard")
 set(CMAKE_CXX_STANDARD_REQUIRED ON)

README.md

@@ -51,7 +51,7 @@ Exceptions:
 
 * Thread-safe push and fetch.
 * Use stream operators to push (<<) and fetch (>>) items.
-* Value type must be default constructible.
+* Value type must be default constructible, move constructible, move assignable, and destructible.
 * Blocking (forever waiting to fetch).
 * Range-based for loop supported.
 * Close to prevent pushing and stop waiting to fetch.

include/msd/channel.hpp

@@ -39,6 +39,27 @@ class closed_channel : public std::runtime_error {
 template <typename T>
 using default_storage = queue_storage<T>;
 
+/**
+ * @brief Trait to check if a type is supported by msd::channel.
+ *
+ * This trait ensures the type meets all requirements to be safely used
+ * within the channel:
+ * - Default constructible: must be able to create a default instance.
+ * - Move constructible: must be movable to allow efficient element transfer.
+ * - Move assignable: must support move assignment for storage management.
+ * - Destructible: must have a valid destructor.
+ *
+ * @tparam T The type to check.
+ */
+template <typename T>
+struct is_supported_type {
+    /**
+     * @brief Indicates if the type meets all channel requirements.
+     */
+    static constexpr bool value = std::is_default_constructible<T>::value && std::is_move_constructible<T>::value &&
+                                  std::is_move_assignable<T>::value && std::is_destructible<T>::value;
+};
+
 /**
  * @brief Trait to check if a storage type has a static **capacity** member.
  */
@@ -65,6 +86,8 @@ struct is_static_storage<Storage, decltype((void)Storage::capacity, void())> : s
 template <typename T, typename Storage = default_storage<T>>
 class channel {
    public:
+    static_assert(is_supported_type<T>::value, "Type T does not meet all requirements.");
+
     /**
      * @brief The type of elements stored in the channel.
      */