組込のfolding-exprを再帰深度O(1)とみなすと全体でも再帰深度O(1) melpon.org #include <type_traits> #include <utility> template<typename... Types> struct make_indices_from_types { private: template <std::size_t N, std::size_t...> struct make_indices { template <std::size_t M, std::size_t... Indices> make_indices</std::size_t></std::size_t></typename...></utility></type_traits>

どうもコンパイラ拡張で文字列を型パラメータとして取れるユーザ定義リテラルがあるようなので，printfに型チェックを付けるようなのを書いてみた． 桁数表示とか何も実装してないけれど，雰囲気がそれっぽくなってきたあたりで飽きた．もっと賢い実装方法が…