{"id":220217,"date":"2014-04-21T14:19:02","date_gmt":"2014-04-21T10:19:02","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=220217"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=220217","title":{"rendered":"TypeList \u0438 \u041a\u0440\u0435\u0441\u0442\u0438\u043a\u0438-\u043d\u043e\u043b\u0438\u043a\u0438<\/span>"},"content":{"rendered":"
\t\u0417\u0430\u0445\u043e\u0442\u0435\u043b\u043e\u0441\u044c, \u043d\u0430\u043a\u043e\u043d\u0435\u0446-\u0442\u043e(!), \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c variadic templates<\/code>, \u0442\u0430\u043a \u043a\u0430\u043a \u0434\u043e \u0441\u0438\u0445 \u043f\u043e\u0440 \u043f\u0440\u0438\u0432\u044f\u0437\u0430\u043d \u043a 10\u0439 \u0441\u0442\u0443\u0434\u0438\u0438, \u0433\u0434\u0435 \u043d\u0438\u0447\u0435\u0433\u043e \u044d\u0442\u043e\u0433\u043e \u043d\u0435\u0442\u0443. \u0410 \u0447\u0442\u043e\u0431\u044b \u0434\u043e\u043b\u0433\u043e \u043d\u0435 \u0434\u0443\u043c\u0430\u0442\u044c, \u0433\u0434\u0435 \u0436\u0435 \u043c\u043e\u0436\u043d\u043e \u0431\u0435\u0441\u043f\u043e\u043b\u0435\u0437\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c variadic templates, \u043f\u0440\u0438\u0448\u043b\u0430 \u0438\u0434\u0435\u044f \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c, \u043a\u0430\u043a \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c Typelist<\/a>. \u0414\u043b\u044f \u0442\u0435\u0445, \u043a\u0442\u043e \u0435\u0449\u0451 \u043d\u0435 \u0437\u043d\u0430\u0435\u0442, \u0447\u0442\u043e \u044d\u0442\u043e \u0442\u0430\u043a\u043e\u0435, \u044f \u043f\u043e\u0441\u0442\u0430\u0440\u0430\u044e\u0441\u044c \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u0442\u044c \u043f\u043e \u0445\u043e\u0434\u0443 \u0434\u0435\u043b\u0430, \u0430 \u0442\u0435\u043c, \u043a\u043e\u043c\u0443 \u044d\u0442\u043e \u0441\u043a\u0443\u0447\u043d\u043e \u2014 \u043c\u043e\u0436\u0435\u0442 \u0441\u0440\u0430\u0437\u0443 \u043f\u0440\u043e\u043b\u0438\u0441\u0442\u0430\u0442\u044c \u0432\u043d\u0438\u0437 \u2014 \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043f\u043e\u0434\u043e\u0431\u0438\u0435 \u043a\u0440\u0435\u0441\u0442\u0438\u043a\u043e\u0432-\u043d\u043e\u043b\u0438\u043a\u043e\u0432 \u0441 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435\u043c Typelist<\/code>.
\u0418\u0442\u0430\u043a, TypeList<\/code>:
<\/a> <\/p>\n
TypeList<\/b><\/p>\n
\n
namespace internal { struct Void { }; } \/\/ internal  template<typename ...Args> struct TypeList {     typedef internal::Void Head;     typedef internal::Void Tail; };  typedef TypeList<> EmptyTypeList;  template<typename H, typename ...T> struct TypeList<H, T...> {     typedef H Head;     typedef TypeList<T...> Tail; }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0422\u0438\u043f\u0438\u0447\u043d\u044b\u0439 TypeList<\/code> \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0441\u043e\u0431\u043e\u0439 \u00ab\u0433\u043e\u043b\u043e\u0432\u0443\u00bb(Head<\/code>) \u0438 \u00ab\u0445\u0432\u043e\u0441\u0442\u00bb(Tail<\/code>), \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432 \u0441\u0432\u043e\u044e \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u0442\u0430\u043a\u0436\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u043f\u0438\u0441\u043a\u043e\u043c \u0442\u0438\u043f\u043e\u0432. \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435:  <\/p>\n
typedef TypeList<float, double, long double> floating_point_types; <\/code><\/pre>\n
  \u0420\u0430\u043d\u044c\u0448\u0435, \u0431\u0435\u0437 \u0421++11, \u044d\u0442\u043e \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u043b\u043e \u0442\u0430\u043a:  <\/p>\n
\u0421\u0442\u0430\u0440\u044b\u0439 TypeList<\/b><\/p>\n
\n
template <class H, class T> struct typelist {     typedef H head;     typedef T tail; };  typedef typelist<float, typelist<double, long double> > floating_point_types; <\/code><\/pre>\n
  \u0418 \u043c\u0430\u043a\u0440\u043e\u0441\u044b \u0432 \u043f\u043e\u043c\u043e\u0449\u044c:  <\/p>\n
#define TYPELIST_1(T1) typelist<T1, null_typelist> #define TYPELIST_2(T1, T2) typelist<T1, TYPELIST_1(T2) > #define TYPELIST_3(T1, T2, T3) typelist<T1, TYPELIST_2(T2, T3) > ... #define TYPELIST_50... <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u041d\u043e \u0442\u0435\u043f\u0435\u0440\u044c, \u0431\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f variadic templates<\/code>, \u043c\u043e\u0436\u043d\u043e \u0438\u0437\u0431\u0430\u0432\u0438\u0442\u044c\u0441\u044f \u0438 \u043e\u0442 \u043c\u0430\u043a\u0440\u043e\u0441\u043e\u0432, \u0438 \u043e\u0442 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0442\u0438\u043f\u043e\u0432 \u0432 \u0441\u043f\u0438\u0441\u043a\u0435.
  \u0421\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0433\u043e\u0432\u043e\u0440\u044f \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u043c \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0442\u043e, \u043a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441\u043e \u0441\u043f\u0438\u0441\u043a\u043e\u043c \u0442\u0438\u043f\u043e\u0432, \u043a\u0430\u043a \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043d\u0430\u0434 \u043d\u0438\u043c \u0438 \u0447\u0442\u043e \u044d\u0442\u043e \u0434\u0430\u0451\u0442 \u0432 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u043c \u0438\u0442\u043e\u0433\u0435(\u043a\u043e\u043c\u0443 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u0431\u043e\u043b\u0435\u0435 \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u0438 \u043a\u0442\u043e \u0435\u0449\u0451 \u043d\u0435 \u0432\u0438\u0434\u0435\u043b Modern C++ Design<\/a> \u2014 \u0441\u043e\u0432\u0435\u0442\u0443\u044e \u043f\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u2014 \u043d\u0435 \u0432\u0430\u0436\u043d\u043e, \u0447\u0442\u043e \u044d\u0442\u043e 2001 \u0433\u043e\u0434!).
  \u0418\u0442\u0430\u043a, \u043a\u0430\u043a \u0432\u0438\u0434\u043d\u043e, \u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043b \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0442\u0438\u043f internal::Void<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c, \u043a\u0430\u043a \u0441\u0438\u0433\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u0444\u043b\u0430\u0436\u043e\u043a \u0438 \u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c, \u0447\u0442\u043e \u0441\u043f\u0438\u0441\u043e\u043a \u0442\u0438\u043f\u043e\u0432 \u043f\u0443\u0441\u0442(\u043a\u0430\u043a \u043c\u0438\u043d\u0438\u043c\u0443\u043c, \u0434\u043b\u044f \u0441\u043b\u0443\u0447\u0430\u044f, \u043a\u043e\u0433\u0434\u0430 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c \u043d\u0435 \u0443\u043a\u0430\u0437\u0430\u043b \u043d\u0438\u0447\u0435\u0433\u043e: TypeList<><\/code>, \u0438\u043b\u0438, \u043a\u043e\u0433\u0434\u0430 \u0441\u043e \u0441\u043f\u0438\u0441\u043a\u0430 \u0443\u0434\u0430\u043b\u0435\u043d\u043e \u0432\u0441\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b). \u041d\u0430\u0447\u043d\u0451\u043c \u0441 \u043d\u0430\u0447\u0430\u043b\u0430:  <\/p>\n
IsEmpty<\/h4>\n
  <\/p>\n
IsEmpty<\/b><\/p>\n
\n
template<typename TL> struct IsEmpty :     std::true_type { };  template<> struct IsEmpty<TypeList<internal::Void, internal::Void>> :     std::true_type { };  template<typename ...Args> struct IsEmpty<TypeList<Args...>> :     std::integral_constant<bool,         std::is_same<typename TypeList<Args...>::Head, internal::Void>::value &&         IsEmpty<typename TypeList<Args...>::Tail>::value> { }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0417\u0434\u0435\u0441\u044c \u0432\u0438\u0434\u043d\u043e \u043f\u043e\u0447\u0442\u0438 \u0432\u0441\u0451, \u0447\u0442\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e, \u0434\u043b\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0434\u0440\u0443\u0433\u0438\u0445 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439. \u041a\u0430\u043a \u0432\u0438\u0434\u043d\u043e, \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043c\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c \u00ab\u043a\u043e\u0441\u0442\u044f\u043a\u00bb: \u0442\u0438\u043f IsEmpty<\/code> \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u043e\u0432\u0430\u043d \u043e\u0434\u043d\u0438\u043c \u0442\u0438\u043f\u043e\u043c. \u041f\u043e \u0441\u0443\u0442\u0438, \u044d\u0442\u043e \u00ab\u0444\u0443\u043d\u043a\u0446\u0438\u044f\u00bb, \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0449\u0430\u044f \u043e\u0434\u0438\u043d \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442. \u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u0442\u0438\u043f TL<\/code> \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u2014 \u00ab\u043b\u044e\u0431\u043e\u0439 \u0442\u0438\u043f\u00bb, \u043c\u044b \u0434\u0435\u043b\u0430\u0435\u043c \u043f\u043e\u043b\u043d\u0443\u044e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u0448\u0430\u0431\u043b\u043e\u043d\u0430 \u0434\u043b\u044f \u0441\u043b\u0443\u0447\u0430\u044f \u0441 \u043f\u0443\u0441\u0442\u044b\u043c \u0441\u043f\u0438\u0441\u043a\u043e\u043c: TypeList<internal::Void, internal::Void><\/code>(\u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0431\u044b \u0438 \u043f\u0440\u043e\u0441\u0442\u043e TypeList<><\/code> \u0438\u043b\u0438, \u043a\u0430\u043a \u0440\u0430\u0437 \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e, \u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043b \u0442\u0438\u043f EmptyTypeList<\/code>) \u0438 \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u0443\u044e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u2014 \u00ab\u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 \u0442\u0438\u043f\u043e\u0432\u00bb. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043d\u0430\u0448\u0430 \u00ab\u0444\u0443\u043d\u043a\u0446\u0438\u044f\u00bb \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0430 \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u0441\u043f\u0438\u0441\u043a\u0430 \u0442\u0438\u043f\u043e\u0432. \u0412 \u043d\u043e\u0432\u043e\u043c \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u0435 \u043f\u043e\u044f\u0432\u0438\u043b\u0438\u0441\u044c \u0442\u0430\u043a\u0438\u0435 \u0443\u0434\u043e\u0431\u043d\u044b\u0435 \u0448\u0442\u0443\u043a\u0438, \u043a\u0430\u043a std::integral_constant<\/a>, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u0447\u0435\u043d\u044c \u0441\u0438\u043b\u044c\u043d\u043e \u0443\u043f\u0440\u043e\u0449\u0430\u044e\u0442 \u0436\u0438\u0437\u043d\u044c: \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u0441 struct IsEmpty : std::true_type<\/code>, IsEmpty<\/code> \u0438\u043c\u0435\u0435\u0442 \u0447\u043b\u0435\u043d \u043a\u043b\u0430\u0441\u0441\u0430 value<\/code>, \u0440\u044f\u0434 typedef<\/code>-\u043e\u0432 \u0438 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u0432 bool<\/code>.
  \u041a\u0430\u043a \u044d\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c ?:  <\/p>\n
typedef TypeList<int> TL1; std::cout << std::boolalpha << IsEmpty<TL1>::value << " " << IsEmpty<EmptyTypeList>() << std::endl; <\/code><\/pre>\n
  \u041f\u0443\u0441\u0442\u043e\u0439 \u043b\u0438 \u0441\u043f\u0438\u0441\u043e\u043a \u043c\u044b \u0438\u043c\u0435\u0435\u043c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435:  <\/p>\n
std::is_same<typename TypeList<Args...>::Head, internal::Void>::value && IsEmpty<typename TypeList<Args...>::Tail>::value <\/code><\/pre>\n
  \u0434\u043e\u0441\u043b\u043e\u0432\u043d\u043e \u2014 \u00ab\u0441\u043f\u0438\u0441\u043e\u043a \u043f\u0443\u0441\u0442, \u0435\u0441\u043b\u0438 \u0435\u0433\u043e \u0433\u043e\u043b\u043e\u0432\u0430 \u2014 \u044d\u0442\u043e \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0442\u0438\u043f, \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044e\u0449\u0438\u0439 void<\/code> \u0418 \u0435\u0441\u043b\u0438 \u0435\u0433\u043e \u0445\u0432\u043e\u0441\u0442 \u0442\u0430\u043a\u0436\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u0443\u0441\u0442\u044b\u043c \u0441\u043f\u0438\u0441\u043a\u043e\u043c\u00bb. \u041a\u0430\u043a \u0432\u0438\u0434\u043d\u043e, \u0437\u0434\u0435\u0441\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u0443\u044e, \u043a\u0430\u043a \u0440\u0430\u0437 \u0438 \u043e\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u0435\u0442, \u043f\u043e\u043b\u043d\u0430\u044f \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0448\u0430\u0431\u043b\u043e\u043d\u0430 \u0434\u043b\u044f \u043f\u0443\u0441\u0442\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430.
  \u0414\u0430\u043b\u044c\u0448\u0435:  <\/p>\n
Contains<\/h4>\n
  <\/p>\n
Contains<\/b><\/p>\n
\n
template<typename T, typename TL> struct Contains :     std::false_type { };  template<typename ...Args> struct Contains<internal::Void, Args...> :     std::false_type { };  template<typename T, typename ...Args> struct Contains<T, TypeList<Args...>> :     std::integral_constant<bool,         std::is_same<typename TypeList<Args...>::Head, T>::value ||         Contains<T, typename TypeList<Args...>::Tail>::value         > { }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  Contains<\/code> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u0435\u0441\u0442\u044c \u043b\u0438 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0439 \u0442\u0438\u043f T<\/code> \u0432\u043d\u0443\u0442\u0440\u0438 \u0441\u043f\u0438\u0441\u043a\u0430 \u0442\u0438\u043f\u043e\u0432 TL<\/code>. \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435:<\/p>\n
  \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435:  <\/p>\n
typedef TypeList<double, float, float, double, int, char, char, int, char> TL; std::cout << std::boolalpha << Contains<char, TL>::value << " " << Contains<float, TypeList<double>>() << std::endl; <\/code><\/pre>\n
  \u0421\u043d\u043e\u0432\u0430 \u0436\u0435: \u00ab\u0435\u0441\u043b\u0438 \u0433\u043e\u043b\u043e\u0432\u0430 \u0441\u043f\u0438\u0441\u043a\u0430 \u044d\u0442\u043e \u043d\u0430\u0448 \u0442\u0438\u043f T<\/code>, \u0442\u043e T<\/code> \u0435\u0441\u0442\u044c \u0432\u043d\u0443\u0442\u0440\u0438 \u0441\u043f\u0438\u0441\u043a\u0430, \u0430 \u0438\u043d\u0430\u0447\u0435 \u2014 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c, \u0435\u0441\u0442\u044c \u043b\u0438 T<\/code> \u0432 \u0445\u0432\u043e\u0441\u0442\u0435 \u0441\u043f\u0438\u0441\u043a\u0430\u00bb.
  \u0427\u0430\u0441\u0442\u0438\u0447\u043d\u0430\u044f \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u2014 \u043c\u0435\u0440\u0435 \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u043e\u0440\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u2014 \u0430 \u0432\u0434\u0440\u0443\u0433 \u043a\u0442\u043e-\u0442\u043e \u0432\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043d\u0430\u0448\u0438\u043c \u0442\u0438\u043f\u043e\u043c internal::Void<\/code>?  <\/p>\n
Length<\/h4>\n
  <\/p>\n
Length<\/b><\/p>\n
\n
template<typename TL> struct Length :     std::integral_constant<unsigned int, 0> { };  template<typename ...Args> struct Length<TypeList<Args...>> :     std::integral_constant<unsigned int,         IsEmpty<TypeList<Args...>>::value             ? 0             : 1 + Length<typename TypeList<Args...>::Tail>::value> { }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0415\u0441\u043b\u0438 \u0441\u043f\u0438\u0441\u043e\u043a \u043f\u0443\u0441\u0442 \u2014 \u0434\u043b\u0438\u043d\u0430 \u043d\u0443\u043b\u0435\u0432\u0430\u044f, \u0430 \u0438\u043d\u0430\u0447\u0435 \u2014 \u044d\u0442\u043e \u0435\u0434\u0438\u043d\u0438\u0446\u0430(\u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u00ab\u0433\u043e\u043b\u043e\u0432\u0430\u00bb(Head<\/code>)) + \u0434\u043b\u0438\u043d\u0430 \u0445\u0432\u043e\u0441\u0442\u0430:  <\/p>\n
typedef TypeList<double, float, float, double, int, char, char, int, char> TL; std::cout << Length<TL>::value << " " << Length<EmptyTypeList>() << std::endl; <\/code><\/pre>\n
  <\/p>\n
TypeAt<\/h4>\n
  <\/p>\n
template<unsigned int N, typename TL> struct TypeAt {     typedef internal::Void type; }; <\/code><\/pre>\n
   \u2014 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0442\u0438\u043f \u043f\u043e \u0438\u043d\u0434\u0435\u043a\u0441\u0443, \u043f\u043e\u0447\u0442\u0438, \u043a\u0430\u043a \u043c\u0430\u0441\u0441\u0438\u0432. \u0420\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u2014 \u043f\u0435\u0440\u0432\u044b\u0439 \u0437\u0430\u0445\u043e\u0434(\u043c\u0435\u043d\u044f\u0435\u043c \u0442\u0438\u043f N<\/code> \u043d\u0430 int<\/code>):  <\/p>\n
\/\/template<int N, typename ...Args> \/\/struct TypeAt<N, TypeList<Args...>> \/\/{     \/\/    typedef typename std::conditional<N == 0, \/\/        typename TypeList<Args...>::Head, \/\/        typename TypeAt<N - 1, typename TypeList<Args...>::Tail>::type>::type type; \/\/}; <\/code><\/pre>\n
   \u2014 \u0432\u0441\u0451 \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u0435\u043a\u0440\u0430\u0441\u043d\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c, \u043d\u043e! \u2014 \u0445\u043e\u0442\u0435\u043b\u043e\u0441\u044c \u0431\u044b \u0431\u044b\u0442\u044c \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0451\u043d\u043d\u044b\u043c, \u0435\u0441\u043b\u0438 \u0443\u043a\u0430\u0437\u0430\u043d \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u0438\u043d\u0434\u0435\u043a\u0441. \u041c\u043e\u0436\u043d\u043e \u0431\u044b \u0431\u044b\u043b\u043e \u0432\u044b\u043a\u0440\u0443\u0442\u0438\u0442\u044c\u0441\u044f \u0438 \u0441 \u0442\u0435\u043a\u0443\u0449\u0435\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0435\u0439, \u043d\u043e \u0437\u0434\u0435\u0441\u044c \u043d\u0443\u0436\u043d\u043e \u0443\u0447\u0438\u0442\u044b\u0432\u0430\u0442\u044c \u0442\u043e, \u0447\u0442\u043e \u0448\u0430\u0431\u043b\u043e\u043d \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u043e\u0432\u0430\u043d \u0434\u043b\u044f \u0441\u043b\u0443\u0447\u0430\u044f N=-1<\/code>. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0438\u0434\u0451\u043c \u0434\u0440\u0443\u0433\u0438\u043c \u043f\u0443\u0442\u0451\u043c:  <\/p>\n
template<typename ...Args> struct TypeAt<0, TypeList<Args...>> {     typedef typename TypeList<Args...>::Head type; };  template<unsigned int N, typename ...Args> struct TypeAt<N, TypeList<Args...>> {     static_assert(N < Length<TypeList<Args...>>::value, "N is too big");          typedef typename TypeAt<N - 1, typename TypeList<Args...>::Tail>::type type; }; <\/code><\/pre>\n
   \u2014 \u0433\u043e\u043b\u043e\u0432\u0430 \u0438\u043c\u0435\u0435\u0442 \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0438\u043d\u0434\u0435\u043a\u0441, \u0430 \u0434\u043b\u044f \u0434\u0440\u0443\u0433\u0438\u0445 \u0441\u043b\u0443\u0447\u0430\u0435\u0432 \u2014 \u0431\u0443\u0434\u0435\u043c \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u0443\u043c\u0435\u043d\u044c\u0448\u0430\u0442\u044c \u0438\u043d\u0434\u0435\u043a\u0441 \u043d\u0430 \u0435\u0434\u0438\u043d\u0438\u0446\u0443 \u0438 \u00ab\u0441\u044a\u0435\u0434\u0430\u0442\u044c\u00bb \u043a\u0443\u0441\u043e\u0447\u0435\u043a \u0445\u0432\u043e\u0441\u0442\u0430(\u043f\u0435\u0440\u0435\u0434\u0432\u0438\u0433\u0430\u0435\u043c\u0441\u044f \u0441\u043b\u0435\u0432\u0430 \u043d\u0430 \u043f\u0440\u0430\u0432\u043e), \u043f\u043e\u043a\u0430 \u043d\u0435 \u0441\u043c\u043e\u0436\u0435\u043c \u043e\u0442\u043d\u044f\u0442\u044c \u2014 \u0438\u043d\u0434\u0435\u043a\u0441 \u043d\u0443\u043b\u0435\u0432\u043e\u0439, \u0430 \u0442\u0435\u043a\u0443\u0449\u0430\u044f \u0433\u043e\u043b\u043e\u0432\u0430 \u0438 \u0435\u0441\u0442\u044c \u043d\u0443\u0436\u043d\u044b\u0439 \u043d\u0430\u043c \u0442\u0438\u043f! \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435:  <\/p>\n
typedef TypeList<char, short> TL2; static_assert(std::is_same<TypeAt<1, TL2>::type, short>::value, "Something wrong!"); <\/code><\/pre>\n
  <\/p>\n
\u0412\u044b\u0432\u043e\u0434 \u0441\u043f\u0438\u0441\u043a\u0430<\/h4>\n
  <\/p>\n
operator<<<\/b><\/p>\n
\n
\/\/ \u041f\u0443\u0441\u0442\u043e\u0439 \u0441\u043f\u0438\u0441\u043e\u043a std::ostream& operator<<(std::ostream& ostr, EmptyTypeList) { \tostr << "{}"; \treturn ostr; }  template<typename TL> void PrintTypeListHelper(TL, std::ostream& ostr) { }  template<typename T> void PrintTypeListHead(T, std::ostream& ostr) { \tostr << typeid(T).name(); }  template<typename ...Args> void PrintTypeListHead(TypeList<Args...> tl, std::ostream& ostr) { \tostr << tl; }  template<typename Head, typename ...Args> void PrintTypeListHelper(TypeList<Head, Args...>, std::ostream& ostr) { \tPrintTypeListHead(Head(), ostr); \tif(!IsEmpty<TypeList<Args...>>::value) \t{ \t\tostr << ' '; \t\tPrintTypeListHelper<Args...>(TypeList<Args...>(), ostr); \t} }  template<typename ...Args> std::ostream& operator<<(std::ostream& ostr, TypeList<Args...> tl) { \tostr << '{'; \tPrintTypeListHelper(tl, ostr); \tostr << '}'; \treturn ostr; } <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u042d\u0442\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043f\u043e\u043c\u043e\u0433\u0430\u044e\u0442 \u0430\u043a\u043a\u0443\u0440\u0430\u0442\u043d\u043e \u0432\u044b\u0432\u0435\u0441\u0442\u0438 \u043e\u0431\u044b\u0447\u043d\u044b\u0435 \u0441\u043f\u0438\u0441\u043a\u0438 \u0442\u0438\u043f\u043e\u0432 \u0438 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0435, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:  <\/p>\n
typedef TypeList<double, float, float, double, int, char, char, int, char> TL; std::cout << TL() << std::endl;  typedef TypeList<TL2, double, TL2> TL10; std::cout << TL10() << std::endl; <\/code><\/pre>\n
   {double float float double int char char int char} <\/code>
   {{char short} double {char short}} <\/code><\/p>\n
Append \u0438 Add<\/h4>\n
  <\/p>\n
Append, Add<\/b><\/p>\n
\u0424\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0432 \u043a\u043e\u043d\u0435\u0446 \u0441\u043f\u0438\u0441\u043a\u0430, \u0441 \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u043e\u0439 \u0440\u0430\u0437\u043d\u0438\u0446\u0435\u0439:  <\/p>\n
 template<typename TOrTL2, typename TL> struct Append { };  template<typename T, typename ...Args> struct Append<T, TypeList<Args...>> {     typedef TypeList<Args..., T> type; };  template<typename ...Args1, typename ...Args2> struct Append<TypeList<Args1...>, TypeList<Args2...>> {     typedef TypeList<Args2..., Args1...> type; };  template<typename T, typename TL> struct Add { };  template<typename T, typename ...Args> struct Add<T, TypeList<Args...>> { \ttypedef TypeList<Args..., T> type; }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u041f\u0440\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0438 Append<\/code> \u0441\u043e \u0441\u043f\u0438\u0441\u043a\u043e\u043c \u0442\u0438\u043f\u043e\u0432 \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0435 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u00ab\u0440\u0430\u0437\u043b\u043e\u0436\u0435\u043d\u0438\u0435\u00bb \u043d\u0430 \u0441\u043e\u0441\u0442\u0430\u0432\u043d\u044b\u0435. \u0422.\u0435.:  <\/p>\n
typedef TypeList<int> TL1; typedef TypeList<char, short> TL2;  std::cout << TL1() << ", " << TL2() << std::endl; std::cout << Add<TL2, TL1>::type() << ", " << Append<TL2, TL1>::type() << std::endl; <\/code><\/pre>\n
  {int}, {char short}<\/code>
  {int {char short}}, {int char short}<\/code>
  \u0412 \u043f\u0435\u0440\u0432\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0434\u043b\u0438\u043d\u0430 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u2014 2, \u0442\u043e\u0433\u0434\u0430 \u043a\u0430\u043a \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u2014 3, \u0442\u0430\u043a \u043a\u0430\u043a \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u043c\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a \u0442\u0438\u043f\u043e\u0432 \u00ab\u0440\u0430\u0437\u043b\u043e\u0436\u0438\u043b\u0441\u044f\u00bb \u043d\u0430 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u044b.  <\/p>\n
RemoveAll<\/h4>\n
  <\/p>\n
\u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432<\/b><\/p>\n
\n
template<typename TOrTL2, typename TL> struct RemoveAll { };  template<typename T, typename ...Args> struct RemoveAll<T, TypeList<Args...>> { private:     typedef typename RemoveAll<T, typename TypeList<Args...>::Tail>::type Removed;     typedef typename TypeList<Args...>::Head Head;      public:     typedef typename std::conditional<         std::is_same<Head, T>::value,         Removed,         typename Append<Removed, TypeList<Head>>::type         >::type type; };  template<typename T, typename Head> struct RemoveAll<T, TypeList<Head>> {     typedef typename std::conditional<         std::is_same<Head, T>::value,         EmptyTypeList,         TypeList<Head>>::type type; };  template<typename T> struct RemoveAll<T, EmptyTypeList> {     typedef EmptyTypeList type; }; <\/code><\/pre>\n
  <\/div>\n<\/div>\n
  \u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u0434\u0435\u043b\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a:  <\/p>\n
    \n
  • \u0421 \u043f\u0443\u0441\u0442\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 \u043c\u044b \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043c\u043e\u0436\u0435\u043c \u0443\u0434\u0430\u043b\u0438\u0442\u044c<\/li>\n
  • \u0415\u0441\u043b\u0438 \u0443 \u043d\u0430\u0441 \u0441\u043f\u0438\u0441\u043e\u043a \u0441 \u043e\u0434\u043d\u0438\u043c \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u043c(\u0442\u043e\u043b\u044c\u043a\u043e \u0433\u043e\u043b\u043e\u0432\u0430) \u2014 \u0442\u043e \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u043f\u0443\u0441\u0442\u043e\u0439 \u0441\u043f\u0438\u0441\u043e\u043a, \u0435\u0441\u043b\u0438 \u0442\u0438\u043f \u0433\u043e\u043b\u043e\u0432\u044b \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u0435\u0442 \u0441 \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u043c \u0438\u043b\u0438 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0438\u0437\u043c\u0435\u043d\u044f\u0442\u044c \u0432 \u043f\u0440\u043e\u0442\u0438\u0432\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435<\/li>\n
  • \u0414\u043b\u044f \u0432\u0441\u0435\u0445 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0445 \u0441\u043b\u0443\u0447\u0430\u0435\u0432 \u2014 \u0443\u0434\u0430\u043b\u0438\u0442\u044c \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u0441 \u0445\u0432\u043e\u0441\u0442\u0430 \u0438 \u0435\u0441\u043b\u0438 \u0442\u0438\u043f \u0433\u043e\u043b\u043e\u0432\u044b \u043d\u0435 \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u0435\u0442 \u0441 \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u043c \u0442\u0438\u043f\u043e\u043c \u2014 \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u0435\u0451 \u0434\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f<\/li>\n<\/ul>\n
      \u0412\u0430\u0436\u043d\u043e \u0442\u043e, \u0447\u0442\u043e, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043f\u0440\u0438 \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u0438 \u0441 \u0445\u0432\u043e\u0441\u0442\u0430 \u043c\u044b \u0441\u0433\u0440\u0443\u043f\u0438\u0440\u043e\u0432\u0430\u043b\u0438 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u043f\u0438\u0441\u043e\u043a \u0442\u0438\u043f\u043e\u0432, \u043f\u0440\u0438 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0438, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f Append<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u00ab\u0440\u0430\u0441\u043a\u0440\u0443\u0447\u0438\u0432\u0430\u0435\u0442\u00bb \u043d\u0430\u0437\u0430\u0434 \u0441\u0433\u0440\u0443\u043f\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a \u0442\u0438\u043f\u043e\u0432.
      \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435:  <\/p>\n
    typedef TypeList<double, float, float, double, int, char, char, int, char> TL; std::cout << TL() << std::endl; std::cout << RemoveAll<char, TL>::type() << std::endl; <\/code><\/pre>\n
      {double float float double int char char int char}<\/code>
      {double float float double int int}<\/code><\/p>\n
      \u041c\u043e\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0435\u0449\u0451 \u043e\u0434\u043d\u0443 \u0432\u0435\u0440\u0441\u0438\u044e RemoveAll<\/code>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0431\u0443\u0434\u0435\u0442 \u0443\u0434\u0430\u043b\u044f\u0442\u044c \u0441\u043e \u0432\u0442\u043e\u0440\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 \u0442\u0438\u043f\u043e\u0432 \u0432\u0441\u0435 \u0442\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0435\u0441\u0442\u044c \u0432 \u043f\u0435\u0440\u0432\u043e\u043c. \u041d\u043e! \u0412 \u0442\u0430\u043a\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0435\u0435 \u043d\u0435\u043b\u044c\u0437\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0434\u043b\u044f \u0441\u043f\u0438\u0441\u043a\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442 \u0434\u0440\u0443\u0433\u0438\u0435 \u0441\u043f\u0438\u0441\u043a\u0438:<\/p>\n
    RemoveAll v2<\/b><\/p>\n
    \n
    \/\/template<typename Head2, typename ...Args1> \/\/struct RemoveAll<TypeList<Head2>, TypeList<Args1...>> \/\/{ \/\/    typedef typename RemoveAll<Head2, TypeList<Args1...>>::type type; \/\/}; \/\/ \/\/template<typename ...Args1> \/\/struct RemoveAll<EmptyTypeList, TypeList<Args1...>> \/\/{ \/\/    typedef TypeList<Args1...> type; \/\/}; \/\/ \/\/template<typename ...Args2, typename ...Args1> \/\/struct RemoveAll<TypeList<Args2...>, TypeList<Args1...>> \/\/{ \/\/private: \/\/    typedef TypeList<Args2...> TL2; \/\/    typedef TypeList<Args1...> TL1; \/\/     \/\/    typedef typename RemoveAll<typename TL2::Tail, TL1>::type Removed; \/\/    typedef typename TL2::Head Head2; \/\/     \/\/public: \/\/    typedef typename std::conditional< \/\/        Contains<Head2, Removed>::value, \/\/        typename RemoveAll<Head2, Removed>::type, \/\/        TL1 \/\/        >::type type;     \/\/}; <\/code><\/pre>\n
      <\/div>\n<\/div>\n
      \u041f\u0440\u0438\u043c\u0435\u0440:  <\/p>\n
    typedef TypeList<double, float, float, double, int, char, char, int, char> TL; typedef TypeList<char, double> TL2; std::cout << TL() << std::endl; std::cout << RemoveAll<TL2, TL>::type() << std::endl; <\/code><\/pre>\n
      {double float float double int char char int char}<\/code>
      {float float int int}<\/code>  <\/p>\n
    RemoveDuplicates<\/h4>\n
      <\/p>\n
    RemoveDuplicates<\/b><\/p>\n
    \n
    template<typename TL> struct RemoveDuplicates { };  template<> struct RemoveDuplicates<EmptyTypeList> {     typedef EmptyTypeList type; };  template<typename ...Args> struct RemoveDuplicates<TypeList<Args...>> { private:     typedef TypeList<Args...> TL;     typedef typename RemoveAll<typename TL::Head, typename TL::Tail>::type HeadRemovedFromTail;     typedef typename RemoveDuplicates<HeadRemovedFromTail>::type TailWithoutDuplicates; public:     typedef typename Append<TailWithoutDuplicates, TypeList<typename TL::Head>>::type type; }; <\/code><\/pre>\n
      <\/div>\n<\/div>\n
      \u0424\u0443\u043d\u043a\u0446\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0443\u0434\u0430\u043b\u044f\u0435\u0442 \u0434\u0443\u0431\u043b\u0438\u043a\u0430\u0442\u044b:  <\/p>\n
      \n
    • \u0421 \u043f\u0443\u0441\u0442\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 \u043c\u044b \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043c\u043e\u0436\u0435\u043c \u0443\u0434\u0430\u043b\u0438\u0442\u044c<\/li>\n
    • \u0423\u0434\u0430\u043b\u044f\u0435\u043c \u0442\u0430\u043a\u0438\u0435 \u0436\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b, \u043a\u0430\u043a \u0438 \u0433\u043e\u043b\u043e\u0432\u0430 \u0438\u0437 \u0445\u0432\u043e\u0441\u0442\u0430<\/li>\n
    • \u0420\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0434\u043b\u044f \u0445\u0432\u043e\u0441\u0442\u0430<\/li>\n
    • \u041e\u0431\u044a\u0435\u0434\u0438\u043d\u044f\u0435\u043c \u0433\u043e\u043b\u043e\u0432\u0443 \u0441 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c<\/li>\n<\/ul>\n
        \u041f\u0440\u0438\u043c\u0435\u0440:  <\/p>\n
      typedef TypeList<double, float, float, double, int, char, char, int, char> TL; std::cout << TL() << std::endl; std::cout << RemoveDuplicates<TL>::type() << std::endl; <\/code><\/pre>\n
        {double float float double int char char int char}<\/code>
        {double float int char}<\/code>  <\/p>\n
      Find<\/h4>\n
        <\/p>\n
      \u041f\u043e\u0437\u0438\u0446\u0438\u044f \u0442\u0438\u043f\u0430 \u0432 \u0441\u043f\u0438\u0441\u043a\u0435<\/b><\/p>\n
       struct Constants {     typedef std::integral_constant<unsigned int, UINT_MAX\/*std::numeric_limits<unsigned int>::max()*\/> npos; };  namespace internal { template<typename T, unsigned int IndexFrom, typename TL> struct FindHelper :     std::integral_constant<unsigned int, 0> { };  template<typename T, unsigned int IndexFrom> struct FindHelper<T, IndexFrom, EmptyTypeList> :     std::integral_constant<unsigned int, 0> { };  template<typename T, unsigned int IndexFrom, typename ...Args> struct FindHelper<T, IndexFrom, TypeList<Args...>> :     std::integral_constant<unsigned int,         std::is_same<typename TypeList<Args...>::Head, T>::value         ? IndexFrom         : IndexFrom + 1 + FindHelper<T, IndexFrom, typename TypeList<Args...>::Tail>::value> { }; } \/\/ internal  template<typename T, typename TL> struct Find { };  template<typename T> struct Find<T, EmptyTypeList> :     Constants::npos { };  template<typename ...Args> struct Find<internal::Void, TypeList<Args...>> :     Constants::npos { };  template<typename T, typename ...Args> struct Find<T, TypeList<Args...>> :     std::integral_constant<unsigned int,         Contains<T, TypeList<Args...>>::value         ? internal::FindHelper<T, 0, TypeList<Args...>>::value         : Constants::npos::value> { }; <\/code>  <\/div>\n<\/div>\n
        \u041d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0432\u0435\u0449\u0435\u0439:
         \u2014 Constants<\/code> \u2014 \u0434\u043b\u044f \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442. \u0412 \u043d\u0430\u0448\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u044b, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0433\u043e\u0432\u043e\u0440\u0438\u0442 \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u043d\u0435 \u043d\u0430\u0439\u0434\u0435\u043d(constexp \u043d\u0435 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0432 \u043c\u043e\u0435\u0439 \u0441\u0442\u0443\u0434\u0438\u0438, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 UINT_MAX<\/code>)
         \u2014 internal::FindHelper<\/code> \u2014 \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0433\u043e\u0432\u043e\u0440\u044f, \u00ab\u0448\u0442\u0443\u043a\u0430\u00bb, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0438\u0449\u0435\u0442 \u0442\u0438\u043f \u0432 \u0441\u043f\u0438\u0441\u043a\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0442\u043e\u0447\u043d\u043e(!) \u044d\u0442\u043e\u0442 \u0442\u0438\u043f \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442(\u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 IndexFrom<\/code> \u2014 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043e\u0442\u0441\u0447\u0451\u0442\u0430, \u0441\u043e\u0432\u0441\u0435\u043c \u043d\u0435 \u043d\u0443\u0436\u043d\u0430\u044f \u0432\u0435\u0449\u044c:) \u2014 \u0440\u0430\u0441\u0441\u0447\u0438\u0442\u0430\u043d\u0430 \u043d\u0430 \u0441\u043b\u0443\u0447\u0430\u0439, \u043a\u043e\u0433\u0434\u0430 \u043d\u0443\u0436\u043d\u043e \u0431\u0443\u0434\u0435\u0442 \u0437\u0430\u0434\u0430\u0432\u0430\u0442\u044c \u0441 \u043a\u0430\u043a\u043e\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0438 \u043d\u0430\u0447\u0438\u043d\u0430\u0442\u044c \u043f\u043e\u0438\u0441\u043a)<\/p>\n
        \u0421\u043d\u043e\u0432\u0430 \u0436\u0435 \u2014 \u043d\u0438\u0447\u0435\u0433\u043e \u0437\u0430\u043c\u044b\u0441\u043b\u043e\u0432\u0430\u0442\u043e\u0433\u043e \u2014 \u0435\u0441\u043b\u0438 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0439 \u0442\u0438\u043f \u0438 \u0442\u0438\u043f \u0433\u043e\u043b\u043e\u0432\u044b \u0441\u043f\u0438\u0441\u043a\u0430 \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u0435\u0442 \u2014 \u0442\u043e\u0433\u0434\u0430 \u0438\u043d\u0434\u0435\u043a\u0441 \u2014 \u043d\u0443\u043b\u0435\u0432\u043e\u0439, \u0430 \u0438\u043d\u0430\u0447\u0435 \u2014 \u043f\u0435\u0440\u0435\u043c\u0435\u0441\u0442\u0438\u0442\u0441\u044f \u0432\u043f\u0440\u0430\u0432\u043e \u043d\u0430 1\u0446\u0443 \u0438 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0442\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435 \u0434\u043b\u044f \u0445\u0432\u043e\u0441\u0442\u0430 \u0441\u043f\u0438\u0441\u043a\u0430.
        \u041f\u0440\u0438\u043c\u0435\u0440:  <\/p>\n
      typedef TypeList<double, float, float, double, int, char, char, int, char> TL; std::cout << std::boolalpha << std::is_same<TypeAt<Find<double, TL>::value, TL>::type, double>() << std::endl; <\/code><\/pre>\n
      Slice<\/h4>\n
        <\/p>\n
      Slice<\/b><\/p>\n
      \n
      namespace internal { template<unsigned int IndexBegin, unsigned int IndexEnd, typename TL> struct SliceHelper { };  template<unsigned int IndexBegin, unsigned int IndexEnd> struct SliceHelper<IndexBegin, IndexEnd, EmptyTypeList> {     typedef EmptyTypeList type; };  template<unsigned int IndexBegin, typename ...Args> struct SliceHelper<IndexBegin, IndexBegin, TypeList<Args...>> {     typedef TypeList<typename TypeAt<IndexBegin, TypeList<Args...>>::type> type; };  template<unsigned int IndexBegin, unsigned int IndexEnd, typename ...Args> struct SliceHelper<IndexBegin, IndexEnd, TypeList<Args...>> { private:     static_assert(IndexEnd >= IndexBegin, "Invalid range");     typedef TypeList<Args...> TL; public:     typedef typename Add<         typename TypeAt<IndexEnd, TL>::type,         typename SliceHelper<IndexBegin, IndexEnd - 1, TL>::type         >::type type; };  } \/\/ internal  template<unsigned int IndexBegin, unsigned int IndexAfterEnd, typename TL> struct Slice { };  template<unsigned int IndexBegin, unsigned int IndexEnd, typename ...Args> struct Slice<IndexBegin, IndexEnd, TypeList<Args...>> {     typedef typename internal::SliceHelper<IndexBegin, IndexEnd, TypeList<Args...>>::type type; };  template<unsigned int Index, typename TL> struct CutTo { };  template<unsigned int Index, typename ...Args> struct CutTo<Index, TypeList<Args...>> {     typedef typename Slice<0, Index, TypeList<Args...>>::type type; };  template<unsigned int Index, typename TL> struct CutFrom { };  template<unsigned int Index, typename ...Args> struct CutFrom<Index, TypeList<Args...>> { private:     typedef TypeList<Args...> TL; public:     typedef typename Slice<Index, Length<TL>::value - 1, TL>::type type; }; <\/code><\/pre>\n
        <\/div>\n<\/div>\n
        \u00ab\u0412\u044b\u0440\u0435\u0437\u0430\u0435\u0442\u00bb \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u0443\u044e \u0447\u0430\u0441\u0442\u044c \u0441\u043f\u0438\u0441\u043a\u0430:  <\/p>\n
        \n
      • \u0421 \u043f\u0443\u0441\u0442\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 \u043c\u044b \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043c\u043e\u0436\u0435\u043c \u0432\u0437\u044f\u0442\u044c<\/li>\n
      • \u041a\u043e\u0433\u0434\u0430 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0435 \u043d\u0430\u0447\u0430\u043b\u043e(IndexBegin<\/code>) \u0438 \u043a\u043e\u043d\u0435\u0446(IndexEnd<\/code>) \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u044e\u0442, \u0442\u043e \u044d\u0442\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 TypeAt<IndexBegin><\/code><\/li>\n
      • \u041d\u0430\u0447\u0438\u043d\u0430\u044f \u0441 \u043a\u043e\u043d\u0446\u0430 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u0433\u043e \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u0430, \u0432\u0437\u044f\u0442\u044c \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0438 \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043a \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0443 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e\u0433\u043e \u0432\u044b\u0437\u043e\u0432\u0430(\u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043a\u043e\u043d\u0435\u0446 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u0433\u043e \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u0430 \u0443\u043c\u0435\u043d\u044c\u0448\u0430\u0435\u0442\u0441\u044f \u043d\u0430 1\u0446\u0443)<\/li>\n<\/ul>\n
          \u041f\u0440\u0438\u043c\u0435\u0440:  <\/p>\n
        typedef TypeList<double, float, float, double, int, char, char, int, char> TL; std::cout << TL() << std::endl; std::cout << Slice<2, 6, TL>::type() << std::endl; std::cout << CutTo<2, TL>::type() << std::endl; std::cout << CutFrom<8, TL>::type() << std::endl; <\/code><\/pre>\n
          {double float float double int char char int char}<\/code>
          {float double int char char}<\/code>
          {double float float}<\/code>
          {char}<\/code><\/p>\n
        Replace<\/h4>\n
          <\/p>\n
        Replace<\/b><\/p>\n
        \n
        template<unsigned int Index, typename NewValue, typename TL> struct Replace { };  template<typename NewValue, typename ...Args> struct Replace<0, NewValue, TypeList<Args...>> {     typedef typename Append<typename TypeList<Args...>::Tail, TypeList<NewValue>>::type type; };  template<unsigned int Index, typename NewValue, typename ...Args> struct Replace<Index, NewValue, TypeList<Args...>> { private:     typedef TypeList<Args...> TL;     typedef std::integral_constant<bool, Index == Length<TL>::value - 1> AtEndWorkAround;  public:     typedef typename std::conditional<         AtEndWorkAround::value,         typename internal::ReplaceEnd<NewValue, TL>::type,         typename internal::ReplaceMiddle<AtEndWorkAround::value, Index, NewValue, TL>::type         >::type type; }; <\/code><\/pre>\n
          <\/div>\n<\/div>\n
          \u0417\u0430\u043c\u0435\u043d\u044f\u0435\u0442 \u0442\u0438\u043f \u0432 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0438(Index<\/code>) \u043d\u0430 \u0434\u0440\u0443\u0433\u043e\u0439(NewValue<\/code>):  <\/p>\n