diff --git a/include/magic_enum.hpp b/include/magic_enum.hpp
index 319e1c9..a8bf1c5 100644
--- a/include/magic_enum.hpp
+++ b/include/magic_enum.hpp
@@ -82,14 +82,50 @@ static_assert(MAGIC_ENUM_RANGE_MAX > MAGIC_ENUM_RANGE_MIN,
 
 namespace detail {
 
+template <typename T>
+struct magic_enum_supported final
+#if defined(__clang__) || defined(__GNUC__) && __GNUC__>= 9 || defined(_MSC_VER)
+    : 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(); }
+
+  constexpr std::size_t size() const noexcept { return chars.size(); }
+
+  constexpr operator std::string_view() const noexcept { return {chars.data(), chars.size()}; }
+
+ private:
+  template <std::size_t... I>
+  constexpr static_string(std::string_view str, std::index_sequence<I...>) noexcept : chars{{str[I]...}} {}
+
+  const std::array<char, N> chars;
+};
+
+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 {}; }
+};
+
 template <typename E>
 inline constexpr auto min_v = 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>
-[[nodiscard]] constexpr auto range_impl() {
-  static_assert(std::is_enum_v<E>, "magic_enum::detail::range_impl requires enum type.");
+[[nodiscard]] constexpr auto range() {
+  static_assert(std::is_enum_v<E>, "magic_enum::detail::range requires enum type.");
   static_assert(enum_range<E>::min > (std::numeric_limits<int>::min)(), "magic_enum::enum_range requires min must be greater than INT_MIN.");
   static_assert(enum_range<E>::max < (std::numeric_limits<int>::max)(), "magic_enum::enum_range requires max must be less than INT_MAX.");
   static_assert(enum_range<E>::max > enum_range<E>::min, "magic_enum::enum_range requires max > min.");
@@ -100,10 +136,10 @@ template <typename E>
 }
 
 template <typename E>
-inline constexpr auto range_v = range_impl<E>();
+inline constexpr auto range_v = range<E>();
 
 [[nodiscard]] constexpr std::string_view pretty_name(std::string_view name) noexcept {
-  for (std::size_t i = name.length(); i > 0; --i) {
+  for (std::size_t i = name.size(); 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') ||
@@ -113,57 +149,57 @@ inline constexpr auto range_v = range_impl<E>();
     }
   }
 
-  if (name.length() > 0 && ((name.front() >= 'a' && name.front() <= 'z') ||
-                            (name.front() >= 'A' && name.front() <= 'Z') ||
-                            (name.front() == '_'))) {
+  if (name.size() > 0 && ((name.front() >= 'a' && name.front() <= 'z') ||
+                          (name.front() >= 'A' && name.front() <= 'Z') ||
+                          (name.front() == '_'))) {
     return name;
   }
 
   return {}; // Invalid name.
 }
 
-template <typename T>
-struct always_false final : std::false_type {};
-
 template <typename E, E V>
-[[nodiscard]] constexpr auto name_impl() noexcept {
-  static_assert(std::is_enum_v<E>, "magic_enum::detail::name_impl requires enum type.");
+[[nodiscard]] constexpr auto n() noexcept {
+  static_assert(std::is_enum_v<E>, "magic_enum::detail::name requires enum type.");
 #if defined(__clang__) || defined(__GNUC__) && __GNUC__ >= 9
-  return pretty_name({__PRETTY_FUNCTION__, sizeof(__PRETTY_FUNCTION__) - 2});
+  constexpr auto name = pretty_name({__PRETTY_FUNCTION__, sizeof(__PRETTY_FUNCTION__) - 2});
 #elif defined(_MSC_VER)
-  return pretty_name({__FUNCSIG__, sizeof(__FUNCSIG__) - 17});
+  constexpr auto name = pretty_name({__FUNCSIG__, sizeof(__FUNCSIG__) - 17});
 #else
-  static_assert(always_false<E>{}, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   return std::string_view{}; // Unsupported compiler.
 #endif
+
+#if defined(__clang__) || defined(__GNUC__) && __GNUC__ >= 9 || defined(_MSC_VER)
+  return static_string<name.size()>{name};
+#endif
 }
 
-template <typename E, int... I>
-[[nodiscard]] constexpr auto strings_impl(std::integer_sequence<int, I...>) noexcept {
-  static_assert(std::is_enum_v<E>, "magic_enum::detail::strings_impl requires enum type.");
+template <typename E, E V>
+inline constexpr auto name_v = n<E, V>();
 
-  return std::array<std::string_view, sizeof...(I)>{{name_impl<E, static_cast<E>(I + min_v<E>)>()...}};
+template <typename E, int... I>
+[[nodiscard]] constexpr auto strings(std::integer_sequence<int, I...>) noexcept {
+  static_assert(std::is_enum_v<E>, "magic_enum::detail::strings requires enum type.");
+
+  return std::array<std::string_view, sizeof...(I)>{{name_v<E, static_cast<E>(I + min_v<E>)>...}};
 }
 
 template <typename E>
-inline constexpr auto strings_v = strings_impl<E>(range_v<E>);
+[[nodiscard]] constexpr std::string_view name(E value) noexcept {
+  static_assert(std::is_enum_v<E>, "magic_enum::detail::name requires enum type.");
+  constexpr auto names = strings<E>(range_v<E>);
 
-template <typename E>
-[[nodiscard]] constexpr std::string_view name_impl(E value) noexcept {
-  static_assert(std::is_enum_v<E>, "magic_enum::detail::name_impl requires enum type.");
-  constexpr auto strings = strings_v<E>;
-
-  if (auto i = static_cast<std::size_t>(static_cast<int>(value) - min_v<E>); i < strings.size()) {
-    return strings[i];
+  if (auto i = static_cast<std::size_t>(static_cast<int>(value) - min_v<E>); i < names.size()) {
+    return names[i];
   }
 
   return {}; // Value out of range.
 }
 
 template <typename E, int... I>
-[[nodiscard]] constexpr auto values_impl(std::integer_sequence<int, I...>) noexcept {
-  static_assert(std::is_enum_v<E>, "magic_enum::detail::values_impl requires enum type.");
-  constexpr std::array<bool, sizeof...(I)> valid{{!name_impl<E, static_cast<E>(I + min_v<E>)>().empty()...}};
+[[nodiscard]] constexpr auto values(std::integer_sequence<int, I...>) noexcept {
+  static_assert(std::is_enum_v<E>, "magic_enum::detail::values requires enum type.");
+  constexpr std::array<bool, sizeof...(I)> valid{{(name_v<E, static_cast<E>(I + min_v<E>)>.size() != 0 )...}};
   constexpr auto num_valid = ((valid[I] ? 1 : 0) + ...);
 
   std::array<E, num_valid> values{};
@@ -177,30 +213,30 @@ template <typename E, int... I>
 }
 
 template <typename E>
-inline constexpr auto values_v = values_impl<E>(range_v<E>);
+inline constexpr auto values_v = values<E>(range_v<E>);
 
 template <typename E>
 inline constexpr auto count_v = values_v<E>.size();
 
 template <typename E, std::size_t... I>
-[[nodiscard]] constexpr auto names_impl(std::integer_sequence<std::size_t, I...>) noexcept {
-  static_assert(std::is_enum_v<E>, "magic_enum::detail::names_impl requires enum type.");
+[[nodiscard]] constexpr auto names(std::integer_sequence<std::size_t, I...>) noexcept {
+  static_assert(std::is_enum_v<E>, "magic_enum::detail::names requires enum type.");
 
-  return std::array<std::string_view, sizeof...(I)>{{name_impl<E, values_v<E>[I]>()...}};
+  return std::array<std::string_view, sizeof...(I)>{{name_v<E, values_v<E>[I]>...}};
 }
 
 template <typename E>
-inline constexpr auto names_v = names_impl<E>(std::make_index_sequence<count_v<E>>{});
+inline constexpr auto names_v = names<E>(std::make_index_sequence<count_v<E>>{});
 
 template <typename E, std::size_t... I>
-[[nodiscard]] constexpr auto entries_impl(std::integer_sequence<std::size_t, I...>) noexcept {
-  static_assert(std::is_enum_v<E>, "magic_enum::detail::entries_impl requires enum type.");
+[[nodiscard]] constexpr auto entries(std::integer_sequence<std::size_t, I...>) noexcept {
+  static_assert(std::is_enum_v<E>, "magic_enum::detail::entries requires enum type.");
 
   return std::array<std::pair<E, std::string_view>, sizeof...(I)>{{{values_v<E>[I], names_v<E>[I]}...}};
 }
 
 template <typename E>
-inline constexpr auto entries_v = entries_impl<E>(std::make_index_sequence<count_v<E>>{});
+inline constexpr auto entries_v = entries<E>(std::make_index_sequence<count_v<E>>{});
 
 template <typename T>
 using remove_cvref_t = std::remove_cv_t<std::remove_reference_t<T>>;
@@ -212,35 +248,38 @@ template <typename E, typename D>
 inline constexpr bool check_enum_v = std::is_same_v<remove_cvref_t<E>, D> && std::is_enum_v<D>;
 
 template <typename T, bool = std::is_enum_v<T>>
-struct is_scoped_enum_impl : std::false_type {};
+struct is_scoped_enum : std::false_type {};
 
 template <typename T>
-struct is_scoped_enum_impl<T, true> : std::bool_constant<!std::is_convertible_v<T, std::underlying_type_t<T>>> {};
+struct is_scoped_enum<T, true> : std::bool_constant<!std::is_convertible_v<T, std::underlying_type_t<T>>> {};
 
 template <typename T, bool = std::is_enum_v<T>>
-struct is_unscoped_enum_impl : std::false_type {};
+struct is_unscoped_enum : std::false_type {};
 
 template <typename T>
-struct is_unscoped_enum_impl<T, true> : std::bool_constant<std::is_convertible_v<T, std::underlying_type_t<T>>> {};
+struct is_unscoped_enum<T, true> : std::bool_constant<std::is_convertible_v<T, std::underlying_type_t<T>>> {};
 
 template <typename T, typename = T>
-struct is_fixed_enum_impl : std::false_type {};
+struct is_fixed_enum : std::false_type {};
 
 template <typename T>
-struct is_fixed_enum_impl<T, decltype(T{0})> : std::is_enum<T> {};
+struct is_fixed_enum<T, decltype(T{0})> : std::is_enum<T> {};
 
 template <typename T, bool = std::is_enum_v<T>>
-struct underlying_type_impl {};
+struct underlying_type {};
 
 template <typename T>
-struct underlying_type_impl<T, true> : std::underlying_type<T> {};
+struct underlying_type<T, true> : std::underlying_type<T> {};
 
 } // namespace magic_enum::detail
 
+// Checks is magic_enum supported compiler.
+inline constexpr auto is_magic_enum_supported = detail::magic_enum_supported<void>::value;
+
 // Checks whether T is an Unscoped enumeration type.
 // Provides the member constant value which is equal to true, if T is an [Unscoped enumeration](https://en.cppreference.com/w/cpp/language/enum#Unscoped_enumeration) type. Otherwise, value is equal to false.
 template <typename T>
-struct is_unscoped_enum : detail::is_unscoped_enum_impl<T> {};
+struct is_unscoped_enum : detail::is_unscoped_enum<T> {};
 
 template <typename T>
 inline constexpr bool is_unscoped_enum_v = is_unscoped_enum<T>::value;
@@ -248,7 +287,7 @@ inline constexpr bool is_unscoped_enum_v = is_unscoped_enum<T>::value;
 // Checks whether T is an Scoped enumeration type.
 // Provides the member constant value which is equal to true, if T is an [Scoped enumeration](https://en.cppreference.com/w/cpp/language/enum#Scoped_enumerations) type. Otherwise, value is equal to false.
 template <typename T>
-struct is_scoped_enum : detail::is_scoped_enum_impl<T> {};
+struct is_scoped_enum : detail::is_scoped_enum<T> {};
 
 template <typename T>
 inline constexpr bool is_scoped_enum_v = is_scoped_enum<T>::value;
@@ -256,7 +295,7 @@ inline constexpr bool is_scoped_enum_v = is_scoped_enum<T>::value;
 // Checks whether T is an Fixed enumeration type.
 // Provides the member constant value which is equal to true, if T is an [Fixed enumeration](https://en.cppreference.com/w/cpp/language/enum) type. Otherwise, value is equal to false.
 template <typename T>
-struct is_fixed_enum : detail::is_fixed_enum_impl<T> {};
+struct is_fixed_enum : detail::is_fixed_enum<T> {};
 
 template <typename T>
 inline constexpr bool is_fixed_enum_v = is_fixed_enum<T>::value;
@@ -264,7 +303,7 @@ inline constexpr bool is_fixed_enum_v = is_fixed_enum<T>::value;
 // If T is a complete enumeration type, provides a member typedef type that names the underlying type of T.
 // Otherwise, if T is not an enumeration type, there is no member type. Otherwise (T is an incomplete enumeration type), the program is ill-formed.
 template <typename T>
-struct underlying_type : detail::underlying_type_impl<T> {};
+struct underlying_type : detail::underlying_type<T> {};
 
 template <typename T>
 using underlying_type_t = typename underlying_type<T>::type;
@@ -273,6 +312,7 @@ using underlying_type_t = typename underlying_type<T>::type;
 // Returns std::optional with enum value.
 template <typename E, typename D = detail::enable_if_enum_t<E>>
 [[nodiscard]] constexpr std::optional<D> enum_cast(std::string_view value) noexcept {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::enum_cast requires enum type.");
   constexpr auto values = detail::values_v<D>;
   constexpr auto count = detail::count_v<D>;
@@ -291,9 +331,10 @@ template <typename E, typename D = detail::enable_if_enum_t<E>>
 // Returns std::optional with enum value.
 template <typename E, typename D = detail::enable_if_enum_t<E>>
 [[nodiscard]] constexpr std::optional<D> enum_cast(std::underlying_type_t<D> value) noexcept {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::enum_cast requires enum type.");
 
-  if (detail::name_impl<D>(static_cast<D>(value)).empty()) {
+  if (detail::name<D>(static_cast<D>(value)).empty()) {
     return std::nullopt; // Invalid value or out of range.
   }
 
@@ -303,6 +344,7 @@ template <typename E, typename D = detail::enable_if_enum_t<E>>
 // Returns integer value from enum value.
 template <typename E, typename D = detail::enable_if_enum_t<E>>
 [[nodiscard]] constexpr std::underlying_type_t<D> enum_integer(E value) noexcept {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::enum_integer requires enum type.");
 
   return static_cast<std::underlying_type_t<D>>(value);
@@ -312,6 +354,7 @@ template <typename E, typename D = detail::enable_if_enum_t<E>>
 // No bounds checking is performed: the behavior is undefined if index >= number of enum values.
 template<typename E, typename D = detail::enable_if_enum_t<E>>
 [[nodiscard]] constexpr D enum_value(std::size_t index) {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::enum_value requires enum type.");
   constexpr auto values = detail::values_v<D>;
 
@@ -322,6 +365,7 @@ template<typename E, typename D = detail::enable_if_enum_t<E>>
 // Returns std::array with enum values, sorted by enum value.
 template <typename E, typename D = detail::enable_if_enum_t<E>>
 [[nodiscard]] constexpr auto enum_values() noexcept {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::enum_values requires enum type.");
   constexpr auto values = detail::values_v<D>;
 
@@ -331,6 +375,7 @@ template <typename E, typename D = detail::enable_if_enum_t<E>>
 // Returns number of enum values.
 template <typename E, typename D = detail::enable_if_enum_t<E>>
 [[nodiscard]] constexpr std::size_t enum_count() noexcept {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::enum_count requires enum type.");
   constexpr auto count = detail::count_v<D>;
 
@@ -341,23 +386,26 @@ template <typename E, typename D = detail::enable_if_enum_t<E>>
 // This version is much lighter on the compile times and is not restricted to the enum_range limitation.
 template <auto V, typename D = detail::enable_if_enum_t<decltype(V)>>
 [[nodiscard]] constexpr std::string_view enum_name() noexcept {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<decltype(V), D>, "magic_enum::enum_name requires enum type.");
 
-  return detail::name_impl<D, V>();
+  return detail::name_v<D, V>;
 }
 
 // Returns string enum name from enum value.
 template <typename E, typename D = detail::enable_if_enum_t<E>>
 [[nodiscard]] constexpr std::string_view enum_name(E value) noexcept {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::enum_name requires enum type.");
 
-  return detail::name_impl<D>(value);
+  return detail::name<D>(value);
 }
 
 // Obtains string enum name sequence.
 // Returns std::array with string enum names, sorted by enum value.
 template <typename E, typename D = detail::enable_if_enum_t<E>>
 [[nodiscard]] constexpr auto enum_names() noexcept {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::enum_names requires enum type.");
   constexpr auto names = detail::names_v<D>;
 
@@ -368,6 +416,7 @@ template <typename E, typename D = detail::enable_if_enum_t<E>>
 // Returns std::array with std::pair (value enum, string enum name), sorted by enum value.
 template <typename E, typename D = detail::enable_if_enum_t<E>>
 [[nodiscard]] constexpr auto enum_entries() noexcept {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::enum_entries requires enum type.");
   constexpr auto entries = detail::entries_v<D>;
 
@@ -378,9 +427,10 @@ namespace ostream_operators {
 
 template <class Char, class Traits, typename E, typename D = detail::enable_if_enum_t<E>>
 std::basic_ostream<Char, Traits>& operator<<(std::basic_ostream<Char, Traits>& os, E value) {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::ostream_operators::operator<< requires enum type.");
 
-  if (auto name = detail::name_impl<D>(value); !name.empty()) {
+  if (auto name = detail::name<D>(value); !name.empty()) {
     for (auto c : name) {
       os.put(c);
     }
@@ -393,6 +443,7 @@ std::basic_ostream<Char, Traits>& operator<<(std::basic_ostream<Char, Traits>& o
 
 template <class Char, class Traits, typename E, typename D = detail::enable_if_enum_t<E>>
 std::basic_ostream<Char, Traits>& operator<<(std::basic_ostream<Char, Traits>& os, std::optional<E> value) {
+  static_assert(detail::magic_enum_supported<D>::value, "magic_enum: Unsupported compiler (https://github.com/Neargye/magic_enum#compiler-compatibility).");
   static_assert(detail::check_enum_v<E, D>, "magic_enum::ostream_operators::operator<< requires enum type.");
 
   if (value.has_value()) {