using type_impl<Indices, Types>::value...;がミソ。 [Wandbox]三へ( へ՞ਊ ՞)へ ﾊｯﾊｯ #include <type_traits> #include <utility> extern void* enabler; template <typename T> struct identity { using type = T; }; template <std::size_t N, typename T> struct type_impl { template </std::size_t></typename></utility></type_traits></indices,>

constexpr lambdaが使えるってことは？ということで思いついたネタを。 とりあえずclangさんでは動いてしまった。gccさんは置いてけぼりです。 wandbox.org proof of conceptなので、必要なオーバーロード全然なかったり勝手にconstついたりする気がするので…