nameof_module/include/nameof.hpp

633 lines
24 KiB
C++
Raw Normal View History

2018-04-10 19:32:51 +00:00
// _ _ __ _____
// | \ | | / _| / ____|_ _
// | \| | __ _ _ __ ___ ___ ___ | |_ | | _| |_ _| |_
// | . ` |/ _` | '_ ` _ \ / _ \/ _ \| _| | | |_ _|_ _|
// | |\ | (_| | | | | | | __/ (_) | | | |____|_| |_|
// |_| \_|\__,_|_| |_| |_|\___|\___/|_| \_____|
// https://github.com/Neargye/nameof
// vesion 0.9.1
2018-03-17 03:09:49 +00:00
//
2018-03-18 16:34:09 +00:00
// Licensed under the MIT License <http://opensource.org/licenses/MIT>.
2019-03-20 16:41:51 +00:00
// SPDX-License-Identifier: MIT
// Copyright (c) 2016, 2018 - 2019 Daniil Goncharov <neargye@gmail.com>.
2018-03-17 03:09:49 +00:00
//
2018-03-24 08:58:08 +00:00
// 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:
2018-03-17 03:09:49 +00:00
//
2018-03-24 08:58:08 +00:00
// The above copyright notice and this permission notice shall be included in all
2018-03-17 03:27:47 +00:00
// copies or substantial portions of the Software.
2018-03-17 03:09:49 +00:00
//
2018-03-24 08:58:08 +00:00
// 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
2018-03-17 03:27:47 +00:00
// SOFTWARE.
2019-05-28 12:54:10 +00:00
#ifndef NEARGYE_NAMEOF_HPP
#define NEARGYE_NAMEOF_HPP
2018-04-10 18:09:23 +00:00
2019-04-08 17:55:35 +00:00
#include <array>
2018-03-17 05:06:38 +00:00
#include <cstddef>
2019-09-14 22:19:34 +00:00
#include <iosfwd>
2019-03-24 11:23:41 +00:00
#include <limits>
2019-03-20 16:41:51 +00:00
#include <string_view>
2019-10-01 13:43:24 +00:00
#include <type_traits>
#include <utility>
2018-08-26 23:57:25 +00:00
// Checks nameof_type compiler compatibility.
#if defined(__clang__) || defined(__GNUC__) || defined(_MSC_VER)
# define NAMEOF_TYPE_SUPPORTED 1
#endif
// Checks nameof_enum compiler compatibility.
#if defined(__clang__) || defined(__GNUC__) && __GNUC__>= 9 || defined(_MSC_VER)
# define NAMEOF_ENUM_SUPPORTED 1
#endif
2019-04-10 12:40:21 +00:00
// 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
2018-04-04 12:19:02 +00:00
namespace nameof {
2018-04-10 18:09:23 +00:00
2019-04-28 10:28:20 +00:00
// 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.
2019-04-28 09:15:18 +00:00
// If need another range for all enum types by default, redefine the macro NAMEOF_ENUM_RANGE_MIN and NAMEOF_ENUM_RANGE_MAX.
2019-04-10 12:40:21 +00:00
// If need another range for specific enum type, add specialization enum_range for necessary enum type.
2019-04-08 17:55:35 +00:00
template <typename E>
struct enum_range final {
static_assert(std::is_enum_v<E>, "nameof::enum_range requires enum type.");
2019-10-01 13:43:24 +00:00
inline static constexpr int min = NAMEOF_ENUM_RANGE_MIN;
inline static constexpr int max = NAMEOF_ENUM_RANGE_MAX;
2019-04-25 16:57:00 +00:00
static_assert(max > min, "nameof::enum_range requires max > min.");
2019-04-08 17:55:35 +00:00
};
2019-03-24 11:23:41 +00:00
2019-10-01 13:43:24 +00:00
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<std::int16_t>::min)(), "NAMEOF_ENUM_RANGE_MIN must be greater than INT16_MIN.");
2019-07-14 15:49:14 +00:00
2019-10-01 13:43:24 +00:00
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<std::int16_t>::max)(), "NAMEOF_ENUM_RANGE_MAX must be less than INT16_MAX.");
2019-07-14 15:49:14 +00:00
2019-10-01 13:43:24 +00:00
static_assert(NAMEOF_ENUM_RANGE_MAX > NAMEOF_ENUM_RANGE_MIN, "NAMEOF_ENUM_RANGE_MAX must be greater than NAMEOF_ENUM_RANGE_MIN.");
2019-07-14 16:00:34 +00:00
2019-08-26 16:56:57 +00:00
template <std::size_t N>
2019-10-03 13:25:40 +00:00
struct [[nodiscard]] cstring final {
static_assert(N > 0, "Expression does not have a name.");
constexpr cstring(std::string_view str) noexcept : cstring{str, std::make_index_sequence<N>{}} {}
2019-08-26 16:56:57 +00:00
2019-09-14 22:19:34 +00:00
[[nodiscard]] constexpr auto data() const noexcept { return chars.data(); }
[[nodiscard]] constexpr auto size() const noexcept { return N; }
[[nodiscard]] constexpr auto begin() const noexcept { return data(); }
[[nodiscard]] constexpr auto end() const noexcept { return data() + size(); }
[[nodiscard]] constexpr auto cbegin() const noexcept { return begin(); }
[[nodiscard]] constexpr auto cend() const noexcept { return end(); }
[[nodiscard]] constexpr auto rbegin() const noexcept { return std::reverse_iterator<decltype(end())>{end()}; }
[[nodiscard]] constexpr auto rend() const noexcept { return std::reverse_iterator<decltype(begin())>{begin()}; }
[[nodiscard]] constexpr auto crbegin() const noexcept { return rbegin(); }
[[nodiscard]] constexpr auto crend() const noexcept { return rend(); }
[[nodiscard]] constexpr auto operator[](std::size_t i) const noexcept { return chars[i]; }
[[nodiscard]] constexpr auto at(std::size_t i) const { return chars.at(i); }
[[nodiscard]] constexpr auto front() const noexcept { return chars[0]; }
[[nodiscard]] constexpr auto back() const noexcept { return chars[N]; }
[[nodiscard]] constexpr auto length() const noexcept { return size(); }
[[nodiscard]] constexpr auto empty() const noexcept { return false; }
[[nodiscard]] constexpr auto compare(std::string_view str) const noexcept {
return std::string_view{data(), size()}.compare(str);
}
[[nodiscard]] constexpr operator std::string_view() const noexcept { return {data(), size()}; }
2019-08-26 16:56:57 +00:00
private:
template <std::size_t... I>
2019-10-03 13:25:40 +00:00
constexpr cstring(std::string_view str, std::index_sequence<I...>) noexcept : chars{{str[I]..., '\0'}} {}
2019-08-26 16:56:57 +00:00
2019-09-14 22:19:34 +00:00
const std::array<char, N + 1> chars;
2019-08-26 16:56:57 +00:00
};
2019-09-14 22:19:34 +00:00
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator==(const cstring<N>& lhs, std::string_view rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) == 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator==(std::string_view lhs, const cstring<N>& rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) == 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator!=(const cstring<N>& lhs, std::string_view rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) != 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator!=(std::string_view lhs, const cstring<N>& rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) != 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator>(const cstring<N>& lhs, std::string_view rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) > 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator>(std::string_view lhs, const cstring<N>& rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) > 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator>=(const cstring<N>& lhs, std::string_view rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) >= 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator>=(std::string_view lhs, const cstring<N>& rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) >= 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator<(const cstring<N>& lhs, std::string_view rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) < 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator<(std::string_view lhs, const cstring<N>& rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) < 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator<=(const cstring<N>& lhs, std::string_view rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) <= 0;
}
template <std::size_t N>
2019-10-03 13:25:40 +00:00
[[nodiscard]] constexpr bool operator<=(std::string_view lhs, const cstring<N>& rhs) noexcept {
2019-09-14 22:19:34 +00:00
return lhs.compare(rhs) <= 0;
}
template <typename Char, typename Traits, std::size_t N>
2019-10-03 13:25:40 +00:00
std::basic_ostream<Char, Traits>& operator<<(std::basic_ostream<Char, Traits>& os, const cstring<N>& srt) {
2019-09-14 22:19:34 +00:00
for (auto c : std::string_view{srt}) {
os.put(c);
}
return os;
}
2019-10-03 13:25:40 +00:00
namespace detail {
template <typename T>
struct identity final {
using type = T;
};
template <typename... T>
struct nameof_type_supported final
#if defined(NAMEOF_TYPE_SUPPORTED) && NAMEOF_TYPE_SUPPORTED
: std::true_type {};
#else
: std::false_type {};
#endif
template <typename T>
struct nameof_enum_supported final
#if defined(NAMEOF_ENUM_SUPPORTED) && NAMEOF_ENUM_SUPPORTED
: std::true_type {};
#else
: std::false_type {};
#endif
template <std::size_t N>
struct static_string final {
constexpr static_string(std::string_view str) noexcept : static_string{str, std::make_index_sequence<N>{}} {}
constexpr const char* data() const noexcept { return chars.data(); }
2019-10-03 13:39:54 +00:00
constexpr std::size_t size() const noexcept { return N; }
2019-10-03 13:25:40 +00:00
constexpr operator std::string_view() const noexcept { return {data(), size()}; }
private:
template <std::size_t... I>
2019-10-03 13:39:54 +00:00
constexpr static_string(std::string_view str, std::index_sequence<I...>) noexcept : chars{{str[I]..., '\0'}} {}
2019-10-03 13:25:40 +00:00
2019-10-03 13:39:54 +00:00
const std::array<char, N + 1> chars;
2019-10-03 13:25:40 +00:00
};
template <>
struct static_string<0> final {
constexpr static_string(std::string_view) noexcept {}
constexpr const char* data() const noexcept { return nullptr; }
constexpr std::size_t size() const noexcept { return 0; }
constexpr operator std::string_view() const noexcept { return {}; }
};
2019-04-14 13:16:24 +00:00
template <typename T>
2019-07-23 13:50:18 +00:00
using remove_cvref_t = std::remove_cv_t<std::remove_reference_t<T>>;
template <typename T, typename R>
2019-09-12 09:41:16 +00:00
using enable_if_enum_t = std::enable_if_t<std::is_enum_v<T>, R>;
2019-04-14 13:16:24 +00:00
2019-10-03 13:25:40 +00:00
template <typename T>
inline constexpr bool is_enum_v = std::is_enum_v<T> && std::is_same_v<T, std::decay_t<T>>;
2019-10-01 13:55:37 +00:00
2019-09-14 22:19:34 +00:00
constexpr std::string_view pretty_name(std::string_view name, bool remove_template_suffix = true) noexcept {
if (name.size() >= 1 && (name[0] == '"' || name[0] == '\'')) {
2019-04-11 14:55:29 +00:00
return {}; // Narrow multibyte string literal.
2019-08-26 16:56:57 +00:00
} else if (name.size() >= 2 && name[0] == 'R' && (name[1] == '"' || name[1] == '\'')) {
2019-04-11 14:55:29 +00:00
return {}; // Raw string literal.
2019-08-26 16:56:57 +00:00
} else if (name.size() >= 2 && name[0] == 'L' && (name[1] == '"' || name[1] == '\'')) {
2019-04-11 14:55:29 +00:00
return {}; // Wide string literal.
2019-08-26 16:56:57 +00:00
} else if (name.size() >= 2 && name[0] == 'U' && (name[1] == '"' || name[1] == '\'')) {
2019-04-11 14:55:29 +00:00
return {}; // UTF-32 encoded string literal.
2019-08-26 16:56:57 +00:00
} else if (name.size() >= 2 && name[0] == 'u' && (name[1] == '"' || name[1] == '\'')) {
2019-04-11 14:55:29 +00:00
return {}; // UTF-16 encoded string literal.
2019-08-26 16:56:57 +00:00
} else if (name.size() >= 3 && name[0] == 'u' && name[1] == '8' && (name[2] == '"' || name[2] == '\'')) {
2019-04-11 14:55:29 +00:00
return {}; // UTF-8 encoded string literal.
2019-09-14 22:19:34 +00:00
} else if (name.size() >= 1 && (name[0] >= '0' && name[0] <= '9')) {
2019-04-11 14:55:29 +00:00
return {}; // Invalid name.
}
2019-08-26 16:56:57 +00:00
for (std::size_t i = name.size(), h = 0, s = 0; i > 0; --i) {
2019-04-11 14:55:29 +00:00
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;
2019-08-26 16:56:57 +00:00
for (std::size_t i = name.size(), h = 0; i > 0; --i) {
2019-04-11 14:55:29 +00:00
if (name[i - 1] == '>') {
++h;
++s;
continue;
} else if (name[i - 1] == '<') {
--h;
++s;
continue;
}
if (h == 0) {
break;
} else {
++s;
continue;
}
}
2019-08-26 16:56:57 +00:00
for (std::size_t i = name.size() - s; i > 0; --i) {
2019-04-11 14:55:29 +00:00
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;
}
}
2019-07-21 19:13:32 +00:00
if (remove_template_suffix) {
name.remove_suffix(s);
}
2019-04-11 14:55:29 +00:00
2019-08-26 16:56:57 +00:00
if (name.size() > 0 && ((name.front() >= 'a' && name.front() <= 'z') ||
(name.front() >= 'A' && name.front() <= 'Z') ||
(name.front() == '_'))) {
2019-04-11 14:55:29 +00:00
return name;
}
2019-07-23 13:50:18 +00:00
return {}; // Invalid name.
2018-07-13 15:18:52 +00:00
}
2019-07-13 14:32:33 +00:00
template <typename E, E V>
2019-09-13 14:45:01 +00:00
constexpr auto n() noexcept {
2019-10-01 13:55:37 +00:00
static_assert(is_enum_v<E>, "nameof::detail::n requires enum type.");
#if defined(NAMEOF_ENUM_SUPPORTED) && NAMEOF_ENUM_SUPPORTED
# if defined(__clang__) || defined(__GNUC__) && __GNUC__>= 9
2019-09-14 22:19:34 +00:00
constexpr auto name = pretty_name({__PRETTY_FUNCTION__, sizeof(__PRETTY_FUNCTION__) - 2});
# elif defined(_MSC_VER)
2019-09-14 22:19:34 +00:00
constexpr auto name = pretty_name({__FUNCSIG__, sizeof(__FUNCSIG__) - 17});
# endif
return static_string<name.size()>{name};
#else
static_assert(nameof_enum_supported<E>::value, "nameof::nameof_enum: Unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility).");
return std::string_view{}; // Unsupported compiler.
2019-07-13 14:32:33 +00:00
#endif
}
2019-08-26 16:56:57 +00:00
template <typename E, E V>
2019-10-01 13:43:24 +00:00
inline constexpr auto enum_name_v = n<E, V>();
namespace enums {
template <typename E>
inline constexpr int reflected_min_v = static_cast<int>(enum_range<E>::min > (std::numeric_limits<std::underlying_type_t<E>>::min)()
? enum_range<E>::min
: (std::numeric_limits<std::underlying_type_t<E>>::min)());
template <typename E>
inline constexpr int reflected_max_v = static_cast<int>(enum_range<E>::max < (std::numeric_limits<std::underlying_type_t<E>>::max)()
? enum_range<E>::max
: (std::numeric_limits<std::underlying_type_t<E>>::max)());
template <typename E>
constexpr std::size_t reflected_size() {
2019-10-03 13:25:40 +00:00
static_assert(is_enum_v<E>, "nameof::detail::reflected_size requires enum type.");
2019-10-01 13:43:24 +00:00
static_assert(reflected_min_v<E> > (std::numeric_limits<std::int16_t>::min)(), "nameof::enum_range requires min must be greater than INT16_MIN.");
static_assert(reflected_max_v<E> < (std::numeric_limits<std::int16_t>::max)(), "nameof::enum_range requires max must be less than INT16_MAX.");
static_assert(reflected_max_v<E> > reflected_min_v<E>, "nameof::enum_range requires max > min.");
constexpr auto size = reflected_max_v<E> - reflected_min_v<E> + 1;
static_assert(size > 0, "nameof::enum_range requires valid size.");
2019-10-03 13:25:40 +00:00
static_assert(size < (std::numeric_limits<std::int16_t>::max)(), "magic_enum::enum_range requires valid size.");
2019-10-01 13:43:24 +00:00
return static_cast<std::size_t>(size);
}
template <typename E, int... I>
constexpr int range_min(std::integer_sequence<int, I...>) noexcept {
static_assert(is_enum_v<E>, "nameof::detail::range_min requires enum type.");
int r = 0;
(void)(((n<E, static_cast<E>(I + reflected_min_v<E>)>().size() != 0) ? (r = I + reflected_min_v<E>, false) : true) && ...);
return r;
}
template <typename E, int... I>
constexpr int range_max(std::integer_sequence<int, I...>) noexcept {
static_assert(is_enum_v<E>, "nameof::detail::range_max requires enum type.");
int r = 0;
(void)(((n<E, static_cast<E>(reflected_max_v<E> - I)>().size() != 0) ? (r = reflected_max_v<E> - I, false) : true) && ...);
return r;
}
template <typename E>
inline constexpr int min_v = range_min<E>(std::make_integer_sequence<int, reflected_size<E>()>{});
template <typename E>
inline constexpr int max_v = range_max<E>(std::make_integer_sequence<int, reflected_size<E>()>{});
template <typename E>
constexpr std::size_t range_size() noexcept {
static_assert(is_enum_v<E>, "nameof::detail::range_size requires enum type.");
constexpr auto size = max_v<E> - min_v<E> + 1;
static_assert(size > 0, "nameof::enum_range requires valid size.");
2019-10-03 13:25:40 +00:00
static_assert(size < (std::numeric_limits<std::int16_t>::max)(), "magic_enum::enum_range requires valid size.");
2019-10-01 13:43:24 +00:00
return static_cast<std::size_t>(size);
}
template <typename E>
inline constexpr std::size_t size_v = range_size<E>();
template <typename E>
inline constexpr auto range_v = std::make_integer_sequence<int, size_v<E>>{};
template <typename E, int... I>
constexpr std::size_t count(std::integer_sequence<int, I...>) noexcept {
static_assert(is_enum_v<E>, "nameof::detail::count requires enum type.");
return (((n<E, static_cast<E>(I + min_v<E>)>().size() != 0) ? 1 : 0) + ...);
}
template <typename E>
inline constexpr std::size_t count_v = count<E>(range_v<E>);
2019-08-26 16:56:57 +00:00
2019-10-01 13:43:24 +00:00
template <typename E>
inline constexpr auto sequence_v = std::make_index_sequence<count_v<E>>{};
template <typename E, int... I>
constexpr auto values(std::integer_sequence<int, I...>) noexcept {
static_assert(is_enum_v<E>, "nameof::detail::values requires enum type.");
constexpr std::array<bool, size_v<E>> valid{{(n<E, static_cast<E>(I + min_v<E>)>().size() != 0)...}};
std::array<E, count_v<E>> values{};
for (std::size_t i = 0, v = 0; v < count_v<E>; ++i) {
if (valid[i]) {
values[v++] = static_cast<E>(static_cast<int>(i) + min_v<E>);
}
}
2019-07-13 14:32:33 +00:00
2019-10-01 13:43:24 +00:00
return values;
2019-07-13 14:32:33 +00:00
}
2019-10-01 13:43:24 +00:00
template <typename E>
using index_t = std::conditional_t<size_v<E> < (std::numeric_limits<std::uint8_t>::max)(), std::uint8_t, std::uint16_t>;
template <typename E>
inline constexpr auto invalid_index_v = (std::numeric_limits<index_t<E>>::max)();
template <typename E, int... I>
constexpr auto indexes(std::integer_sequence<int, I...>) noexcept {
static_assert(is_enum_v<E>, "nameof::detail::indexes requires enum type.");
index_t<E> i = 0;
return std::array<index_t<E>, size_v<E>>{{((n<E, static_cast<E>(I + min_v<E>)>().size() != 0) ? i++ : invalid_index_v<E>)...}};
}
template <typename E>
inline constexpr bool sparsity_v = (sizeof(const char*) * size_v<E>) > (sizeof(index_t<E>) * size_v<E> + sizeof(const char*) * count_v<E>);
template <typename E, int... I>
constexpr auto strings(std::integer_sequence<int, I...>) noexcept {
static_assert(is_enum_v<E>, "nameof::detail::strings requires enum type.");
return std::array<const char*, size_v<E>>{{enum_name_v<E, static_cast<E>(I + min_v<E>)>.data()...}};
}
template <typename E, std::size_t... I>
constexpr auto strings(std::index_sequence<I...>) noexcept {
static_assert(is_enum_v<E>, "nameof::detail::strings requires enum type.");
constexpr auto vals = values<E>(range_v<E>);
return std::array<const char*, count_v<E>>{{enum_name_v<E, vals[I]>.data()...}};
}
template <typename E>
constexpr auto strings() noexcept {
static_assert(is_enum_v<E>, "nameof::detail::strings requires enum type.");
if constexpr (sparsity_v<E>) {
return strings<E>(sequence_v<E>);
2019-10-01 13:43:24 +00:00
} else {
return strings<E>(range_v<E>);
}
}
template <typename E>
2019-10-01 13:55:37 +00:00
class enum_traits final {
static_assert(is_enum_v<E>, "nameof::enum_traits requires enum type.");
static_assert(enum_range<E>::min > (std::numeric_limits<std::int16_t>::min)(), "nameof::enum_range requires min must be greater than INT16_MIN.");
static_assert(enum_range<E>::max < (std::numeric_limits<std::int16_t>::max)(), "nameof::enum_range requires max must be less than INT16_MAX.");
static_assert(enum_range<E>::max > enum_range<E>::min, "nameof::enum_range requires max > min.");
static_assert(count_v<E> > 0, "nameof::enum_range requires enum implementation or valid max and min.");
using U = std::underlying_type_t<E>;
inline static constexpr auto strings_ = strings<E>();
inline static constexpr auto indexes_ = indexes<E>(range_v<E>);
public:
2019-10-01 13:43:24 +00:00
static constexpr std::string_view name(E value) noexcept {
if (static_cast<U>(value) >= static_cast<U>(min_v<E>) && static_cast<U>(value) <= static_cast<U>(max_v<E>)) {
if constexpr (sparsity_v<E>) {
2019-10-01 13:55:37 +00:00
if (auto i = indexes_[static_cast<U>(value) - min_v<E>]; i != invalid_index_v<E>) {
return strings_[i];
2019-10-01 13:43:24 +00:00
}
} else {
2019-10-01 13:55:37 +00:00
return strings_[static_cast<U>(value) - min_v<E>];
2019-10-01 13:43:24 +00:00
}
}
return {}; // Value out of range.
}
};
} // namespace nameof::detail::enums
2019-07-13 14:32:33 +00:00
template <typename... T>
2019-09-13 14:45:01 +00:00
constexpr auto n() noexcept {
#if defined(NAMEOF_TYPE_SUPPORTED) && NAMEOF_TYPE_SUPPORTED
# if defined(__clang__)
2019-08-26 16:56:57 +00:00
constexpr std::string_view name{__PRETTY_FUNCTION__ + 31, sizeof(__PRETTY_FUNCTION__) - 34};
# elif defined(__GNUC__)
2019-08-26 16:56:57 +00:00
constexpr std::string_view name{__PRETTY_FUNCTION__ + 46, sizeof(__PRETTY_FUNCTION__) - 49};
# elif defined(_MSC_VER)
2019-08-26 16:56:57 +00:00
constexpr std::string_view name{__FUNCSIG__ + 63, sizeof(__FUNCSIG__) - 81 - (__FUNCSIG__[sizeof(__FUNCSIG__) - 19] == ' ' ? 1 : 0)};
# endif
2019-10-03 13:25:40 +00:00
return cstring<name.size()>{name};
#else
static_assert(nameof_type_supported<T...>::value, "nameof::nameof_type: Unsupported compiler (https://github.com/Neargye/nameof#compiler-compatibility).");
return std::string_view{}; // Unsupported compiler.
2019-07-13 14:32:33 +00:00
#endif
}
2019-04-10 14:44:41 +00:00
} // namespace nameof::detail
2019-03-21 09:16:06 +00:00
2019-08-26 16:56:57 +00:00
// Checks is nameof_type supported compiler.
2019-08-27 14:54:16 +00:00
inline constexpr bool is_nameof_type_supported = detail::nameof_type_supported<void>::value;
2019-08-26 16:56:57 +00:00
// Checks is nameof_enum supported compiler.
2019-08-27 14:54:16 +00:00
inline constexpr bool is_nameof_enum_supported = detail::nameof_enum_supported<void>::value;
2019-04-08 18:02:45 +00:00
// Obtains simple (unqualified) string enum name of enum variable.
2019-04-26 05:59:21 +00:00
template <typename E>
2019-09-12 09:41:16 +00:00
[[nodiscard]] constexpr auto nameof_enum(E value) noexcept -> detail::enable_if_enum_t<E, std::string_view> {
2019-10-01 13:43:24 +00:00
return detail::enums::enum_traits<detail::remove_cvref_t<E>>::name(value);
2019-03-24 15:15:14 +00:00
}
2019-05-03 10:22:18 +00:00
// 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 <auto V>
2019-09-12 09:41:16 +00:00
[[nodiscard]] constexpr auto nameof_enum() noexcept -> detail::enable_if_enum_t<decltype(V), std::string_view> {
2019-10-01 13:43:24 +00:00
return detail::enum_name_v<detail::remove_cvref_t<decltype(V)>, V>;
2019-05-03 10:22:18 +00:00
}
2019-08-26 16:56:57 +00:00
// Obtains string name of type, reference and cv-qualifiers are ignored.
2019-07-21 19:13:06 +00:00
template <typename T>
2019-09-14 22:19:34 +00:00
[[nodiscard]] constexpr auto nameof_type() noexcept {
#if defined(_MSC_VER)
return detail::n<detail::identity<detail::remove_cvref_t<T>>>();
#else
return detail::n<detail::remove_cvref_t<T>>();
#endif
2019-08-25 12:32:05 +00:00
}
2019-08-26 16:56:57 +00:00
// Obtains string name of full type, with reference and cv-qualifiers.
2019-08-25 12:32:05 +00:00
template <typename T>
2019-09-14 22:19:34 +00:00
[[nodiscard]] constexpr auto nameof_full_type() noexcept {
#if defined(_MSC_VER)
return detail::n<detail::identity<T>>();
#else
return detail::n<T>();
#endif
2018-08-26 20:30:16 +00:00
}
2018-08-02 14:51:44 +00:00
2018-04-04 16:36:18 +00:00
} // namespace nameof
2018-03-22 14:09:55 +00:00
2019-09-14 22:19:34 +00:00
// Obtains simple (unqualified) string name of variable, function, macro.
#define NAMEOF(...) []() constexpr noexcept { \
::std::void_t<decltype(__VA_ARGS__)>(); \
constexpr auto name = ::nameof::detail::pretty_name(#__VA_ARGS__, true); \
static_assert(!name.empty(), "Expression does not have a name."); \
constexpr auto size = name.size(); \
2019-10-03 13:25:40 +00:00
return ::nameof::cstring<size>{name}; }()
2019-09-14 22:19:34 +00:00
// Obtains simple (unqualified) full (with template suffix) string name of variable, function, macro.
#define NAMEOF_FULL(...) []() constexpr noexcept { \
::std::void_t<decltype(__VA_ARGS__)>(); \
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(); \
2019-10-03 13:25:40 +00:00
return ::nameof::cstring<size>{name}; }()
2019-09-14 22:19:34 +00:00
// Obtains raw string name of variable, function, macro.
#define NAMEOF_RAW(...) []() constexpr noexcept { \
::std::void_t<decltype(__VA_ARGS__)>(); \
constexpr auto name = ::std::string_view{#__VA_ARGS__}; \
static_assert(!name.empty(), "Expression does not have a name."); \
constexpr auto size = name.size(); \
2019-10-03 13:25:40 +00:00
return ::nameof::cstring<size>{name}; }()
2019-04-02 15:42:47 +00:00
2019-04-08 18:02:45 +00:00
// Obtains simple (unqualified) string enum name of enum variable.
2019-09-12 09:41:16 +00:00
#define NAMEOF_ENUM(...) ::nameof::nameof_enum(__VA_ARGS__)
2018-09-01 13:27:49 +00:00
2019-05-03 10:22:18 +00:00
// 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__>()
2019-07-21 19:13:06 +00:00
// Obtains string name of type, reference and cv-qualifiers are ignored.
2019-04-01 19:07:28 +00:00
#define NAMEOF_TYPE(...) ::nameof::nameof_type<__VA_ARGS__>()
2019-03-22 08:56:01 +00:00
2019-07-21 19:13:06 +00:00
// 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<decltype(__VA_ARGS__)>()
// Obtains string name full type of expression, with reference and cv-qualifiers.
#define NAMEOF_FULL_TYPE_EXPR(...) ::nameof::nameof_full_type<decltype(__VA_ARGS__)>()
2019-05-01 14:44:25 +00:00
2019-05-28 12:54:10 +00:00
#endif // NEARGYE_NAMEOF_HPP