Все мы любим частично специализировать шаблоны.
Вот примерно так:
template <class>
struct Flip;
template <class A, class B>
struct Flip <std::pair<A, B>>
{};
template <class A>
struct Flip <std::array<A, 2>>
{};Неудобно, что перед тем как использовать новое имя в аргументах, его нужно сначала объявить в параметрах шаблона.
Из-за этого код бывает многословным:
template <class T, T A, class B>
struct Cons;
template <class T, template<T...>class Arr, T Head, T...Tail>
struct Сons <T, Head, Arr<Tail...>>
{};Что, если сделать специальный синтаксический сахар (с транслятором в стандартные кресты) для того, чтобы можно было делать объявления прямо внутри аргументов?
template <>
struct Flip <std::pair<class A, class B>>
{};
template <>
struct Flip <std::array<class A, 2>>
{};
template <template<class T...>class Arr>
struct cons <T Head, Arr<T...Tail>>
{};template <> без параметров можно опустить.
Вместо template<class T...>class Arr в объявлении можно писать class Arr<T...>.
И заменить ключевое слово class на @.
struct Flip <std::pair<@A, @B>>
{};
struct Flip <std::array<@A, 2>>
{};
template <@Arr<@T...>>
struct cons <T Head, Arr<T...Tail>>
{};Да, не стоит забывать, что объявленное можно использовать более одного раза. Следующие строки эквивалентны:
template <class A> struct Eq <A, A> {};
struct Eq <@A, @A> {};
struct Eq <@A, A> {};С таким сахаром писать на крестах будет немного проще.
