Clang: переменная constexpr должна быть инициализирована постоянным выражением, но функция — constexpr ⇐ C++

[Anonymous]

Название слишком короткое для всей истории. Я не являюсь носителем английского языка, прошу прощения за опечатки или странные выражения.
Я изучал Magic_enum и сам пытался реализовать статическое отражение перечисления, когда столкнулся с этой проблемой. .
Код слишком длинный, чтобы вставлять его сюда: https://godbolt.org/z/sqaoMWdPn
Код компилируется с помощью GCC и MSVC. , но не удалось с Clang, и выдает следующую ошибку:

Код: Выделить всё

:151:29: error: constexpr variable 'name' must be initialized by a constant expression
151 |         constexpr std::string_view name{ enum_value_name() };

Код: Выделить всё

enum_value_name()

в основном вызывает несколько вспомогательных функций, чтобы получить имя значения перечисления из std::source_location::function_name()

Код: Выделить всё

template
inline constexpr std::string_view enum_value_name() noexcept
{
constexpr auto wrapped_name = wrapped_enum_value_name();
constexpr auto prefix_length = wrapped_enum_value_name_prefix_length();
constexpr auto suffix_length = wrapped_enum_value_name_suffix_length();
constexpr auto name_length = wrapped_name.length() - prefix_length - suffix_length;

return wrapped_name.substr(prefix_length, name_length);
}

После изучения полного сообщения об ошибке я обнаружил следующее:

Код: Выделить всё

/opt/compiler-explorer/gcc-13.2.0/lib/gcc/x86_64-linux-gnu/13.2.0/../../../../include/c++/13.2.0/bits/functexcept.h:82:3: note: declared here
82 |   __throw_out_of_range_fmt(const char*, ...) __attribute__((__noreturn__))

Код: Выделить всё

__throw_out_of_range_fmt

вызывается вспомогательной функцией std::__sv_check, которая вызывается Basic_string_view::substr. Но все внутри enum_value_name() объявлено constexpr, что здесь произошло?
Затем я изменил enum_value_name(), чтобы иметь конкретную реализацию для Clang:

Код: Выделить всё

template
inline constexpr std::string_view enum_value_name() noexcept
{
#if defined(__clang__) && defined(TEST_SWITCH)
std::string_view name{ Reflect::Enums::detail::wrapped_enum_value_name() };
auto begin = name.find("V = ") + 4;
auto end = name.find_first_of(']', begin);

return name.substr(begin, end - begin);
#else
constexpr auto wrapped_name = wrapped_enum_value_name();
constexpr auto prefix_length = wrapped_enum_value_name_prefix_length();
constexpr auto suffix_length = wrapped_enum_value_name_suffix_length();
constexpr auto name_length = wrapped_name.length() - prefix_length - suffix_length;

return wrapped_name.substr(prefix_length, name_length);
#endif
}

Код: Выделить всё

TEST_SWITCHМакрос 

используется для запуска экземпляров компилятора с другим кодом. Теперь все компилируется нормально. Но это только сбивает меня с толку: почему первая версия «не constepxr»?
Затем я удалил все, кроме основного кода, который извлекает имя значения перечисления из std: :source_location::function_name()
Полный код: https://godbolt.org/z/hvcG94v9j
А теперь все все в порядке даже без модификации, которую я сделано в enum_value_name().
Почему все это происходит? Сделал ли я что-то не так и сделал свою программу «плохо сформированной» так, что Clang жаловался на это? Заранее спасибо.

Подробнее здесь: https://stackoverflow.com/questions/793 ... n-but-func