Asset concepts

Bigfoot/Sources/Engine/Include/Engine/Asset/Asset.hpp

@@ -6,6 +6,7 @@
  *********************************************************************/
 #ifndef BIGFOOT_ENGINE_ASSET_ASSET_HPP
 #define BIGFOOT_ENGINE_ASSET_ASSET_HPP
+#include <Engine/Asset/AssetConcepts.hpp>
 #include <Engine/Asset/Asset_generated.hpp>
 #include <Engine/EngineAssertHandler.hpp>
 
@@ -33,6 +34,7 @@ class AssetBase
 };
 
 template<class ASSET>
+    requires AssetTraits<ASSET>
 class Asset: public AssetBase
 {
   public:

Bigfoot/Sources/Engine/Include/Engine/Asset/AssetConcepts.hpp

@@ -0,0 +1,40 @@
+/*********************************************************************
+ * \file   AssetConcepts.hpp
+ *
+ * \author Romain BOULLARD
+ * \date   August 2026
+ *********************************************************************/
+#ifndef BIGFOOT_ENGINE_ASSET_ASSETCONCEPTS_HPP
+#define BIGFOOT_ENGINE_ASSET_ASSETCONCEPTS_HPP
+#include <Engine/Asset/AssetTypeID.hpp>
+
+#include <System/UUID/UUID.hpp>
+
+#include <concepts>
+
+namespace Bigfoot
+{
+class AssetBase;
+
+/**
+ * The traits struct passed to Asset<TRAITS> (e.g. AssetATraits).
+ * Must name the generated flatbuffers table type for the asset.
+ */
+template<class TRAITS>
+concept AssetTraits = requires {
+    typename TRAITS::FLAT;
+    typename TRAITS::FLAT::NativeTableType;
+    { TRAITS::FLAT::GetFullyQualifiedName() } -> std::convertible_to<const char*>;
+};
+
+/**
+ * A concrete Asset type (e.g. AssetA), usable with AssetContainer, AssetLibrary and References.
+ */
+template<class ASSET>
+concept AssetType = std::derived_from<ASSET, AssetBase> && !std::same_as<ASSET, AssetBase> &&
+    requires(const ASSET& p_asset) {
+        { ASSET::GetTypeID() } -> std::convertible_to<AssetTypeID>;
+        { p_asset.GetHeader().uuid } -> std::convertible_to<UUID>;
+    };
+}   // namespace Bigfoot
+#endif

Bigfoot/Sources/Engine/Include/Engine/Asset/AssetContainer.hpp

@@ -7,6 +7,7 @@
 #ifndef BIGFOOT_ENGINE_ASSET_ASSETCONTAINER_HPP
 #define BIGFOOT_ENGINE_ASSET_ASSETCONTAINER_HPP
 #include <Engine/Asset/Asset.hpp>
+#include <Engine/Asset/AssetConcepts.hpp>
 #include <Engine/EngineAssertHandler.hpp>
 
 #include <Utils/Containers/SlotMap.hpp>
@@ -284,6 +285,7 @@ class AssetContainerBase
 /****************************************************************************************/
 
 template<class ASSET>
+    requires AssetType<ASSET>
 class AssetContainer: public AssetContainerBase
 {
     using SlotMap = StableSlotMap<ASSET>;

Bigfoot/Sources/Engine/Include/Engine/Asset/AssetLibrary.hpp

@@ -6,6 +6,7 @@
  *********************************************************************/
 #ifndef BIGFOOT_ENGINE_ASSET_ASSETLIBRARY_HPP
 #define BIGFOOT_ENGINE_ASSET_ASSETLIBRARY_HPP
+#include <Engine/Asset/AssetConcepts.hpp>
 #include <Engine/Asset/AssetContainer.hpp>
 #include <Engine/Asset/AssetTypeID.hpp>
 
@@ -31,6 +32,7 @@ class AssetLibrary
      * \return The AssetContainer for the Asset type. Nullptr if not found
      */
     template<class ASSET>
+        requires AssetType<ASSET>
     [[nodiscard]]
     bool Insert(AssetContainer<ASSET>* p_assetContainer)
     {

Bigfoot/Sources/Engine/Include/Engine/Asset/Reference.hpp

@@ -6,6 +6,7 @@
  *********************************************************************/
 #ifndef BIGFOOT_ENGINE_ASSET_REFERENCE_HPP
 #define BIGFOOT_ENGINE_ASSET_REFERENCE_HPP
+#include <Engine/Asset/AssetConcepts.hpp>
 #include <Engine/Asset/AssetLibrary.hpp>
 
 #include <System/UUID/UUID.hpp>
@@ -43,6 +44,7 @@ class ReferenceBase
     [[nodiscard]]
     const ASSET* Get() const
     {
+        static_assert(AssetType<ASSET>, "ASSET must derive from AssetBase (and not be AssetBase itself)");
         return m_handle ? static_cast<const ASSET*>(m_handle->GetAsset()) : nullptr;
     }
 
@@ -54,6 +56,7 @@ class ReferenceBase
     [[nodiscard]]
     ASSET* Get()
     {
+        static_assert(AssetType<ASSET>, "ASSET must derive from AssetBase (and not be AssetBase itself)");
         return m_handle ? static_cast<ASSET*>(m_handle->GetAsset()) : nullptr;
     }