From ad4ba073a3c33f0dee58857c2952243a7b0da26f Mon Sep 17 00:00:00 2001 From: sha512sum Date: Sat, 19 Oct 2024 23:02:24 +0000 Subject: [PATCH] Add nameof module support --- CMakeLists.txt | 33 +- example/CMakeLists.txt | 4 +- example/example_module.cpp | 11 + include/nameof.hpp | 707 +++++++++++++++++++------------------ include/nameof_macro.hpp | 149 ++++++++ src/nameof.cpp | 46 +++ 6 files changed, 599 insertions(+), 351 deletions(-) create mode 100644 example/example_module.cpp create mode 100644 include/nameof_macro.hpp create mode 100644 src/nameof.cpp diff --git a/CMakeLists.txt b/CMakeLists.txt index e5227f5..5a49aec 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,4 +1,4 @@ -cmake_minimum_required(VERSION 3.14) +cmake_minimum_required(VERSION 3.30) include(GNUInstallDirs) @@ -22,6 +22,7 @@ endif() option(NAMEOF_OPT_BUILD_EXAMPLES "Build nameof examples" ${IS_TOPLEVEL_PROJECT}) option(NAMEOF_OPT_BUILD_TESTS "Build and perform nameof tests" ${IS_TOPLEVEL_PROJECT}) option(NAMEOF_OPT_INSTALL "Generate and install nameof target" ${IS_TOPLEVEL_PROJECT}) +option(NAMEOF_MODULE "Build nameof module" OFF) if(NAMEOF_OPT_BUILD_EXAMPLES) add_subdirectory(example) @@ -36,14 +37,34 @@ include(CMakePackageConfigHelpers) set(EXPORT_NAMESPACE "${PROJECT_NAME}::") -add_library("${PROJECT_NAME}" INTERFACE) -add_library("${EXPORT_NAMESPACE}${PROJECT_NAME}" ALIAS "${PROJECT_NAME}") + set(INCLUDES "${CMAKE_CURRENT_SOURCE_DIR}/include") -target_include_directories(${PROJECT_NAME} +if(NAMEOF_MODULE) + set(CMAKE_CXX_EXTENSIONS OFF) + add_library(${PROJECT_NAME}) + + target_include_directories(${PROJECT_NAME} + PUBLIC + $ + $) + target_compile_definitions(${PROJECT_NAME} PRIVATE NAMEOF_MODULE) + target_compile_features(${PROJECT_NAME} PUBLIC cxx_std_20) + + target_sources(${PROJECT_NAME} PUBLIC FILE_SET nameofModules TYPE CXX_MODULES + FILES src/nameof.cpp) +else() + add_library("${PROJECT_NAME}" INTERFACE) + target_include_directories(${PROJECT_NAME} INTERFACE $ $) +endif() + +add_library("${EXPORT_NAMESPACE}${PROJECT_NAME}" ALIAS "${PROJECT_NAME}") + + + if(NAMEOF_OPT_INSTALL) list(APPEND CMAKE_MODULE_PATH "${ADDITIONAL_MODULES_DIR}/GenPkgConfig") @@ -54,6 +75,10 @@ if(NAMEOF_OPT_INSTALL) string(REPLACE "/${CMAKE_LIBRARY_ARCHITECTURE}" "" CMAKE_INSTALL_LIBDIR_ARCHIND "${CMAKE_INSTALL_LIBDIR}") install(TARGETS "${PROJECT_NAME}" EXPORT ${PROJECT_NAME} + ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR} + LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR} + RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR} + FILE_SET nameofModules DESTINATION ${CMAKE_INSTALL_LIBDIR} INCLUDES DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}" # COMPONENT "${SDK_COMPONENT_NAME}" # component is not allowed for includes! Headers are installed separately! Includes only marks the headers for export diff --git a/example/CMakeLists.txt b/example/CMakeLists.txt index 2c6ca8e..9185359 100644 --- a/example/CMakeLists.txt +++ b/example/CMakeLists.txt @@ -12,10 +12,12 @@ endif() function(make_example target) add_executable(${target} ${target}.cpp) set_target_properties(${target} PROPERTIES CXX_EXTENSIONS OFF) - target_compile_features(${target} PRIVATE cxx_std_17) target_compile_options(${target} PRIVATE ${OPTIONS}) target_link_libraries(${target} PRIVATE ${CMAKE_PROJECT_NAME}) endfunction() make_example(example) make_example(example_custom_name) +if(NAMEOF_MODULE) + make_example(example_module) +endif() diff --git a/example/example_module.cpp b/example/example_module.cpp new file mode 100644 index 0000000..313a717 --- /dev/null +++ b/example/example_module.cpp @@ -0,0 +1,11 @@ +import nameof; +#include + +struct Test {}; + +auto main() -> int { + auto _ = nameof::nameof_type(); + { + auto _ = NAMEOF_TYPE(Test); + } +} diff --git a/include/nameof.hpp b/include/nameof.hpp index 3154847..21c2130 100644 --- a/include/nameof.hpp +++ b/include/nameof.hpp @@ -32,14 +32,27 @@ #ifndef NEARGYE_NAMEOF_HPP #define NEARGYE_NAMEOF_HPP -#define NAMEOF_VERSION_MAJOR 0 -#define NAMEOF_VERSION_MINOR 10 -#define NAMEOF_VERSION_PATCH 4 +#include "nameof_macro.hpp" + +#ifdef NAMEOF_MODULE + +#define NAMEOF_EXPORT export + +#define NAMEOF_EXPORT_BEGIN export { +#define NAMEOF_EXPORT_END } + +#else + +#define NAMEOF_EXPORT +#define NAMEOF_EXPORT_BEGIN +#define NAMEOF_EXPORT_END + +#endif #include #include -#include #include +#include #include #include #include @@ -47,94 +60,38 @@ #include #if !defined(NAMEOF_USING_ALIAS_STRING) -# include +#include #endif #if !defined(NAMEOF_USING_ALIAS_STRING_VIEW) -# include +#include #endif #if __has_include() -# include -# include +#include + +#include #endif #if defined(__clang__) -# pragma clang diagnostic push -# pragma clang diagnostic ignored "-Wunknown-warning-option" -# pragma clang diagnostic ignored "-Wenum-constexpr-conversion" +#pragma clang diagnostic push +#pragma clang diagnostic ignored "-Wunknown-warning-option" +#pragma clang diagnostic ignored "-Wenum-constexpr-conversion" #elif defined(__GNUC__) -# pragma GCC diagnostic push -# pragma GCC diagnostic ignored "-Wstringop-overflow" // Missing terminating nul 'enum_name_v'. +#pragma GCC diagnostic push +#pragma GCC diagnostic ignored "-Wstringop-overflow" // Missing terminating nul 'enum_name_v'. #elif defined(_MSC_VER) -# pragma warning(push) -# pragma warning(disable : 26495) // Variable 'cstring::chars_' is uninitialized. -# pragma warning(disable : 28020) // Arithmetic overflow: Using operator '-' on a 4 byte value and then casting the result to a 8 byte value. -# pragma warning(disable : 26451) // The expression '0<=_Param_(1)&&_Param_(1)<=1-1' is not true at this call. -# pragma warning(disable : 4514) // Unreferenced inline function has been removed. -#endif - -// Checks nameof_type compiler compatibility. -#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 7 || defined(_MSC_VER) && _MSC_VER >= 1910 -# undef NAMEOF_TYPE_SUPPORTED -# define NAMEOF_TYPE_SUPPORTED 1 -#endif - -// Checks nameof_type_rtti compiler compatibility. -#if defined(__clang__) -# if __has_feature(cxx_rtti) -# undef NAMEOF_TYPE_RTTI_SUPPORTED -# define NAMEOF_TYPE_RTTI_SUPPORTED 1 -# endif -#elif defined(__GNUC__) -# if defined(__GXX_RTTI) -# undef NAMEOF_TYPE_RTTI_SUPPORTED -# define NAMEOF_TYPE_RTTI_SUPPORTED 1 -# endif -#elif defined(_MSC_VER) -# if defined(_CPPRTTI) -# undef NAMEOF_TYPE_RTTI_SUPPORTED -# define NAMEOF_TYPE_RTTI_SUPPORTED 1 -# endif -#endif - -// Checks nameof_member compiler compatibility. -#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 7 || defined(_MSC_VER) && defined(_MSVC_LANG) && _MSVC_LANG >= 202002L -# undef NAMEOF_MEMBER_SUPPORTED -# define NAMEOF_MEMBER_SUPPORTED 1 -#endif - -// Checks nameof_pointer compiler compatibility. -#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 7 || defined(_MSC_VER) && defined(_MSVC_LANG) && _MSVC_LANG >= 202002L -# undef NAMEOF_POINTER_SUPPORTED -# define NAMEOF_POINTER_SUPPORTED 1 -#endif - -// Checks nameof_enum compiler compatibility. -#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 9 || defined(_MSC_VER) && _MSC_VER >= 1910 -# undef NAMEOF_ENUM_SUPPORTED -# define NAMEOF_ENUM_SUPPORTED 1 -#endif - -// Checks nameof_enum compiler aliases compatibility. -#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 9 || defined(_MSC_VER) && _MSC_VER >= 1920 -# undef NAMEOF_ENUM_SUPPORTED_ALIASES -# define NAMEOF_ENUM_SUPPORTED_ALIASES 1 -#endif - -// Enum value must be greater or equals than NAMEOF_ENUM_RANGE_MIN. By default NAMEOF_ENUM_RANGE_MIN = -128. -// If need another min range for all enum types by default, redefine the macro NAMEOF_ENUM_RANGE_MIN. -#if !defined(NAMEOF_ENUM_RANGE_MIN) -# define NAMEOF_ENUM_RANGE_MIN -128 -#endif - -// Enum value must be less or equals than NAMEOF_ENUM_RANGE_MAX. By default NAMEOF_ENUM_RANGE_MAX = 128. -// If need another max range for all enum types by default, redefine the macro NAMEOF_ENUM_RANGE_MAX. -#if !defined(NAMEOF_ENUM_RANGE_MAX) -# define NAMEOF_ENUM_RANGE_MAX 128 +#pragma warning(push) +#pragma warning(disable : 26495) // Variable 'cstring::chars_' is uninitialized. +#pragma warning( \ + disable : 28020) // Arithmetic overflow: Using operator '-' on a 4 byte value and then casting the result to a 8 byte value. +#pragma warning(disable : 26451) // The expression '0<=_Param_(1)&&_Param_(1)<=1-1' is not true at this call. +#pragma warning(disable : 4514) // Unreferenced inline function has been removed. #endif namespace nameof { +NAMEOF_EXPORT_BEGIN + // If need another string_view type, define the macro NAMEOF_USING_ALIAS_STRING_VIEW. #if defined(NAMEOF_USING_ALIAS_STRING_VIEW) NAMEOF_USING_ALIAS_STRING_VIEW @@ -151,9 +108,9 @@ using std::string; namespace customize { -// Enum value must be in range [NAMEOF_ENUM_RANGE_MIN, NAMEOF_ENUM_RANGE_MAX]. By default NAMEOF_ENUM_RANGE_MIN = -128, NAMEOF_ENUM_RANGE_MAX = 128. -// If you need another range for all enum types by default, redefine the macro NAMEOF_ENUM_RANGE_MIN and NAMEOF_ENUM_RANGE_MAX. -// If you need another range for specific enum type, add specialization enum_range for necessary enum type. +// Enum value must be in range [NAMEOF_ENUM_RANGE_MIN, NAMEOF_ENUM_RANGE_MAX]. By default NAMEOF_ENUM_RANGE_MIN = -128, +// NAMEOF_ENUM_RANGE_MAX = 128. If you need another range for all enum types by default, redefine the macro NAMEOF_ENUM_RANGE_MIN and +// NAMEOF_ENUM_RANGE_MAX. If you need another range for specific enum type, add specialization enum_range for necessary enum type. template struct enum_range { static_assert(std::is_enum_v, "nameof::customize::enum_range requires enum type."); @@ -195,23 +152,23 @@ constexpr string_view pointer_name() noexcept { return {}; } -} // namespace nameof::customize +} // namespace customize template class [[nodiscard]] cstring { public: - using value_type = const char; - using size_type = std::uint16_t; + using value_type = const char; + using size_type = std::uint16_t; using difference_type = std::ptrdiff_t; - using pointer = const char*; - using const_pointer = const char*; - using reference = const char&; + using pointer = const char*; + using const_pointer = const char*; + using reference = const char&; using const_reference = const char&; - using iterator = const char*; + using iterator = const char*; using const_iterator = const char*; - using reverse_iterator = std::reverse_iterator; + using reverse_iterator = std::reverse_iterator; using const_reverse_iterator = std::reverse_iterator; constexpr explicit cstring(string_view str) noexcept : cstring{str, std::make_integer_sequence{}} { @@ -230,51 +187,94 @@ class [[nodiscard]] cstring { cstring& operator=(cstring&&) = default; - [[nodiscard]] constexpr const_pointer data() const noexcept { return chars_; } + [[nodiscard]] constexpr const_pointer data() const noexcept { + return chars_; + } - [[nodiscard]] constexpr size_type size() const noexcept { return N; } + [[nodiscard]] constexpr size_type size() const noexcept { + return N; + } - [[nodiscard]] constexpr const_iterator begin() const noexcept { return data(); } + [[nodiscard]] constexpr const_iterator begin() const noexcept { + return data(); + } - [[nodiscard]] constexpr const_iterator end() const noexcept { return data() + size(); } + [[nodiscard]] constexpr const_iterator end() const noexcept { + return data() + size(); + } - [[nodiscard]] constexpr const_iterator cbegin() const noexcept { return begin(); } + [[nodiscard]] constexpr const_iterator cbegin() const noexcept { + return begin(); + } - [[nodiscard]] constexpr const_iterator cend() const noexcept { return end(); } + [[nodiscard]] constexpr const_iterator cend() const noexcept { + return end(); + } - [[nodiscard]] constexpr const_reverse_iterator rbegin() const noexcept { return end(); } + [[nodiscard]] constexpr const_reverse_iterator rbegin() const noexcept { + return end(); + } - [[nodiscard]] constexpr const_reverse_iterator rend() const noexcept { return begin(); } + [[nodiscard]] constexpr const_reverse_iterator rend() const noexcept { + return begin(); + } - [[nodiscard]] constexpr const_reverse_iterator crbegin() const noexcept { return rbegin(); } + [[nodiscard]] constexpr const_reverse_iterator crbegin() const noexcept { + return rbegin(); + } - [[nodiscard]] constexpr const_reverse_iterator crend() const noexcept { return rend(); } + [[nodiscard]] constexpr const_reverse_iterator crend() const noexcept { + return rend(); + } - [[nodiscard]] constexpr const_reference operator[](size_type i) const noexcept { return assert(i < size()), chars_[i]; } + [[nodiscard]] constexpr const_reference operator[](size_type i) const noexcept { + return assert(i < size()), chars_[i]; + } - [[nodiscard]] constexpr const_reference front() const noexcept { return chars_[0]; } + [[nodiscard]] constexpr const_reference front() const noexcept { + return chars_[0]; + } - [[nodiscard]] constexpr const_reference back() const noexcept { return chars_[N]; } + [[nodiscard]] constexpr const_reference back() const noexcept { + return chars_[N]; + } - [[nodiscard]] constexpr size_type length() const noexcept { return size(); } + [[nodiscard]] constexpr size_type length() const noexcept { + return size(); + } - [[nodiscard]] constexpr bool empty() const noexcept { return false; } + [[nodiscard]] constexpr bool empty() const noexcept { + return false; + } - [[nodiscard]] constexpr int compare(string_view str) const noexcept { return string_view{data(), size()}.compare(str); } + [[nodiscard]] constexpr int compare(string_view str) const noexcept { + return string_view{data(), size()}.compare(str); + } - [[nodiscard]] constexpr const char* c_str() const noexcept { return data(); } + [[nodiscard]] constexpr const char* c_str() const noexcept { + return data(); + } - [[nodiscard]] string str() const { return {begin(), end()}; } + [[nodiscard]] string str() const { + return {begin(), end()}; + } - [[nodiscard]] constexpr operator string_view() const noexcept { return {data(), size()}; } + [[nodiscard]] constexpr operator string_view() const noexcept { + return {data(), size()}; + } - [[nodiscard]] constexpr explicit operator const_pointer() const noexcept { return data(); } + [[nodiscard]] constexpr explicit operator const_pointer() const noexcept { + return data(); + } - [[nodiscard]] explicit operator string() const { return {begin(), end()}; } + [[nodiscard]] explicit operator string() const { + return {begin(), end()}; + } private: template - constexpr cstring(string_view str, std::integer_sequence) noexcept : chars_{str[I]..., '\0'} {} + constexpr cstring(string_view str, std::integer_sequence) noexcept : chars_{str[I]..., '\0'} { + } char chars_[static_cast(N) + 1]; }; @@ -282,21 +282,22 @@ class [[nodiscard]] cstring { template <> class [[nodiscard]] cstring<0> { public: - using value_type = const char; - using size_type = std::uint16_t; + using value_type = const char; + using size_type = std::uint16_t; using difference_type = std::ptrdiff_t; - using pointer = const char*; - using const_pointer = const char*; - using reference = const char&; + using pointer = const char*; + using const_pointer = const char*; + using reference = const char&; using const_reference = const char&; - using iterator = const char*; + using iterator = const char*; using const_iterator = const char*; - using reverse_iterator = std::reverse_iterator; + using reverse_iterator = std::reverse_iterator; using const_reverse_iterator = std::reverse_iterator; - constexpr explicit cstring(string_view) noexcept {} + constexpr explicit cstring(string_view) noexcept { + } constexpr cstring() = default; @@ -310,41 +311,77 @@ class [[nodiscard]] cstring<0> { cstring& operator=(cstring&&) = default; - [[nodiscard]] constexpr const_pointer data() const noexcept { return nullptr; } + [[nodiscard]] constexpr const_pointer data() const noexcept { + return nullptr; + } - [[nodiscard]] constexpr size_type size() const noexcept { return 0; } + [[nodiscard]] constexpr size_type size() const noexcept { + return 0; + } - [[nodiscard]] constexpr const_iterator begin() const noexcept { return nullptr; } + [[nodiscard]] constexpr const_iterator begin() const noexcept { + return nullptr; + } - [[nodiscard]] constexpr const_iterator end() const noexcept { return nullptr; } + [[nodiscard]] constexpr const_iterator end() const noexcept { + return nullptr; + } - [[nodiscard]] constexpr const_iterator cbegin() const noexcept { return nullptr; } + [[nodiscard]] constexpr const_iterator cbegin() const noexcept { + return nullptr; + } - [[nodiscard]] constexpr const_iterator cend() const noexcept { return nullptr; } + [[nodiscard]] constexpr const_iterator cend() const noexcept { + return nullptr; + } - [[nodiscard]] constexpr const_reverse_iterator rbegin() const noexcept { return {}; } + [[nodiscard]] constexpr const_reverse_iterator rbegin() const noexcept { + return {}; + } - [[nodiscard]] constexpr const_reverse_iterator rend() const noexcept { return {}; } + [[nodiscard]] constexpr const_reverse_iterator rend() const noexcept { + return {}; + } - [[nodiscard]] constexpr const_reverse_iterator crbegin() const noexcept { return {}; } + [[nodiscard]] constexpr const_reverse_iterator crbegin() const noexcept { + return {}; + } - [[nodiscard]] constexpr const_reverse_iterator crend() const noexcept { return {}; } + [[nodiscard]] constexpr const_reverse_iterator crend() const noexcept { + return {}; + } - [[nodiscard]] constexpr size_type length() const noexcept { return 0; } + [[nodiscard]] constexpr size_type length() const noexcept { + return 0; + } - [[nodiscard]] constexpr bool empty() const noexcept { return true; } + [[nodiscard]] constexpr bool empty() const noexcept { + return true; + } - [[nodiscard]] constexpr int compare(string_view str) const noexcept { return string_view{}.compare(str); } + [[nodiscard]] constexpr int compare(string_view str) const noexcept { + return string_view{}.compare(str); + } - [[nodiscard]] constexpr const char* c_str() const noexcept { return nullptr; } + [[nodiscard]] constexpr const char* c_str() const noexcept { + return nullptr; + } - [[nodiscard]] string str() const { return {}; } + [[nodiscard]] string str() const { + return {}; + } - [[nodiscard]] constexpr operator string_view() const noexcept { return {}; } + [[nodiscard]] constexpr operator string_view() const noexcept { + return {}; + } - [[nodiscard]] constexpr explicit operator const_pointer() const noexcept { return nullptr; } + [[nodiscard]] constexpr explicit operator const_pointer() const noexcept { + return nullptr; + } - [[nodiscard]] explicit operator string() const { return {}; } + [[nodiscard]] explicit operator string() const { + return {}; + } }; template @@ -409,43 +446,45 @@ template template std::basic_ostream& operator<<(std::basic_ostream& os, const cstring& srt) { - for (const auto c : srt) { + for(const auto c : srt) { os.put(c); } return os; } +NAMEOF_EXPORT_END + namespace detail { constexpr string_view pretty_name(string_view name, bool remove_suffix = true) noexcept { - if (name.size() >= 1 && (name[0] == '"' || name[0] == '\'')) { - return {}; // Narrow multibyte string literal. - } else if (name.size() >= 2 && name[0] == 'R' && (name[1] == '"' || name[1] == '\'')) { - return {}; // Raw string literal. - } else if (name.size() >= 2 && name[0] == 'L' && (name[1] == '"' || name[1] == '\'')) { - return {}; // Wide string literal. - } else if (name.size() >= 2 && name[0] == 'U' && (name[1] == '"' || name[1] == '\'')) { - return {}; // UTF-32 encoded string literal. - } else if (name.size() >= 2 && name[0] == 'u' && (name[1] == '"' || name[1] == '\'')) { - return {}; // UTF-16 encoded string literal. - } else if (name.size() >= 3 && name[0] == 'u' && name[1] == '8' && (name[2] == '"' || name[2] == '\'')) { - return {}; // UTF-8 encoded string literal. - } else if (name.size() >= 1 && (name[0] >= '0' && name[0] <= '9')) { - return {}; // Invalid name. + if(name.size() >= 1 && (name[0] == '"' || name[0] == '\'')) { + return {}; // Narrow multibyte string literal. + } else if(name.size() >= 2 && name[0] == 'R' && (name[1] == '"' || name[1] == '\'')) { + return {}; // Raw string literal. + } else if(name.size() >= 2 && name[0] == 'L' && (name[1] == '"' || name[1] == '\'')) { + return {}; // Wide string literal. + } else if(name.size() >= 2 && name[0] == 'U' && (name[1] == '"' || name[1] == '\'')) { + return {}; // UTF-32 encoded string literal. + } else if(name.size() >= 2 && name[0] == 'u' && (name[1] == '"' || name[1] == '\'')) { + return {}; // UTF-16 encoded string literal. + } else if(name.size() >= 3 && name[0] == 'u' && name[1] == '8' && (name[2] == '"' || name[2] == '\'')) { + return {}; // UTF-8 encoded string literal. + } else if(name.size() >= 1 && (name[0] >= '0' && name[0] <= '9')) { + return {}; // Invalid name. } - for (std::size_t i = name.size(), h = 0, s = 0; i > 0; --i) { - if (name[i - 1] == ')') { + for(std::size_t i = name.size(), h = 0, s = 0; i > 0; --i) { + if(name[i - 1] == ')') { ++h; ++s; continue; - } else if (name[i - 1] == '(') { + } else if(name[i - 1] == '(') { --h; ++s; continue; } - if (h == 0) { + if(h == 0) { name.remove_suffix(s); break; } else { @@ -455,18 +494,18 @@ constexpr string_view pretty_name(string_view name, bool remove_suffix = true) n } std::size_t s = 0; - for (std::size_t i = name.size(), h = 0; i > 0; --i) { - if (name[i - 1] == '>') { + for(std::size_t i = name.size(), h = 0; i > 0; --i) { + if(name[i - 1] == '>') { ++h; ++s; continue; - } else if (name[i - 1] == '<') { + } else if(name[i - 1] == '<') { --h; ++s; continue; } - if (h == 0) { + if(h == 0) { break; } else { ++s; @@ -474,30 +513,26 @@ constexpr string_view pretty_name(string_view name, bool remove_suffix = true) n } } - for (std::size_t i = name.size() - s; i > 0; --i) { - if (!((name[i - 1] >= '0' && name[i - 1] <= '9') || - (name[i - 1] >= 'a' && name[i - 1] <= 'z') || - (name[i - 1] >= 'A' && name[i - 1] <= 'Z') || - (name[i - 1] == '_'))) { + for(std::size_t i = name.size() - s; i > 0; --i) { + if(!((name[i - 1] >= '0' && name[i - 1] <= '9') || (name[i - 1] >= 'a' && name[i - 1] <= 'z') || + (name[i - 1] >= 'A' && name[i - 1] <= 'Z') || (name[i - 1] == '_'))) { name.remove_prefix(i); break; } } - if (remove_suffix) { + if(remove_suffix) { name.remove_suffix(s); } - if (name.size() > 0 && ((name[0] >= 'a' && name[0] <= 'z') || - (name[0] >= 'A' && name[0] <= 'Z') || - (name[0] == '_'))) { + if(name.size() > 0 && ((name[0] >= 'a' && name[0] <= 'z') || (name[0] >= 'A' && name[0] <= 'Z') || (name[0] == '_'))) { return name; } - return {}; // Invalid name. + return {}; // Invalid name. } #if defined(__cpp_lib_array_constexpr) && __cpp_lib_array_constexpr >= 201603L -# define NAMEOF_ARRAY_CONSTEXPR 1 +#define NAMEOF_ARRAY_CONSTEXPR 1 #else template constexpr std::array, N> to_array(T (&a)[N], std::index_sequence) noexcept { @@ -509,14 +544,14 @@ template constexpr bool cmp_less(L lhs, R rhs) noexcept { static_assert(std::is_integral_v && std::is_integral_v, "nameof::detail::cmp_less requires integral type."); - if constexpr (std::is_signed_v == std::is_signed_v) { + if constexpr(std::is_signed_v == std::is_signed_v) { // If same signedness (both signed or both unsigned). return lhs < rhs; - } else if constexpr (std::is_same_v) { // bool special case - return static_cast(lhs) < rhs; - } else if constexpr (std::is_same_v) { // bool special case - return lhs < static_cast(rhs); - } else if constexpr (std::is_signed_v) { + } else if constexpr(std::is_same_v) { // bool special case + return static_cast(lhs) < rhs; + } else if constexpr(std::is_same_v) { // bool special case + return lhs < static_cast(rhs); + } else if constexpr(std::is_signed_v) { // If 'right' is negative, then result is 'false', otherwise cast & compare. return rhs > 0 && lhs < static_cast>(rhs); } else { @@ -529,11 +564,12 @@ template constexpr I log2(I value) noexcept { static_assert(std::is_integral_v, "nameof::detail::log2 requires integral type."); - if constexpr (std::is_same_v) { // bool special case + if constexpr(std::is_same_v) { // bool special case return assert(false), value; } else { auto ret = I{0}; - for (; value > I{1}; value >>= I{1}, ++ret) {} + for(; value > I{1}; value >>= I{1}, ++ret) { + } return ret; } @@ -542,9 +578,11 @@ constexpr I log2(I value) noexcept { template struct nameof_enum_supported #if defined(NAMEOF_ENUM_SUPPORTED) && NAMEOF_ENUM_SUPPORTED || defined(NAMEOF_ENUM_NO_CHECK_SUPPORT) - : std::true_type {}; + : std::true_type { +}; #else - : std::false_type {}; + : std::false_type { +}; #endif template @@ -557,7 +595,7 @@ template constexpr auto n() noexcept { static_assert(is_enum_v, "nameof::detail::n requires enum type."); - if constexpr (nameof_enum_supported::value) { + if constexpr(nameof_enum_supported::value) { #if defined(__clang__) || defined(__GNUC__) constexpr auto name = pretty_name({__PRETTY_FUNCTION__, sizeof(__PRETTY_FUNCTION__) - 2}); #elif defined(_MSC_VER) @@ -575,7 +613,7 @@ template constexpr auto enum_name() noexcept { [[maybe_unused]] constexpr auto custom_name = customize::enum_name(V); - if constexpr (custom_name.empty()) { + if constexpr(custom_name.empty()) { constexpr auto name = n(); return cstring{name}; } else { @@ -595,7 +633,7 @@ constexpr bool is_valid() noexcept { constexpr E v = static_cast(V); #endif [[maybe_unused]] constexpr auto custom_name = customize::enum_name(v); - if constexpr (custom_name.empty()) { + if constexpr(custom_name.empty()) { return n().size() != 0; } else { return custom_name.size() != 0; @@ -604,11 +642,11 @@ constexpr bool is_valid() noexcept { template > constexpr U ualue(std::size_t i) noexcept { - if constexpr (std::is_same_v) { // bool special case + if constexpr(std::is_same_v) { // bool special case static_assert(O == 0, "nameof::detail::ualue requires valid offset."); return static_cast(i); - } else if constexpr (IsFlags) { + } else if constexpr(IsFlags) { return static_cast(U{1} << static_cast(static_cast(i) + O)); } else { return static_cast(static_cast(i) + O); @@ -622,13 +660,13 @@ constexpr E value(std::size_t i) noexcept { template > constexpr int reflected_min() noexcept { - if constexpr (IsFlags) { + if constexpr(IsFlags) { return 0; } else { constexpr auto lhs = customize::enum_range::min; constexpr auto rhs = (std::numeric_limits::min)(); - if constexpr (cmp_less(rhs, lhs)) { + if constexpr(cmp_less(rhs, lhs)) { return lhs; } else { return rhs; @@ -638,13 +676,13 @@ constexpr int reflected_min() noexcept { template > constexpr int reflected_max() noexcept { - if constexpr (IsFlags) { + if constexpr(IsFlags) { return std::numeric_limits::digits - 1; } else { constexpr auto lhs = customize::enum_range::max; constexpr auto rhs = (std::numeric_limits::max)(); - if constexpr (cmp_less(lhs, rhs)) { + if constexpr(cmp_less(lhs, rhs)) { return lhs; } else { return rhs; @@ -652,29 +690,50 @@ constexpr int reflected_max() noexcept { } } -#define NAMEOF_FOR_EACH_256(T) \ - T( 0)T( 1)T( 2)T( 3)T( 4)T( 5)T( 6)T( 7)T( 8)T( 9)T( 10)T( 11)T( 12)T( 13)T( 14)T( 15)T( 16)T( 17)T( 18)T( 19)T( 20)T( 21)T( 22)T( 23)T( 24)T( 25)T( 26)T( 27)T( 28)T( 29)T( 30)T( 31) \ - T( 32)T( 33)T( 34)T( 35)T( 36)T( 37)T( 38)T( 39)T( 40)T( 41)T( 42)T( 43)T( 44)T( 45)T( 46)T( 47)T( 48)T( 49)T( 50)T( 51)T( 52)T( 53)T( 54)T( 55)T( 56)T( 57)T( 58)T( 59)T( 60)T( 61)T( 62)T( 63) \ - T( 64)T( 65)T( 66)T( 67)T( 68)T( 69)T( 70)T( 71)T( 72)T( 73)T( 74)T( 75)T( 76)T( 77)T( 78)T( 79)T( 80)T( 81)T( 82)T( 83)T( 84)T( 85)T( 86)T( 87)T( 88)T( 89)T( 90)T( 91)T( 92)T( 93)T( 94)T( 95) \ - T( 96)T( 97)T( 98)T( 99)T(100)T(101)T(102)T(103)T(104)T(105)T(106)T(107)T(108)T(109)T(110)T(111)T(112)T(113)T(114)T(115)T(116)T(117)T(118)T(119)T(120)T(121)T(122)T(123)T(124)T(125)T(126)T(127) \ - T(128)T(129)T(130)T(131)T(132)T(133)T(134)T(135)T(136)T(137)T(138)T(139)T(140)T(141)T(142)T(143)T(144)T(145)T(146)T(147)T(148)T(149)T(150)T(151)T(152)T(153)T(154)T(155)T(156)T(157)T(158)T(159) \ - T(160)T(161)T(162)T(163)T(164)T(165)T(166)T(167)T(168)T(169)T(170)T(171)T(172)T(173)T(174)T(175)T(176)T(177)T(178)T(179)T(180)T(181)T(182)T(183)T(184)T(185)T(186)T(187)T(188)T(189)T(190)T(191) \ - T(192)T(193)T(194)T(195)T(196)T(197)T(198)T(199)T(200)T(201)T(202)T(203)T(204)T(205)T(206)T(207)T(208)T(209)T(210)T(211)T(212)T(213)T(214)T(215)T(216)T(217)T(218)T(219)T(220)T(221)T(222)T(223) \ - T(224)T(225)T(226)T(227)T(228)T(229)T(230)T(231)T(232)T(233)T(234)T(235)T(236)T(237)T(238)T(239)T(240)T(241)T(242)T(243)T(244)T(245)T(246)T(247)T(248)T(249)T(250)T(251)T(252)T(253)T(254)T(255) +#define NAMEOF_FOR_EACH_256(T) \ + T(0) \ + T(1) \ + T(2) \ + T(3) \ + T(4) \ + T(5) \ + T(6) \ + T(7) \ + T(8) \ + T(9) \ + T(10) \ + T(11) \ + T(12) \ + T(13) T(14) T(15) T(16) T(17) T(18) T(19) T(20) T(21) T(22) T(23) T(24) T(25) T(26) T(27) T(28) T(29) T(30) T(31) T(32) T(33) T(34) \ + T(35) T(36) T(37) T(38) T(39) T(40) T(41) T(42) T(43) T(44) T(45) T(46) T(47) T(48) T(49) T(50) T(51) T(52) T(53) T(54) T(55) T(56) \ + T(57) T(58) T(59) T(60) T(61) T(62) T(63) T(64) T(65) T(66) T(67) T(68) T(69) T(70) T(71) T(72) T(73) T(74) T(75) T(76) T(77) \ + T(78) T(79) T(80) T(81) T(82) T(83) T(84) T(85) T(86) T(87) T(88) T(89) T(90) T(91) T(92) T(93) T(94) T(95) T(96) T(97) \ + T(98) T(99) T(100) T(101) T(102) T(103) T(104) T(105) T(106) T(107) T(108) T(109) T(110) T(111) T(112) T(113) T(114) \ + T(115) T(116) T(117) T(118) T(119) T(120) T(121) T(122) T(123) T(124) T(125) T(126) T(127) T(128) T(129) T(130) \ + T(131) T(132) T(133) T(134) T(135) T(136) T(137) T(138) T(139) T(140) T(141) T(142) T(143) T(144) T(145) T(146) \ + T(147) T(148) T(149) T(150) T(151) T(152) T(153) T(154) T(155) T(156) T(157) T(158) T(159) T(160) T(161) \ + T(162) T(163) T(164) T(165) T(166) T(167) T(168) T(169) T(170) T(171) T(172) T(173) T(174) T(175) T(176) \ + T(177) T(178) T(179) T(180) T(181) T(182) T(183) T(184) T(185) T(186) T(187) T(188) T(189) T(190) \ + T(191) T(192) T(193) T(194) T(195) T(196) T(197) T(198) T(199) T(200) T(201) T(202) T(203) \ + T(204) T(205) T(206) T(207) T(208) T(209) T(210) T(211) T(212) T(213) T(214) T(215) T(216) \ + T(217) T(218) T(219) T(220) T(221) T(222) T(223) T(224) T(225) T(226) T(227) T(228) \ + T(229) T(230) T(231) T(232) T(233) T(234) T(235) T(236) T(237) T(238) T(239) T(240) \ + T(241) T(242) T(243) T(244) T(245) T(246) T(247) T(248) T(249) T(250) T(251) \ + T(252) T(253) T(254) T(255) template constexpr void valid_count(bool* valid, std::size_t& count) noexcept { -#define NAMEOF_ENUM_V(O) \ - if constexpr ((I + O) < Size) { \ - if constexpr (is_valid(I + O)>()) { \ - valid[I + O] = true; \ - ++count; \ - } \ +#define NAMEOF_ENUM_V(O) \ + if constexpr((I + O) < Size) { \ + if constexpr(is_valid(I + O)>()) { \ + valid[I + O] = true; \ + ++count; \ + } \ } NAMEOF_FOR_EACH_256(NAMEOF_ENUM_V) - if constexpr ((I + 256) < Size) { + if constexpr((I + 256) < Size) { valid_count(valid, count); } #undef NAMEOF_ENUM_V @@ -697,14 +756,14 @@ template constexpr auto values() noexcept { constexpr auto vc = valid_count(); - if constexpr (vc.count > 0) { + if constexpr(vc.count > 0) { #if defined(NAMEOF_ARRAY_CONSTEXPR) std::array values = {}; #else E values[vc.count] = {}; #endif - for (std::size_t i = 0, v = 0; v < vc.count; ++i) { - if (vc.valid[i]) { + for(std::size_t i = 0, v = 0; v < vc.count; ++i) { + if(vc.valid[i]) { values[v++] = value(i); } } @@ -752,9 +811,9 @@ inline constexpr auto names_v = names(std::make_index_sequence> constexpr bool is_sparse() noexcept { - if constexpr (count_v == 0) { + if constexpr(count_v == 0) { return false; - } else if constexpr (std::is_same_v) { // bool special case + } else if constexpr(std::is_same_v) { // bool special case return false; } else { constexpr auto max = IsFlags ? log2(max_v) : max_v; @@ -770,7 +829,7 @@ inline constexpr bool is_sparse_v = is_sparse(); template > constexpr E enum_value(std::size_t i) noexcept { - if constexpr (is_sparse_v) { + if constexpr(is_sparse_v) { return values_v[i]; } else { constexpr auto min = IsFlags ? log2(min_v) : min_v; @@ -782,33 +841,41 @@ constexpr E enum_value(std::size_t i) noexcept { template struct nameof_type_supported #if defined(NAMEOF_TYPE_SUPPORTED) && NAMEOF_TYPE_SUPPORTED || defined(NAMEOF_TYPE_NO_CHECK_SUPPORT) - : std::true_type {}; + : std::true_type { +}; #else - : std::false_type {}; + : std::false_type { +}; #endif template struct nameof_type_rtti_supported #if defined(NAMEOF_TYPE_RTTI_SUPPORTED) && NAMEOF_TYPE_RTTI_SUPPORTED || defined(NAMEOF_TYPE_NO_CHECK_SUPPORT) - : std::true_type {}; + : std::true_type { +}; #else - : std::false_type {}; + : std::false_type { +}; #endif template struct nameof_member_supported #if defined(NAMEOF_MEMBER_SUPPORTED) && NAMEOF_MEMBER_SUPPORTED || defined(NAMEOF_TYPE_NO_CHECK_SUPPORT) - : std::true_type {}; + : std::true_type { +}; #else - : std::false_type {}; + : std::false_type { +}; #endif template struct nameof_pointer_supported #if defined(NAMEOF_POINTER_SUPPORTED) && NAMEOF_POINTER_SUPPORTED || defined(NAMEOF_TYPE_NO_CHECK_SUPPORT) - : std::true_type {}; + : std::true_type { +}; #else - : std::false_type {}; + : std::false_type { +}; #endif #if defined(_MSC_VER) && !defined(__clang__) @@ -835,7 +902,7 @@ constexpr auto n() noexcept { [[maybe_unused]] constexpr auto custom_name = customize::type_name(); #endif - if constexpr (custom_name.empty() && nameof_type_supported::value) { + if constexpr(custom_name.empty() && nameof_type_supported::value) { #if defined(__clang__) constexpr string_view name{__PRETTY_FUNCTION__ + 31, sizeof(__PRETTY_FUNCTION__) - 34}; #elif defined(__GNUC__) @@ -857,7 +924,8 @@ inline constexpr auto type_name_v = n(); #if __has_include() template string nameof_type_rtti(const char* tn) { - static_assert(nameof_type_rtti_supported::value, "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(nameof_type_rtti_supported::value, + "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); const auto dmg = abi::__cxa_demangle(tn, nullptr, nullptr, nullptr); const auto name = string{dmg}; free(dmg); @@ -868,21 +936,22 @@ string nameof_type_rtti(const char* tn) { template string nameof_full_type_rtti(const char* tn) { - static_assert(nameof_type_rtti_supported::value, "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(nameof_type_rtti_supported::value, + "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); const auto dmg = abi::__cxa_demangle(tn, nullptr, nullptr, nullptr); auto name = string{dmg}; free(dmg); assert(!name.empty() && "Type does not have a name."); - if constexpr (std::is_const_v>) { + if constexpr(std::is_const_v>) { name = string{"const "}.append(name); } - if constexpr (std::is_volatile_v>) { + if constexpr(std::is_volatile_v>) { name = string{"volatile "}.append(name); } - if constexpr (std::is_lvalue_reference_v) { + if constexpr(std::is_lvalue_reference_v) { name.append(1, '&'); } - if constexpr (std::is_rvalue_reference_v) { + if constexpr(std::is_rvalue_reference_v) { name.append("&&"); } @@ -891,7 +960,8 @@ string nameof_full_type_rtti(const char* tn) { template = 0> string nameof_short_type_rtti(const char* tn) { - static_assert(nameof_type_rtti_supported::value, "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(nameof_type_rtti_supported::value, + "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); const auto dmg = abi::__cxa_demangle(tn, nullptr, nullptr, nullptr); const auto pname = pretty_name(dmg); const auto name = string{pname.data(), pname.size()}; @@ -903,7 +973,8 @@ string nameof_short_type_rtti(const char* tn) { #else template string nameof_type_rtti(const char* tn) { - static_assert(nameof_type_rtti_supported::value, "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(nameof_type_rtti_supported::value, + "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); const auto name = string_view{tn}; assert(!name.empty() && "Type does not have a name."); return {name.data(), name.size()}; @@ -911,19 +982,20 @@ string nameof_type_rtti(const char* tn) { template string nameof_full_type_rtti(const char* tn) { - static_assert(nameof_type_rtti_supported::value, "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(nameof_type_rtti_supported::value, + "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); auto name = string{tn}; assert(!name.empty() && "Type does not have a name."); - if constexpr (std::is_const_v>) { + if constexpr(std::is_const_v>) { name = string{"const "}.append(name); } - if constexpr (std::is_volatile_v>) { + if constexpr(std::is_volatile_v>) { name = string{"volatile "}.append(name); } - if constexpr (std::is_lvalue_reference_v) { + if constexpr(std::is_lvalue_reference_v) { name.append(1, '&'); } - if constexpr (std::is_rvalue_reference_v) { + if constexpr(std::is_rvalue_reference_v) { name.append("&&"); } return name; @@ -931,7 +1003,8 @@ string nameof_full_type_rtti(const char* tn) { template = 0> string nameof_short_type_rtti(const char* tn) { - static_assert(nameof_type_rtti_supported::value, "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(nameof_type_rtti_supported::value, + "nameof::nameof_type_rtti unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); const auto name = pretty_name(tn); assert(!name.empty() && "Type does not have a short name."); return {name.data(), name.size()}; @@ -942,12 +1015,11 @@ template constexpr auto n() noexcept { [[maybe_unused]] constexpr auto custom_name = customize::member_name(); - if constexpr (custom_name.empty() && nameof_member_supported::value) { + if constexpr(custom_name.empty() && nameof_member_supported::value) { #if defined(__clang__) || defined(__GNUC__) constexpr auto name = pretty_name({__PRETTY_FUNCTION__, sizeof(__PRETTY_FUNCTION__) - 2}); #elif defined(_MSC_VER) && defined(_MSVC_LANG) && _MSVC_LANG >= 202002L - constexpr auto name = pretty_name({__FUNCSIG__, - sizeof(__FUNCSIG__) - 18 + std::is_member_function_pointer_v}); + constexpr auto name = pretty_name({__FUNCSIG__, sizeof(__FUNCSIG__) - 18 + std::is_member_function_pointer_v}); #else constexpr auto name = string_view{}; #endif @@ -967,22 +1039,24 @@ From get_base_type(Type From::*); template extern T nonexist_object; -template +template struct Store { - T v; + T v; }; -template +template Store(T) -> Store; template consteval auto get_member_name() noexcept { - if constexpr (std::is_member_function_pointer_v) { + if constexpr(std::is_member_function_pointer_v) { return n(); } else { constexpr bool is_defined = sizeof(decltype(get_base_type(V))) != 0; - static_assert(is_defined, "nameof::nameof_member member name can use only if the struct is already fully defined. Please use NAMEOF macro, or separate definition and declaration."); - if constexpr (is_defined) { + static_assert(is_defined, + "nameof::nameof_member member name can use only if the struct is already fully defined. Please use NAMEOF macro, or " + "separate definition and declaration."); + if constexpr(is_defined) { return n.*V)}>(); } else { return ""; @@ -1008,9 +1082,10 @@ constexpr bool is_nullptr_v = is_same constexpr auto p() noexcept { - [[maybe_unused]] constexpr auto custom_name = customize::pointer_name().empty() && is_nullptr_v ? "nullptr" : customize::pointer_name(); + [[maybe_unused]] constexpr auto custom_name = + customize::pointer_name().empty() && is_nullptr_v ? "nullptr" : customize::pointer_name(); - if constexpr (custom_name.empty() && nameof_pointer_supported::value) { + if constexpr(custom_name.empty() && nameof_pointer_supported::value) { #if defined(__clang__) constexpr auto name = pretty_name({__PRETTY_FUNCTION__, sizeof(__PRETTY_FUNCTION__) - 2}); #elif defined(__GNUC__) @@ -1030,7 +1105,9 @@ constexpr auto p() noexcept { template inline constexpr auto pointer_name_v = p(); -} // namespace nameof::detail +} // namespace detail + +NAMEOF_EXPORT_BEGIN // Checks is nameof_type supported compiler. inline constexpr bool is_nameof_type_supported = detail::nameof_type_supported::value; @@ -1052,32 +1129,34 @@ template [[nodiscard]] constexpr auto nameof_enum(E value) noexcept -> detail::enable_if_enum_t { using D = std::decay_t; using U = std::underlying_type_t; - static_assert(detail::nameof_enum_supported::value, "nameof::nameof_enum unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(detail::nameof_enum_supported::value, + "nameof::nameof_enum unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); static_assert(detail::count_v > 0, "nameof::nameof_enum requires enum implementation and valid max and min."); - if constexpr (detail::is_sparse_v) { - for (std::size_t i = 0; i < detail::count_v; ++i) { - if (detail::enum_value(i) == value) { + if constexpr(detail::is_sparse_v) { + for(std::size_t i = 0; i < detail::count_v; ++i) { + if(detail::enum_value(i) == value) { return detail::names_v[i]; } } } else { const auto v = static_cast(value); - if (v >= detail::min_v && v <= detail::max_v) { + if(v >= detail::min_v && v <= detail::max_v) { return detail::names_v[static_cast(v - detail::min_v)]; } } - return {}; // Value out of range. + return {}; // Value out of range. } // Obtains name of enum variable or default value if enum variable out of range. template [[nodiscard]] auto nameof_enum_or(E value, string_view default_value) -> detail::enable_if_enum_t { using D = std::decay_t; - static_assert(detail::nameof_enum_supported::value, "nameof::nameof_enum_or unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(detail::nameof_enum_supported::value, + "nameof::nameof_enum_or unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); static_assert(detail::count_v > 0, "nameof::nameof_enum_or requires enum implementation and valid max and min."); - if (auto v = nameof_enum(value); !v.empty()) { + if(auto v = nameof_enum(value); !v.empty()) { return string{v.data(), v.size()}; } return string{default_value.data(), default_value.size()}; @@ -1088,29 +1167,30 @@ template [[nodiscard]] auto nameof_enum_flag(E value, char sep = '|') -> detail::enable_if_enum_t { using D = std::decay_t; using U = std::underlying_type_t; - static_assert(detail::nameof_enum_supported::value, "nameof::nameof_enum_flag unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(detail::nameof_enum_supported::value, + "nameof::nameof_enum_flag unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); static_assert(detail::count_v > 0, "nameof::nameof_enum_flag requires enum-flags implementation."); string name; auto check_value = U{0}; - for (std::size_t i = 0; i < detail::count_v; ++i) { - if (const auto v = static_cast(detail::enum_value(i)); (static_cast(value) & v) != 0) { - if (const auto n = detail::names_v[i]; !n.empty()) { + for(std::size_t i = 0; i < detail::count_v; ++i) { + if(const auto v = static_cast(detail::enum_value(i)); (static_cast(value) & v) != 0) { + if(const auto n = detail::names_v[i]; !n.empty()) { check_value |= v; - if (!name.empty()) { + if(!name.empty()) { name.append(1, sep); } name.append(n.data(), n.size()); } else { - return {}; // Value out of range. + return {}; // Value out of range. } } } - if (check_value != 0 && check_value == static_cast(value)) { + if(check_value != 0 && check_value == static_cast(value)) { return name; } - return {}; // Invalid value or out of range. + return {}; // Invalid value or out of range. } // Obtains name of static storage enum variable. @@ -1119,7 +1199,8 @@ template = 0> [[nodiscard]] constexpr auto nameof_enum() noexcept { using D = std::decay_t; static_assert(std::is_enum_v, "nameof::nameof_enum requires member enum type."); - static_assert(detail::nameof_enum_supported::value, "nameof::nameof_enum unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(detail::nameof_enum_supported::value, + "nameof::nameof_enum unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); return detail::enum_name_v; } @@ -1127,7 +1208,8 @@ template = 0> template [[nodiscard]] constexpr string_view nameof_type() noexcept { using U = detail::identity>; - static_assert(detail::nameof_type_supported::value, "nameof::nameof_type unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(detail::nameof_type_supported::value, + "nameof::nameof_type unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); return detail::type_name_v; } @@ -1135,7 +1217,8 @@ template template [[nodiscard]] constexpr string_view nameof_full_type() noexcept { using U = detail::identity; - static_assert(detail::nameof_type_supported::value, "nameof::nameof_type unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(detail::nameof_type_supported::value, + "nameof::nameof_type unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); return detail::type_name_v; } @@ -1143,7 +1226,8 @@ template template = 0> [[nodiscard]] constexpr auto nameof_short_type() noexcept { using U = detail::identity>; - static_assert(detail::nameof_type_supported::value, "nameof::nameof_type unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(detail::nameof_type_supported::value, + "nameof::nameof_type unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); static_assert(!std::is_array_v && !std::is_pointer_v, "nameof::nameof_member requires non array and non pointer type."); constexpr string_view name = detail::pretty_name(detail::type_name_v); static_assert(!name.empty(), "Type does not have a short name."); @@ -1155,7 +1239,8 @@ template , int> = [[nodiscard]] constexpr auto nameof_member() noexcept { using U = decltype(V); static_assert(std::is_member_pointer_v, "nameof::nameof_member requires member pointer type."); - static_assert(detail::nameof_member_supported::value, "nameof::nameof_member unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(detail::nameof_member_supported::value, + "nameof::nameof_member unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); return detail::member_name_v; } @@ -1164,91 +1249,21 @@ template , int> = 0> [[nodiscard]] constexpr auto nameof_pointer() noexcept { using U = decltype(V); static_assert(std::is_pointer_v, "nameof::nameof_pointer requires pointer type."); - static_assert(detail::nameof_pointer_supported::value, "nameof::nameof_pointer unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); + static_assert(detail::nameof_pointer_supported::value, + "nameof::nameof_pointer unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); return detail::pointer_name_v; } -} // namespace nameof +NAMEOF_EXPORT_END -// Obtains name of variable, function, macro. -#define NAMEOF(...) []() constexpr noexcept { \ - ::std::void_t(); \ - constexpr auto _name = ::nameof::detail::pretty_name(#__VA_ARGS__); \ - static_assert(!_name.empty(), "Expression does not have a name."); \ - constexpr auto _size = _name.size(); \ - constexpr auto _nameof = ::nameof::cstring<_size>{_name}; \ - return _nameof; }() - -// Obtains full name of variable, function, macro. -#define NAMEOF_FULL(...) []() constexpr noexcept { \ - ::std::void_t(); \ - constexpr auto _name = ::nameof::detail::pretty_name(#__VA_ARGS__, false); \ - static_assert(!_name.empty(), "Expression does not have a name."); \ - constexpr auto _size = _name.size(); \ - constexpr auto _nameof_full = ::nameof::cstring<_size>{_name}; \ - return _nameof_full; }() - -// Obtains raw name of variable, function, macro. -#define NAMEOF_RAW(...) []() constexpr noexcept { \ - ::std::void_t(); \ - constexpr auto _name = ::nameof::string_view{#__VA_ARGS__}; \ - static_assert(!_name.empty(), "Expression does not have a name."); \ - constexpr auto _size = _name.size(); \ - constexpr auto _nameof_raw = ::nameof::cstring<_size>{_name}; \ - return _nameof_raw; }() - -// Obtains name of enum variable. -#define NAMEOF_ENUM(...) ::nameof::nameof_enum<::std::decay_t>(__VA_ARGS__) - -// Obtains name of enum variable or default value if enum variable out of range. -#define NAMEOF_ENUM_OR(...) ::nameof::nameof_enum_or(__VA_ARGS__) - -// Obtains name of static storage enum variable. -// This version is much lighter on the compile times and is not restricted to the enum_range limitation. -#define NAMEOF_ENUM_CONST(...) ::nameof::nameof_enum<__VA_ARGS__>() - -// Obtains name of enum-flags variable. -#define NAMEOF_ENUM_FLAG(...) ::nameof::nameof_enum_flag<::std::decay_t>(__VA_ARGS__) - -// Obtains type name, reference and cv-qualifiers are ignored. -#define NAMEOF_TYPE(...) ::nameof::nameof_type<__VA_ARGS__>() - -// Obtains full type name, with reference and cv-qualifiers. -#define NAMEOF_FULL_TYPE(...) ::nameof::nameof_full_type<__VA_ARGS__>() - -// Obtains short type name. -#define NAMEOF_SHORT_TYPE(...) ::nameof::nameof_short_type<__VA_ARGS__>() - -// Obtains type name of expression, reference and cv-qualifiers are ignored. -#define NAMEOF_TYPE_EXPR(...) ::nameof::nameof_type() - -// Obtains full type name of expression, with reference and cv-qualifiers. -#define NAMEOF_FULL_TYPE_EXPR(...) ::nameof::nameof_full_type() - -// Obtains short type name of expression. -#define NAMEOF_SHORT_TYPE_EXPR(...) ::nameof::nameof_short_type() - -// Obtains type name, with reference and cv-qualifiers, using RTTI. -#define NAMEOF_TYPE_RTTI(...) ::nameof::detail::nameof_type_rtti<::std::void_t>(typeid(__VA_ARGS__).name()) - -// Obtains full type name, using RTTI. -#define NAMEOF_FULL_TYPE_RTTI(...) ::nameof::detail::nameof_full_type_rtti(typeid(__VA_ARGS__).name()) - -// Obtains short type name, using RTTI. -#define NAMEOF_SHORT_TYPE_RTTI(...) ::nameof::detail::nameof_short_type_rtti(typeid(__VA_ARGS__).name()) - -// Obtains name of member. -#define NAMEOF_MEMBER(...) ::nameof::nameof_member<__VA_ARGS__>() - -// Obtains name of a function, a global or class static variable. -#define NAMEOF_POINTER(...) ::nameof::nameof_pointer<__VA_ARGS__>() +} // namespace nameof #if defined(__clang__) -# pragma clang diagnostic pop +#pragma clang diagnostic pop #elif defined(__GNUC__) -# pragma GCC diagnostic pop +#pragma GCC diagnostic pop #elif defined(_MSC_VER) -# pragma warning(pop) +#pragma warning(pop) #endif -#endif // NEARGYE_NAMEOF_HPP +#endif // NEARGYE_NAMEOF_HPP diff --git a/include/nameof_macro.hpp b/include/nameof_macro.hpp new file mode 100644 index 0000000..4e0bed9 --- /dev/null +++ b/include/nameof_macro.hpp @@ -0,0 +1,149 @@ +#ifndef NEARGYE_NAMEOF_MACRO_HPP +#define NEARGYE_NAMEOF_MACRO_HPP + +// Checks nameof_type compiler compatibility. +#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 7 || defined(_MSC_VER) && _MSC_VER >= 1910 +#undef NAMEOF_TYPE_SUPPORTED +#define NAMEOF_TYPE_SUPPORTED 1 +#endif + +// Checks nameof_type_rtti compiler compatibility. +#if defined(__clang__) +#if __has_feature(cxx_rtti) +#undef NAMEOF_TYPE_RTTI_SUPPORTED +#define NAMEOF_TYPE_RTTI_SUPPORTED 1 +#endif +#elif defined(__GNUC__) +#if defined(__GXX_RTTI) +#undef NAMEOF_TYPE_RTTI_SUPPORTED +#define NAMEOF_TYPE_RTTI_SUPPORTED 1 +#endif +#elif defined(_MSC_VER) +#if defined(_CPPRTTI) +#undef NAMEOF_TYPE_RTTI_SUPPORTED +#define NAMEOF_TYPE_RTTI_SUPPORTED 1 +#endif +#endif + +// Checks nameof_member compiler compatibility. +#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 7 || \ + defined(_MSC_VER) && defined(_MSVC_LANG) && _MSVC_LANG >= 202002L +#undef NAMEOF_MEMBER_SUPPORTED +#define NAMEOF_MEMBER_SUPPORTED 1 +#endif + +// Checks nameof_pointer compiler compatibility. +#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 7 || \ + defined(_MSC_VER) && defined(_MSVC_LANG) && _MSVC_LANG >= 202002L +#undef NAMEOF_POINTER_SUPPORTED +#define NAMEOF_POINTER_SUPPORTED 1 +#endif + +// Checks nameof_enum compiler compatibility. +#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 9 || defined(_MSC_VER) && _MSC_VER >= 1910 +#undef NAMEOF_ENUM_SUPPORTED +#define NAMEOF_ENUM_SUPPORTED 1 +#endif + +// Checks nameof_enum compiler aliases compatibility. +#if defined(__clang__) && __clang_major__ >= 5 || defined(__GNUC__) && __GNUC__ >= 9 || defined(_MSC_VER) && _MSC_VER >= 1920 +#undef NAMEOF_ENUM_SUPPORTED_ALIASES +#define NAMEOF_ENUM_SUPPORTED_ALIASES 1 +#endif + +// Enum value must be greater or equals than NAMEOF_ENUM_RANGE_MIN. By default NAMEOF_ENUM_RANGE_MIN = -128. +// If need another min range for all enum types by default, redefine the macro NAMEOF_ENUM_RANGE_MIN. +#if !defined(NAMEOF_ENUM_RANGE_MIN) +#define NAMEOF_ENUM_RANGE_MIN -128 +#endif + +// Enum value must be less or equals than NAMEOF_ENUM_RANGE_MAX. By default NAMEOF_ENUM_RANGE_MAX = 128. +// If need another max range for all enum types by default, redefine the macro NAMEOF_ENUM_RANGE_MAX. +#if !defined(NAMEOF_ENUM_RANGE_MAX) +#define NAMEOF_ENUM_RANGE_MAX 128 +#endif + +#define NAMEOF_VERSION_MAJOR 0 +#define NAMEOF_VERSION_MINOR 10 +#define NAMEOF_VERSION_PATCH 4 + +// Obtains name of variable, function, macro. +#define NAMEOF(...) \ + []() constexpr noexcept { \ + ::std::void_t(); \ + constexpr auto _name = ::nameof::detail::pretty_name(#__VA_ARGS__); \ + static_assert(!_name.empty(), "Expression does not have a name."); \ + constexpr auto _size = _name.size(); \ + constexpr auto _nameof = ::nameof::cstring<_size>{_name}; \ + return _nameof; \ + }() + +// Obtains full name of variable, function, macro. +#define NAMEOF_FULL(...) \ + []() constexpr noexcept { \ + ::std::void_t(); \ + constexpr auto _name = ::nameof::detail::pretty_name(#__VA_ARGS__, false); \ + static_assert(!_name.empty(), "Expression does not have a name."); \ + constexpr auto _size = _name.size(); \ + constexpr auto _nameof_full = ::nameof::cstring<_size>{_name}; \ + return _nameof_full; \ + }() + +// Obtains raw name of variable, function, macro. +#define NAMEOF_RAW(...) \ + []() constexpr noexcept { \ + ::std::void_t(); \ + constexpr auto _name = ::nameof::string_view{#__VA_ARGS__}; \ + static_assert(!_name.empty(), "Expression does not have a name."); \ + constexpr auto _size = _name.size(); \ + constexpr auto _nameof_raw = ::nameof::cstring<_size>{_name}; \ + return _nameof_raw; \ + }() + +// Obtains name of enum variable. +#define NAMEOF_ENUM(...) ::nameof::nameof_enum<::std::decay_t>(__VA_ARGS__) + +// Obtains name of enum variable or default value if enum variable out of range. +#define NAMEOF_ENUM_OR(...) ::nameof::nameof_enum_or(__VA_ARGS__) + +// Obtains name of static storage enum variable. +// This version is much lighter on the compile times and is not restricted to the enum_range limitation. +#define NAMEOF_ENUM_CONST(...) ::nameof::nameof_enum<__VA_ARGS__>() + +// Obtains name of enum-flags variable. +#define NAMEOF_ENUM_FLAG(...) ::nameof::nameof_enum_flag<::std::decay_t>(__VA_ARGS__) + +// Obtains type name, reference and cv-qualifiers are ignored. +#define NAMEOF_TYPE(...) ::nameof::nameof_type<__VA_ARGS__>() + +// Obtains full type name, with reference and cv-qualifiers. +#define NAMEOF_FULL_TYPE(...) ::nameof::nameof_full_type<__VA_ARGS__>() + +// Obtains short type name. +#define NAMEOF_SHORT_TYPE(...) ::nameof::nameof_short_type<__VA_ARGS__>() + +// Obtains type name of expression, reference and cv-qualifiers are ignored. +#define NAMEOF_TYPE_EXPR(...) ::nameof::nameof_type() + +// Obtains full type name of expression, with reference and cv-qualifiers. +#define NAMEOF_FULL_TYPE_EXPR(...) ::nameof::nameof_full_type() + +// Obtains short type name of expression. +#define NAMEOF_SHORT_TYPE_EXPR(...) ::nameof::nameof_short_type() + +// Obtains type name, with reference and cv-qualifiers, using RTTI. +#define NAMEOF_TYPE_RTTI(...) ::nameof::detail::nameof_type_rtti<::std::void_t>(typeid(__VA_ARGS__).name()) + +// Obtains full type name, using RTTI. +#define NAMEOF_FULL_TYPE_RTTI(...) ::nameof::detail::nameof_full_type_rtti(typeid(__VA_ARGS__).name()) + +// Obtains short type name, using RTTI. +#define NAMEOF_SHORT_TYPE_RTTI(...) ::nameof::detail::nameof_short_type_rtti(typeid(__VA_ARGS__).name()) + +// Obtains name of member. +#define NAMEOF_MEMBER(...) ::nameof::nameof_member<__VA_ARGS__>() + +// Obtains name of a function, a global or class static variable. +#define NAMEOF_POINTER(...) ::nameof::nameof_pointer<__VA_ARGS__>() + +#endif diff --git a/src/nameof.cpp b/src/nameof.cpp new file mode 100644 index 0000000..c35160f --- /dev/null +++ b/src/nameof.cpp @@ -0,0 +1,46 @@ +module; + +#ifndef NAMEOF_IMPORT_STD + +#include +#include +#include +#include +#include +#include +#include +#include +#include + +#if !defined(NAMEOF_USING_ALIAS_STRING) +#include +#endif +#if !defined(NAMEOF_USING_ALIAS_STRING_VIEW) +#include +#endif + +#if __has_include() +#include + +#include +#endif + +#endif + +export module nameof; + +#ifdef NAMEOF_IMPORT_STD + +import std; + +#endif + +#ifdef NAMEOF_ATTACH_TO_GLOBAL_MODULE +extern "C++" { +#endif + +#include + +#ifdef NAMEOF_ATTACH_TO_GLOBAL_MODULE +} // extern "C++" +#endif