Std:: apply и постоянное выражение?
Я попробовал код ниже в 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...
не являются постоянным выражением.
Что не так?
Ответы
Ответ 1
Все функции constexpr должны быть действительными как constexpr, так и не, даже если они отмечены как constexpr.
Существует предложение для литерала constexpr, который передал символы как параметры шаблона без типа. Затем "hello"_bob
может напрямую перейти к пакету параметров.
Другой подход - вы можете передать std::integral_constant<T, t>
в lambda через какой-то механизм, например my indexer
. Тогда преобразование в T
является constexpr даже той переменной, которой нет. Это не поможет вам с "hello"
для последовательности.
Ответ 2
Функциональные параметры не могут быть помечены constexpr
. Таким образом, вы не можете использовать их в местах, где требуются постоянные выражения, такие как аргументы шаблона непигового типа.
Чтобы сделать то, что вы пытаетесь сделать, потребуется некоторая обработка строки времени компиляции, основанная на аргументах шаблона.
Ответ 3
То, что вы хотите, можно сделать без 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();
}
[live demo]