Я попробовал код ниже в Wandbox:
#include <array>
#include <iostream>
#include <tuple>
#include <typeinfo>
#include <functional>
#include <utility>
int main()
{
constexpr std::array<const char, 10> str{"123456789"};
constexpr auto foo = std::apply([](auto... args) constexpr { std::integer_sequence<char, args...>{}; } , str);
std::cout << typeid(foo).name();
}
и компилятор сказал мне, что args... не являются постоянным выражением.
Что не так?
Все функции constexpr должны быть действительными как constexpr, так и не, даже если они отмечены как constexpr.
Существует предложение для литерала constexpr, который передал символы как параметры шаблона без типа. Затем "hello"_bob может напрямую перейти к пакету параметров.
Другой подход - вы можете передать std::integral_constant<T, t> в lambda через какой-то механизм, например my indexer. Тогда преобразование в T является constexpr даже той переменной, которой нет. Это не поможет вам с "hello" для последовательности.
Функциональные параметры не могут быть помечены constexpr. Таким образом, вы не можете использовать их в местах, где требуются постоянные выражения, такие как аргументы шаблона непигового типа.
Чтобы сделать то, что вы пытаетесь сделать, потребуется некоторая обработка строки времени компиляции, основанная на аргументах шаблона.
То, что вы хотите, можно сделать без std::apply:
#include <array>
#include <iostream>
#include <tuple>
#include <typeinfo>
#include <functional>
#include <utility>
#include <type_traits>
template <std::size_t N, class = std::make_index_sequence<N>>
struct iterate;
template <std::size_t N, std::size_t... Is>
struct iterate<N, std::index_sequence<Is...>> {
template <class Lambda>
constexpr auto operator()(Lambda lambda) {
return lambda(std::integral_constant<std::size_t, Is>{}...);
}
};
int main()
{
constexpr std::array<const char, 10> str{"123456789"};
constexpr auto foo = iterate<str.size()>{}([](auto... is) constexpr { return std::integer_sequence<char, str[is]...>{}; });
std::cout << typeid(foo).name();
}