// _ _ __ _____ // | \ | | / _| / ____|_ _ // | \| | __ _ _ __ ___ ___ ___ | |_ | | _| |_ _| |_ // | . ` |/ _` | '_ ` _ \ / _ \/ _ \| _| | | |_ _|_ _| // | |\ | (_| | | | | | | __/ (_) | | | |____|_| |_| // |_| \_|\__,_|_| |_| |_|\___|\___/|_| \_____| // https://github.com/Neargye/nameof // version 0.9.3 // // Licensed under the MIT License . // SPDX-License-Identifier: MIT // Copyright (c) 2016, 2018 - 2020 Daniil Goncharov . // // Permission is hereby granted, free of charge, to any person obtaining a copy // of this software and associated documentation files (the "Software"), to deal // in the Software without restriction, including without limitation the rights // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell // copies of the Software, and to permit persons to whom the Software is // furnished to do so, subject to the following conditions: // // The above copyright notice and this permission notice shall be included in all // copies or substantial portions of the Software. // // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE // SOFTWARE. #ifndef NEARGYE_NAMEOF_HPP #define NEARGYE_NAMEOF_HPP #include #include #include #include #include #include #include #include #include #include #if __has_include() #include #include #include #endif #if defined(_MSC_VER) # pragma warning(push) # pragma warning(disable : 26495) // Variable 'nameof::cstring::chars_' is uninitialized. #endif // Checks nameof_type compiler compatibility. #if defined(__clang__) || defined(__GNUC__) || defined(_MSC_VER) # undef NAMEOF_TYPE_SUPPORTED # define NAMEOF_TYPE_SUPPORTED 1 #endif #if defined(__cpp_rtti) || defined(_CPPRTTI) || defined(__GXX_RTTI) # undef NAMEOF_TYPE_RTTI_SUPPORTED # define NAMEOF_TYPE_RTTI_SUPPORTED 1 #endif // Checks nameof_enum compiler compatibility. #if defined(__clang__) || defined(__GNUC__) && __GNUC__ >= 9 || defined(_MSC_VER) # undef NAMEOF_ENUM_SUPPORTED # define NAMEOF_ENUM_SUPPORTED 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 namespace nameof { // 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 need another range for all enum types by default, redefine the macro NAMEOF_ENUM_RANGE_MIN and NAMEOF_ENUM_RANGE_MAX. // If 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::enum_range requires enum type."); inline static constexpr int min = NAMEOF_ENUM_RANGE_MIN; inline static constexpr int max = NAMEOF_ENUM_RANGE_MAX; static_assert(max > min, "nameof::enum_range requires max > min."); }; static_assert(NAMEOF_ENUM_RANGE_MIN <= 0, "NAMEOF_ENUM_RANGE_MIN must be less or equals than 0."); static_assert(NAMEOF_ENUM_RANGE_MIN > (std::numeric_limits::min)(), "NAMEOF_ENUM_RANGE_MIN must be greater than INT16_MIN."); static_assert(NAMEOF_ENUM_RANGE_MAX > 0, "NAMEOF_ENUM_RANGE_MAX must be greater than 0."); static_assert(NAMEOF_ENUM_RANGE_MAX < (std::numeric_limits::max)(), "NAMEOF_ENUM_RANGE_MAX must be less than INT16_MAX."); static_assert(NAMEOF_ENUM_RANGE_MAX > NAMEOF_ENUM_RANGE_MIN, "NAMEOF_ENUM_RANGE_MAX must be greater than NAMEOF_ENUM_RANGE_MIN."); template class [[nodiscard]] cstring { static_assert(N > 0, "nameof::cstring requires size greater than 0."); std::array chars_; template constexpr cstring(std::string_view str, std::index_sequence) noexcept : chars_{{str[I]..., '\0'}} {} public: using value_type = const char; using size_type = std::size_t; using difference_type = std::ptrdiff_t; using pointer = const char*; using const_pointer = const char*; using reference = const char&; using const_reference = const char&; using iterator = const char*; using const_iterator = const char*; using reverse_iterator = std::reverse_iterator; using const_reverse_iterator = std::reverse_iterator; constexpr explicit cstring(std::string_view str) noexcept : cstring{str, std::make_index_sequence{}} { assert(str.size() == N); } constexpr cstring() = delete; constexpr cstring(const cstring&) = default; constexpr cstring(cstring&&) = default; ~cstring() = default; constexpr cstring& operator=(const cstring&) = default; constexpr cstring& operator=(cstring&&) = default; [[nodiscard]] constexpr const_pointer data() const noexcept { return chars_.data(); } [[nodiscard]] constexpr size_type size() const noexcept { return N; } [[nodiscard]] constexpr const_iterator begin() const noexcept { return data(); } [[nodiscard]] constexpr const_iterator end() const noexcept { return data() + size(); } [[nodiscard]] constexpr const_iterator cbegin() const noexcept { return begin(); } [[nodiscard]] constexpr const_iterator cend() 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 crbegin() const noexcept { return rbegin(); } [[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 at(size_type i) const { return assert(i < size()), chars_.at(i); } [[nodiscard]] constexpr const_reference front() const noexcept { return chars_[0]; } [[nodiscard]] constexpr const_reference back() const noexcept { return chars_[N]; } [[nodiscard]] constexpr size_type length() const noexcept { return size(); } [[nodiscard]] constexpr bool empty() const noexcept { return false; } [[nodiscard]] constexpr int compare(std::string_view str) const noexcept { return std::string_view{data(), size()}.compare(str); } [[nodiscard]] constexpr const char* c_str() const noexcept { return data(); } template , typename Allocator = std::allocator> [[nodiscard]] std::basic_string str() const { return {begin(), end()}; } [[nodiscard]] constexpr operator std::string_view() const noexcept { return {data(), size()}; } [[nodiscard]] constexpr explicit operator const char*() const noexcept { return data(); } template , typename Allocator = std::allocator> [[nodiscard]] explicit operator std::basic_string() const { return {begin(), end()}; } }; template [[nodiscard]] constexpr bool operator==(const cstring& lhs, std::string_view rhs) noexcept { return lhs.compare(rhs) == 0; } template [[nodiscard]] constexpr bool operator==(std::string_view lhs, const cstring& rhs) noexcept { return lhs.compare(rhs) == 0; } template [[nodiscard]] constexpr bool operator!=(const cstring& lhs, std::string_view rhs) noexcept { return lhs.compare(rhs) != 0; } template [[nodiscard]] constexpr bool operator!=(std::string_view lhs, const cstring& rhs) noexcept { return lhs.compare(rhs) != 0; } template [[nodiscard]] constexpr bool operator>(const cstring& lhs, std::string_view rhs) noexcept { return lhs.compare(rhs) > 0; } template [[nodiscard]] constexpr bool operator>(std::string_view lhs, const cstring& rhs) noexcept { return lhs.compare(rhs) > 0; } template [[nodiscard]] constexpr bool operator>=(const cstring& lhs, std::string_view rhs) noexcept { return lhs.compare(rhs) >= 0; } template [[nodiscard]] constexpr bool operator>=(std::string_view lhs, const cstring& rhs) noexcept { return lhs.compare(rhs) >= 0; } template [[nodiscard]] constexpr bool operator<(const cstring& lhs, std::string_view rhs) noexcept { return lhs.compare(rhs) < 0; } template [[nodiscard]] constexpr bool operator<(std::string_view lhs, const cstring& rhs) noexcept { return lhs.compare(rhs) < 0; } template [[nodiscard]] constexpr bool operator<=(const cstring& lhs, std::string_view rhs) noexcept { return lhs.compare(rhs) <= 0; } template [[nodiscard]] constexpr bool operator<=(std::string_view lhs, const cstring& rhs) noexcept { return lhs.compare(rhs) <= 0; } template std::basic_ostream& operator<<(std::basic_ostream& os, const cstring& srt) { for (const auto c : std::string_view{srt}) { os.put(c); } return os; } namespace detail { template struct identity { using type = T; }; template struct nameof_type_supported #if defined(NAMEOF_TYPE_SUPPORTED) && NAMEOF_TYPE_SUPPORTED || defined(NAMEOF_TYPE_NO_CHECK_SUPPORT) : std::true_type {}; #else : std::false_type {}; #endif template struct nameof_enum_supported #if defined(NAMEOF_ENUM_SUPPORTED) && NAMEOF_ENUM_SUPPORTED || defined(NAMEOF_ENUM_NO_CHECK_SUPPORT) : std::true_type {}; #else : std::false_type {}; #endif template using remove_cvref_t = std::remove_cv_t>; template using enable_if_enum_t = std::enable_if_t>, R>; template inline constexpr bool is_enum_v = std::is_enum_v && std::is_same_v>; constexpr std::string_view pretty_name(std::string_view name, bool remove_template_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. } 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] == '(') { --h; ++s; continue; } if (h == 0) { name.remove_suffix(s); break; } else { ++s; continue; } } std::size_t s = 0; for (std::size_t i = name.size(), h = 0; i > 0; --i) { if (name[i - 1] == '>') { ++h; ++s; continue; } else if (name[i - 1] == '<') { --h; ++s; continue; } if (h == 0) { break; } else { ++s; continue; } } 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_template_suffix) { name.remove_suffix(s); } if (name.size() > 0 && ((name.front() >= 'a' && name.front() <= 'z') || (name.front() >= 'A' && name.front() <= 'Z') || (name.front() == '_'))) { return name; } return {}; // Invalid name. } template constexpr auto n() noexcept { static_assert(is_enum_v, "nameof::detail::n requires enum type."); #if defined(NAMEOF_ENUM_SUPPORTED) && NAMEOF_ENUM_SUPPORTED # if defined(__clang__) || defined(__GNUC__) constexpr auto name = pretty_name({__PRETTY_FUNCTION__, sizeof(__PRETTY_FUNCTION__) - 2}); # elif defined(_MSC_VER) constexpr auto name = pretty_name({__FUNCSIG__, sizeof(__FUNCSIG__) - 17}); # endif if constexpr (name.size() > 0) { return cstring{name}; } else { return std::string_view{}; } #else return std::string_view{}; // Unsupported compiler. #endif } template inline constexpr auto enum_name_v = n(); 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 same signedness (both signed or both unsigned). return lhs < 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 { // If 'left' is negative, then result is 'true', otherwise cast & compare. return lhs < 0 || static_cast>(lhs) < rhs; } } template constexpr std::size_t range_size() noexcept { static_assert(is_enum_v, "nameof::detail::range_size requires enum type."); constexpr auto size = Max - Min + 1; static_assert(size > 0, "nameof::enum_range requires valid size."); static_assert(size < (std::numeric_limits::max)(), "nameof::enum_range requires valid size."); return static_cast(size); } template constexpr int reflected_min() noexcept { static_assert(is_enum_v, "nameof::detail::reflected_min requires enum type."); constexpr auto lhs = enum_range::min; static_assert(lhs > (std::numeric_limits::min)(), "nameof::enum_range requires min must be greater than INT16_MIN."); constexpr auto rhs = (std::numeric_limits>::min)(); return cmp_less(lhs, rhs) ? rhs : lhs; } template constexpr int reflected_max() noexcept { static_assert(is_enum_v, "nameof::detail::reflected_max requires enum type."); constexpr auto lhs = enum_range::max; static_assert(lhs < (std::numeric_limits::max)(), "nameof::enum_range requires max must be less than INT16_MAX."); constexpr auto rhs = (std::numeric_limits>::max)(); return cmp_less(lhs, rhs) ? lhs : rhs; } template inline constexpr int reflected_min_v = reflected_min(); template inline constexpr int reflected_max_v = reflected_max(); template constexpr auto values(std::integer_sequence) noexcept { static_assert(is_enum_v, "nameof::detail::values requires enum type."); constexpr std::array valid{{(n(I + reflected_min_v)>().size() != 0)...}}; constexpr int count = ((valid[I] ? 1 : 0) + ...); std::array values{}; for (int i = 0, v = 0; v < count; ++i) { if (valid[i]) { values[v++] = static_cast(i + reflected_min_v); } } return values; } template inline constexpr auto values_v = values(std::make_integer_sequence, reflected_max_v>()>{}); template inline constexpr std::size_t count_v = values_v.size(); template inline constexpr int min_v = values_v.empty() ? 0 : static_cast(values_v.front()); template inline constexpr int max_v = values_v.empty() ? 0 : static_cast(values_v.back()); template inline constexpr std::size_t range_size_v = range_size, max_v>(); template using index_t = std::conditional_t < (std::numeric_limits::max)(), std::uint8_t, std::uint16_t>; template inline constexpr auto invalid_index_v = (std::numeric_limits>::max)(); template constexpr auto indexes(std::integer_sequence) noexcept { static_assert(is_enum_v, "nameof::detail::indexes requires enum type."); index_t i = 0; return std::array, sizeof...(I)>{{((n(I + min_v)>().size() != 0) ? i++ : invalid_index_v)...}}; } template inline constexpr auto indexes_v = indexes(std::make_integer_sequence>{}); template constexpr auto strings(std::integer_sequence) noexcept { static_assert(is_enum_v, "nameof::detail::strings requires enum type."); return std::array{{enum_name_v(I + min_v)>.data()...}}; } template constexpr auto strings(std::index_sequence) noexcept { static_assert(is_enum_v, "nameof::detail::strings requires enum type."); return std::array{{enum_name_v[I]>.data()...}}; } template inline constexpr bool sparsity_v = (sizeof(const char*) * range_size_v) > (sizeof(index_t) * range_size_v + sizeof(const char*) * count_v); template constexpr auto strings() noexcept { static_assert(is_enum_v, "nameof::detail::strings requires enum type."); if constexpr (sparsity_v) { return strings(std::make_index_sequence>{}); } else { return strings(std::make_integer_sequence>{}); } } template inline static constexpr auto strings_v = strings(); template constexpr auto n() noexcept { #if defined(NAMEOF_TYPE_SUPPORTED) && NAMEOF_TYPE_SUPPORTED # if defined(__clang__) constexpr std::string_view name{__PRETTY_FUNCTION__ + 31, sizeof(__PRETTY_FUNCTION__) - 34}; # elif defined(__GNUC__) constexpr std::string_view name{__PRETTY_FUNCTION__ + 46, sizeof(__PRETTY_FUNCTION__) - 49}; # elif defined(_MSC_VER) constexpr std::string_view name{__FUNCSIG__ + 63, sizeof(__FUNCSIG__) - 81 - (__FUNCSIG__[sizeof(__FUNCSIG__) - 19] == ' ' ? 1 : 0)}; # endif return cstring{name}; #else return std::string_view{}; // Unsupported compiler. #endif } template inline constexpr auto type_name_v = n(); inline auto n(const char* tn) { #if __has_include() auto dmg = abi::__cxa_demangle(tn, nullptr, nullptr, nullptr); auto r = std::string{dmg != nullptr ? dmg : tn}; std::free(dmg); return r; #else return std::string_view{tn}; #endif } } // namespace nameof::detail // Checks is nameof_type supported compiler. inline constexpr bool is_nameof_type_supported = detail::nameof_type_supported::value; // Checks is nameof_enum supported compiler. inline constexpr bool is_nameof_enum_supported = detail::nameof_enum_supported::value; // Obtains simple (unqualified) string enum name of enum variable. 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::count_v > 0, "nameof::nameof_enum requires enum implementation and valid max and min."); if (const auto i = static_cast(value) - detail::min_v; static_cast(value) >= static_cast(detail::min_v) && static_cast(value) <= static_cast(detail::max_v)) { if constexpr (detail::sparsity_v) { if (const auto idx = detail::indexes_v[i]; idx != detail::invalid_index_v) { return detail::strings_v[idx]; } } else { return detail::strings_v[i]; } } return {}; // Value out of range. } // Obtains simple (unqualified) string enum name of static storage enum variable. // This version is much lighter on the compile times and is not restricted to the enum_range limitation. template [[nodiscard]] constexpr auto nameof_enum() noexcept -> detail::enable_if_enum_t { using E = std::decay_t; constexpr std::string_view name = detail::enum_name_v; static_assert(name.size() > 0, "Enum value does not have a name."); return name; } // Obtains string name of type, reference and cv-qualifiers are ignored. template [[nodiscard]] constexpr std::string_view nameof_type() noexcept { static_assert(detail::nameof_type_supported::value, "nameof::nameof_type unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); #if defined(_MSC_VER) using U = detail::identity>; #else using U = detail::remove_cvref_t; #endif constexpr std::string_view name = detail::type_name_v; static_assert(name.size() > 0, "Type does not have a name."); return name; } // Obtains string name of full type, with reference and cv-qualifiers. template [[nodiscard]] constexpr std::string_view nameof_full_type() noexcept { static_assert(detail::nameof_type_supported::value, "nameof::nameof_type unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility)."); #if defined(_MSC_VER) using U = detail::identity; #else using U = T; #endif constexpr std::string_view name = detail::type_name_v; static_assert(name.size() > 0, "Type does not have a name."); return name; } } // namespace nameof // Obtains simple (unqualified) string name of variable, function, macro. #define NAMEOF(...) []() constexpr noexcept { \ ::std::void_t(); \ constexpr auto name = ::nameof::detail::pretty_name(#__VA_ARGS__, true); \ static_assert(name.size() > 0, "Expression does not have a name."); \ constexpr auto size = name.size(); \ constexpr auto nameof = ::nameof::cstring{name}; \ return nameof; }() // Obtains simple (unqualified) full (with template suffix) string 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.size() > 0, "Expression does not have a name."); \ constexpr auto size = name.size(); \ constexpr auto nameof_full = ::nameof::cstring{name}; \ return nameof_full; }() // Obtains raw string name of variable, function, macro. #define NAMEOF_RAW(...) []() constexpr noexcept { \ ::std::void_t(); \ constexpr auto name = ::std::string_view{#__VA_ARGS__}; \ static_assert(name.size() > 0, "Expression does not have a name."); \ constexpr auto size = name.size(); \ constexpr auto nameof_raw = ::nameof::cstring{name}; \ return nameof_raw; }() // Obtains simple (unqualified) string enum name of enum variable. #define NAMEOF_ENUM(...) ::nameof::nameof_enum<::std::decay_t>(__VA_ARGS__) // Obtains simple (unqualified) string enum 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_CONST_ENUM(...) ::nameof::nameof_enum<__VA_ARGS__>() // Obtains string name of type, reference and cv-qualifiers are ignored. #define NAMEOF_TYPE(...) ::nameof::nameof_type<__VA_ARGS__>() // Obtains string name of full type, with reference and cv-qualifiers. #define NAMEOF_FULL_TYPE(...) ::nameof::nameof_full_type<__VA_ARGS__>() // Obtains string name type of expression, reference and cv-qualifiers are ignored. #define NAMEOF_TYPE_EXPR(...) ::nameof::nameof_type() // Obtains string name full type of expression, with reference and cv-qualifiers. #define NAMEOF_FULL_TYPE_EXPR(...) ::nameof::nameof_full_type() // Obtains string name of type using RTTI. #if defined(NAMEOF_TYPE_RTTI_SUPPORTED) && NAMEOF_TYPE_RTTI_SUPPORTED # define NAMEOF_TYPE_RTTI(...) ::nameof::detail::n(typeid(__VA_ARGS__).name()) #else # define NAMEOF_TYPE_RTTI(...) static_assert(sizeof(__VA_ARGS__) < 0, "NAMEOF_TYPE_RTTI unsupported compiler."); #endif #if defined(_MSC_VER) # pragma warning(pop) #endif #endif // NEARGYE_NAMEOF_HPP