kindred/create
1
1
Fork 0
Code Issues 53 Pull Requests Actions Packages Projects 9 Releases 2 Wiki Activity

Add constraints to templates in BaseClass using static_asserts

Browse Source
This commit is contained in:
Benjamin Nauck
2025-01-17 00:05:22 +01:00
parent dd6aa9f3c7
commit d3fa11a77c
1 changed files with 20 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
src/Base/BaseClass.h
View File

@@ -156,16 +156,10 @@ public:
}
template<typename T>
bool is() const
{
return getTypeId() == T::getClassTypeId();
}
bool is() const;
template<typename T>
bool isDerivedFrom() const
{
return getTypeId().isDerivedFrom(T::getClassTypeId());
}
bool isDerivedFrom() const;
private:
static Type classTypeId; // NOLINT
@@ -187,6 +181,20 @@ public:
virtual ~BaseClass();
};
template<typename T>
bool BaseClass::is() const
{
static_assert(std::is_base_of<BaseClass, T>::value, "T must be derived from Base::BaseClass");
return getTypeId() == T::getClassTypeId();
}
template<typename T>
bool BaseClass::isDerivedFrom() const
{
static_assert(std::is_base_of<BaseClass, T>::value, "T must be derived from Base::BaseClass");
return getTypeId().isDerivedFrom(T::getClassTypeId());
}
/**
* Template that works just like dynamic_cast, but expects the argument to
* inherit from Base::BaseClass.
@@ -195,6 +203,8 @@ public:
template<typename T>
T* freecad_dynamic_cast(Base::BaseClass* type)
{
static_assert(std::is_base_of<BaseClass, T>::value, "T must be derived from Base::BaseClass");
if (type && type->isDerivedFrom(T::getClassTypeId())) {
return static_cast<T*>(type);
}
@@ -210,6 +220,8 @@ T* freecad_dynamic_cast(Base::BaseClass* type)
template<typename T>
const T* freecad_dynamic_cast(const Base::BaseClass* type)
{
static_assert(std::is_base_of<BaseClass, T>::value, "T must be derived from Base::BaseClass");
if (type && type->isDerivedFrom(T::getClassTypeId())) {
return static_cast<const T*>(type);
}