head(typelist<T, Ts...>) {
return {};
}
static_assert(std::is_same_v<std::type_identity<int>, decltype(head(typelist<int, bool, double>{}))>);
а так нельзя?
мне до сих пор не понятно, зачем у метода head реализация вообще есть в данном примере
Обсуждают сегодня