Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improvements for type-checking macros #461

Merged
merged 6 commits into from
Oct 13, 2023
Merged

Improvements for type-checking macros #461

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
8ab950a
Using std::declval where appropriatel
jatinchowdhury18 Oct 13, 2023
c458482
Refactor and adding tests
jatinchowdhury18 Oct 13, 2023
66116db
Fix broken static method checker
jatinchowdhury18 Oct 13, 2023
564b496
Fix core test
jatinchowdhury18 Oct 13, 2023
2c74006
Merge 564b49699095ae30444b665af7d8357a6e05e526 into 4936768734629b51d…
jatinchowdhury18 Oct 13, 2023
f790fde
Apply clang-format
github-actions[bot] Oct 13, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
135 changes: 135 additions & 0 deletions modules/common/chowdsp_core/Types/chowdsp_TypeHasCheckers.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,135 @@
#pragma once

/**
* Creates a constexpr bool that checks if a class has the given static method.
*
* Usage:
* @code {.cpp}
* CHOWDSP_CHECK_HAS_STATIC_METHOD(HasToString, toString, std::declval<int>())
* static_assert(HasToString<MyClass>, "MyClass must have a static toString(int) method!");
* @endcode
*/
#define CHOWDSP_CHECK_HAS_STATIC_METHOD(Name, Method) \
template <typename _T> \
class Test_##Name \
{ \
using No = char; \
using Yes = long; \
static_assert (sizeof (No) != sizeof (Yes), "Yes and No have the same size on this platform, undefined behaviour will ensue!"); \
\
template <typename C> \
static Yes test (decltype (&C::Method)); \
\
template <typename C> \
static No test (...); \
\
public: \
enum \
{ \
value = sizeof (test<_T> (nullptr)) == sizeof (Yes) \
}; \
}; \
template <typename _T> \
static constexpr bool Name = Test_##Name<_T>::value;

/**
* Creates a constexpr bool that checks if a class has the given non-static method.
*
* Usage:
* @code {.cpp}
* CHOWDSP_CHECK_HAS_METHOD(HasGetAtIndex, getAtIndex, std::declval<int>())
* static_assert(HasGetAtIndex<MyClass>, "MyClass must have getAtIndex(int) method!");
* @endcode
*/
#define CHOWDSP_CHECK_HAS_METHOD(Name, Method, ...) \
template <typename _T> \
class Test_##Name \
{ \
using No = char; \
using Yes = long; \
static_assert (sizeof (No) != sizeof (Yes), "Yes and No have the same size on this platform, undefined behaviour will ensue!"); \
\
template <typename C> \
static Yes test (decltype (std::declval<C>().Method (__VA_ARGS__))*); \
\
template <typename C> \
static No test (...); \
\
public: \
enum \
{ \
value = sizeof (test<_T> (nullptr)) == sizeof (Yes) \
}; \
}; \
template <typename _T> \
static constexpr bool Name = Test_##Name<_T>::value;

/**
* Creates a constexpr bool that checks if a class has the given static member variable.
*
* Usage:
* @code {.cpp}
* CHOWDSP_CHECK_HAS_STATIC_MEMBER(HasName, name)
* static_assert(HasName<MyClass>, "MyClass must have a static name member!");
* @endcode
*/
#define CHOWDSP_CHECK_HAS_STATIC_MEMBER(Name, Member) \
template <typename _T> \
class Test_##Name \
{ \
using No = char; \
using Yes = long; \
static_assert (sizeof (No) != sizeof (Yes), "Yes and No have the same size on this platform, undefined behaviour will ensue!"); \
\
template <typename C> \
static std::enable_if_t<std::is_member_pointer_v<decltype (&C::Member)>, No> test (decltype (C::Member)*); \
\
template <typename C> \
static std::enable_if_t<! std::is_member_pointer_v<decltype (&C::Member)>, Yes> test (decltype (C::Member)*); \
\
template <typename C> \
static No test (...); \
\
public: \
enum \
{ \
value = sizeof (test<_T> (nullptr)) == sizeof (Yes) \
}; \
}; \
template <typename _T> \
static constexpr bool Name = Test_##Name<_T>::value;

/**
* Creates a constexpr bool that checks if a class has the given non-static member variable.
*
* Usage:
* @code {.cpp}
* CHOWDSP_CHECK_HAS_MEMBER(HasName, name)
* static_assert(HasName<MyClass>, "MyClass must have `name` member variable!");
* @endcode
*/
#define CHOWDSP_CHECK_HAS_MEMBER(Name, Member) \
template <typename _T> \
class Test_##Name \
{ \
using No = char; \
using Yes = long; \
static_assert (sizeof (No) != sizeof (Yes), "Yes and No have the same size on this platform, undefined behaviour will ensue!"); \
\
template <typename C> \
static std::enable_if_t<std::is_member_pointer_v<decltype (&C::Member)>, Yes> test (decltype (std::declval<C>().Member)*); \
\
template <typename C> \
static std::enable_if_t<! std::is_member_pointer_v<decltype (&C::Member)>, No> test (decltype (std::declval<C>().Member)*); \
\
template <typename C> \
static No test (...); \
\
public: \
enum \
{ \
value = sizeof (test<_T> (nullptr)) == sizeof (Yes) \
}; \
}; \
template <typename _T> \
static constexpr bool Name = Test_##Name<_T>::value;
Loading