nameof_module/include/nameof.hpp

255 lines
9.4 KiB
C++
Raw Normal View History

2018-04-10 19:32:51 +00:00
// _ _ __ _____
// | \ | | / _| / ____|_ _
// | \| | __ _ _ __ ___ ___ ___ | |_ | | _| |_ _| |_
// | . ` |/ _` | '_ ` _ \ / _ \/ _ \| _| | | |_ _|_ _|
// | |\ | (_| | | | | | | __/ (_) | | | |____|_| |_|
// |_| \_|\__,_|_| |_| |_|\___|\___/|_| \_____|
// https://github.com/Neargye/nameof
2019-03-27 19:33:00 +00:00
// vesion 0.7.5
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.
2018-03-17 04:31:59 +00:00
#pragma once
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-03-24 11:23:41 +00:00
#include <limits>
2019-04-08 17:55:35 +00:00
#include <type_traits>
2019-03-20 16:41:51 +00:00
#include <string_view>
2018-08-26 23:57:25 +00:00
2018-04-04 12:19:02 +00:00
namespace nameof {
2018-04-10 18:09:23 +00:00
2019-04-08 17:55:35 +00:00
// Enum value must be in range [-256, 256]. If you need another range, add specialization enum_range for necessary enum type.
template <typename E>
struct enum_range final {
static_assert(std::is_enum_v<E>, "nameof::enum_range requires enum type.");
static constexpr int min = std::is_signed_v<std::underlying_type_t<E>> ? -256 : 0;
static constexpr int max = 256;
};
2019-03-24 11:23:41 +00:00
2018-04-04 12:19:02 +00:00
namespace detail {
2018-04-04 16:36:18 +00:00
2018-08-02 14:51:44 +00:00
template <typename T>
2019-03-22 10:09:13 +00:00
struct identity final {
2018-08-02 14:51:44 +00:00
using type = T;
};
2019-04-01 19:07:28 +00:00
[[nodiscard]] constexpr bool is_name_char(char c, bool front) noexcept {
return (!front && c >= '0' && c <= '9') || (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z') || c == '_';
2018-08-02 14:51:44 +00:00
}
2019-04-01 19:07:28 +00:00
[[nodiscard]] constexpr std::string_view pretty_name(std::string_view name, bool with_template_suffix) noexcept {
2019-04-05 12:19:18 +00:00
if (name.length() >= 1 && (name.front() == '"' || name.front() == '\'')) {
return {}; // Narrow multibyte string literal.
} else if (name.length() >= 2 && name[0] == 'R' && (name[1] == '"' || name[1] == '\'')) {
return {}; // Raw string literal.
} else if (name.length() >= 2 && name[0] == 'L' && (name[1] == '"' || name[1] == '\'')) {
return {}; // Wide string literal.
} else if (name.length() >= 2 && name[0] == 'U' && (name[1] == '"' || name[1] == '\'')) {
return {}; // UTF-32 encoded string literal.
} else if (name.length() >= 2 && name[0] == 'u' && (name[1] == '"' || name[1] == '\'')) {
return {}; // UTF-16 encoded string literal.
} else if (name.length() >= 3 && name[0] == 'u' && name[1] == '8' && (name[2] == '"' || name[2] == '\'')) {
return {}; // UTF-8 encoded string literal.
} else if (name.length() >= 1 && (name.front() >= '0' && name.front() <= '9')) {
return {}; // Invalid name.
}
2018-08-28 14:00:42 +00:00
for (std::size_t i = name.size(), h = 0, s = 0; i > 0; --i) {
2019-04-02 15:42:47 +00:00
if (name[i - 1] == ')') {
2018-08-28 14:00:42 +00:00
++h;
++s;
continue;
2019-04-02 15:42:47 +00:00
} else if (name[i - 1] == '(') {
2018-08-28 14:00:42 +00:00
--h;
++s;
continue;
}
if (h == 0) {
2019-03-20 16:41:51 +00:00
name.remove_suffix(s);
2018-08-28 14:00:42 +00:00
break;
} else {
++s;
continue;
}
}
2018-08-26 20:30:16 +00:00
std::size_t s = 0;
for (std::size_t i = name.size(), h = 0; i > 0; --i) {
2018-08-28 14:00:42 +00:00
if (name[i - 1] == '>') {
2018-08-26 20:30:16 +00:00
++h;
++s;
continue;
2018-08-28 14:00:42 +00:00
} else if (name[i - 1] == '<') {
2018-08-26 20:30:16 +00:00
--h;
++s;
continue;
}
if (h == 0) {
break;
2018-08-26 23:57:25 +00:00
} else {
++s;
continue;
2018-08-02 14:51:44 +00:00
}
}
2018-08-26 20:30:16 +00:00
for (std::size_t i = name.size() - s; i > 0; --i) {
2019-04-01 19:07:28 +00:00
if (!is_name_char(name[i - 1], false)) {
2019-03-20 16:41:51 +00:00
name.remove_prefix(i);
break;
2018-08-06 11:01:40 +00:00
}
2018-08-26 20:30:16 +00:00
}
2019-04-01 19:07:28 +00:00
name.remove_suffix(with_template_suffix ? 0 : s);
2018-08-26 23:57:25 +00:00
2019-04-01 19:07:28 +00:00
if (name.length() > 0 && is_name_char(name.front(), true)) {
return name;
} else {
2019-04-02 15:42:47 +00:00
return {}; // Invalid name.
2019-04-01 19:07:28 +00:00
}
2018-08-26 20:30:16 +00:00
}
2019-04-10 12:13:51 +00:00
template <typename... T>
2019-03-24 15:15:14 +00:00
[[nodiscard]] constexpr std::string_view nameof_type_impl() noexcept {
2018-09-01 13:27:49 +00:00
#if defined(__clang__)
2019-03-24 19:33:22 +00:00
std::string_view name{__PRETTY_FUNCTION__};
2019-04-10 12:13:51 +00:00
constexpr auto prefix = sizeof("std::string_view nameof::detail::nameof_type_impl() [T = <nameof::detail::identity<") - 1;
constexpr auto suffix = sizeof(">>]") - 1;
2018-09-01 13:27:49 +00:00
#elif defined(__GNUC__)
2019-03-24 19:33:22 +00:00
std::string_view name{__PRETTY_FUNCTION__};
2019-04-10 12:13:51 +00:00
constexpr auto prefix = sizeof("constexpr std::string_view nameof::detail::nameof_type_impl() [with T = {nameof::detail::identity<") - 1;
constexpr auto suffix = sizeof(">}; std::string_view = std::basic_string_view<char>]") - 1;
2018-09-01 13:27:49 +00:00
#elif defined(_MSC_VER)
2019-03-24 19:33:22 +00:00
std::string_view name{__FUNCSIG__};
2019-03-24 15:15:14 +00:00
constexpr auto prefix = sizeof("class std::basic_string_view<char,struct std::char_traits<char> > __cdecl nameof::detail::nameof_type_impl<struct nameof::detail::identity<") - 1;
constexpr auto suffix = sizeof(">>(void) noexcept") - 1;
2018-09-01 13:27:49 +00:00
#else
return {}; // Unsupported compiler.
2018-09-01 13:27:49 +00:00
#endif
#if defined(__clang__) || defined(__GNUC__) || defined(_MSC_VER)
2019-03-24 19:33:22 +00:00
name.remove_prefix(prefix);
name.remove_suffix(suffix);
2019-03-24 15:15:14 +00:00
while (name.back() == ' ') {
name.remove_suffix(1);
}
2019-04-08 17:55:35 +00:00
2019-03-24 15:15:14 +00:00
return name;
#endif
2018-09-01 13:27:49 +00:00
}
2019-04-01 19:29:11 +00:00
template <typename E, E V>
2019-04-08 17:55:35 +00:00
[[nodiscard]] constexpr std::string_view enum_name_impl() noexcept {
static_assert(std::is_enum_v<E>, "nameof::enum_name_impl requires enum type.");
2018-09-01 13:27:49 +00:00
#if defined(__clang__)
std::string_view name{__PRETTY_FUNCTION__};
2019-03-23 12:17:50 +00:00
constexpr auto suffix = sizeof("]") - 1;
2019-03-26 07:45:00 +00:00
#elif defined(__GNUC__) && __GNUC__ >= 9
std::string_view name{__PRETTY_FUNCTION__};
2019-03-26 07:03:53 +00:00
constexpr auto suffix = sizeof("; std::string_view = std::basic_string_view<char>]") - 1;
2018-09-01 13:27:49 +00:00
#elif defined(_MSC_VER)
std::string_view name{__FUNCSIG__};
2019-03-23 12:17:50 +00:00
constexpr auto suffix = sizeof(">(void) noexcept") - 1;
2018-09-01 13:27:49 +00:00
#else
return {}; // Unsupported compiler.
#endif
2019-03-26 07:45:00 +00:00
#if defined(__clang__) || (defined(__GNUC__) && __GNUC__ >= 9) || defined(_MSC_VER)
name.remove_suffix(suffix);
2019-04-08 17:55:35 +00:00
2019-04-05 12:19:18 +00:00
return pretty_name(name, false);
2018-09-01 13:27:49 +00:00
#endif
}
2019-04-08 18:06:25 +00:00
template <typename E, int O, int... I>
2019-04-08 17:55:35 +00:00
[[nodiscard]] constexpr decltype(auto) enum_strings_impl(std::integer_sequence<int, I...>) noexcept {
2019-04-08 21:52:00 +00:00
static_assert(std::is_enum_v<E>, "nameof::detail::enum_strings_impl requires enum type.");
2019-04-08 18:06:25 +00:00
constexpr std::array<std::string_view, sizeof...(I)> enum_names{{enum_name_impl<E, static_cast<E>(I + O)>()...}};
2019-03-24 11:23:41 +00:00
2019-04-08 17:55:35 +00:00
return enum_names;
}
2018-09-01 13:27:49 +00:00
2019-04-08 18:06:25 +00:00
template <typename E, typename U = std::underlying_type_t<E>>
2019-04-08 17:55:35 +00:00
[[nodiscard]] constexpr std::string_view nameof_enum_impl(int value) noexcept {
2019-04-08 21:52:00 +00:00
static_assert(std::is_enum_v<E>, "nameof::detail::nameof_enum_impl requires enum type.");
static_assert(enum_range<E>::max > enum_range<E>::min, "nameof::enum_range requires max > min.");
constexpr int max = enum_range<E>::max < (std::numeric_limits<U>::max)() ? enum_range<E>::max : (std::numeric_limits<U>::max)();
constexpr int min = enum_range<E>::min > (std::numeric_limits<U>::min)() ? enum_range<E>::min : (std::numeric_limits<U>::min)();
2019-04-08 17:55:35 +00:00
constexpr auto enum_range = std::make_integer_sequence<int, max - min + 1>{};
2019-04-08 18:06:25 +00:00
constexpr auto enum_names = enum_strings_impl<E, min>(enum_range);
2019-04-08 17:55:35 +00:00
const int i = value - min;
if (i >= 0 && static_cast<std::size_t>(i) < enum_names.size()) {
return enum_names[i];
} else {
2019-04-08 18:03:54 +00:00
return {}; // Value out of range.
2019-03-21 06:56:59 +00:00
}
2019-04-08 17:55:35 +00:00
}
2018-09-01 17:08:09 +00:00
2019-04-02 15:42:47 +00:00
template <typename T>
2019-04-01 19:07:28 +00:00
[[nodiscard]] constexpr std::string_view nameof_impl(std::string_view name, bool with_template_suffix) noexcept {
return pretty_name(name, with_template_suffix);
2018-07-13 15:18:52 +00:00
}
2019-04-02 15:42:47 +00:00
template <typename T>
2019-03-22 10:09:13 +00:00
[[nodiscard]] constexpr std::string_view nameof_raw_impl(std::string_view name) noexcept {
2019-03-21 09:16:06 +00:00
return name;
}
} // namespace detail
2019-04-08 18:02:45 +00:00
// Obtains simple (unqualified) string enum name of enum variable.
2019-04-08 21:52:00 +00:00
template <typename E, typename D = std::decay_t<E>, typename = std::enable_if_t<std::is_enum_v<D>>>
[[nodiscard]] constexpr std::string_view nameof_enum(E value) noexcept {
2019-04-08 18:06:25 +00:00
static_assert(std::is_enum_v<D>, "nameof::nameof_enum requires enum type.");
return detail::nameof_enum_impl<D>(static_cast<int>(value));
2019-03-24 15:15:14 +00:00
}
2019-04-08 18:02:45 +00:00
// Obtains string name of type.
2019-03-20 16:41:51 +00:00
template <typename T>
2019-03-22 10:09:13 +00:00
[[nodiscard]] constexpr std::string_view nameof_type() noexcept {
2019-03-20 16:41:51 +00:00
return detail::nameof_type_impl<detail::identity<T>>();
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-04-05 12:19:18 +00:00
// NAMEOF obtains simple (unqualified) string name of variable, function, enum, macro.
2019-03-21 09:16:06 +00:00
#define NAMEOF(...) ::nameof::detail::nameof_impl<decltype(__VA_ARGS__)>(#__VA_ARGS__, false)
2019-03-20 16:41:51 +00:00
2019-04-08 18:02:45 +00:00
// Obtains simple (unqualified) full (with template suffix) string name of variable, function, enum, macro.
2019-03-21 09:16:06 +00:00
#define NAMEOF_FULL(...) ::nameof::detail::nameof_impl<decltype(__VA_ARGS__)>(#__VA_ARGS__, true)
2019-03-20 16:41:51 +00:00
2019-04-08 18:02:45 +00:00
// Obtains raw string name of variable, function, enum, macro.
2019-04-02 15:42:47 +00:00
#define NAMEOF_RAW(...) ::nameof::detail::nameof_raw_impl<decltype(__VA_ARGS__)>(#__VA_ARGS__)
2019-04-08 18:02:45 +00:00
// Obtains simple (unqualified) string enum name of enum variable.
2019-03-20 16:41:51 +00:00
#define NAMEOF_ENUM(...) ::nameof::nameof_enum<decltype(__VA_ARGS__)>(__VA_ARGS__)
2018-09-01 13:27:49 +00:00
2019-04-08 18:02:45 +00:00
// Obtains string name of type.
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-04-08 18:02:45 +00:00
// Obtains string name of variable type.
2019-04-01 19:07:28 +00:00
#define NAMEOF_VAR_TYPE(...) ::nameof::nameof_type<decltype(__VA_ARGS__)>()