From 7e1731c5ef93026b06b0b8ea5b8bead4e62a6c47 Mon Sep 17 00:00:00 2001
From: mutouyun <orz@orzz.org>
Date: Sat, 10 Aug 2024 17:49:49 +0800
Subject: [PATCH] refactor: Add static_assert for trivially copyable type in
 data_model

---
 include/libconcur/data_model.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/libconcur/data_model.h b/include/libconcur/data_model.h
index 9805ba8..eba484b 100644
--- a/include/libconcur/data_model.h
+++ b/include/libconcur/data_model.h
@@ -9,6 +9,7 @@
 #include <atomic>
 #include <array>
 #include <tuple>
+#include <type_traits>
 #include <cstddef>
 #include <cstdint>
 
@@ -26,6 +27,9 @@ LIBCONCUR_NAMESPACE_BEG_
 
 template <typename T, typename TransModT, typename PRelationT, typename CRelationT>
 class data_model {
+
+  static_assert(std::is_trivially_copyable<T>::value, "T must be trivially copyable.");
+
 public:
   using producer_relation_t = PRelationT;
   using consumer_relation_t = CRelationT;