const (&xs)[N]) noexcept
{
// Вот тут мы уже не знаем, xs вообще constexpr или нет. И как теперь IntegralConstant возвращать?
}
Hana основана на факте, что все данные внутри типа содержатся. Но это не общий случай. Мы, может, xs в компайл тайм знаем, но в типе int ничего не прописано.
Или я путаю чего?
Hana рантайм типами не оперирует. И в ней та же foo будет выглядеть как обычный foo(Args... args)
Обсуждают сегодня