jsのように添え字が欲しいことがあったので書いた。 #include <type_traits> #include <algorithm> struct result_of { template <class T, class R> struct y { using type = R; static inline constexpr bool value = T::value; }; template <class C, class F, class... Args> static auto f() -> y</class></class></algorithm></type_traits>