С boost::MP11 как применять параметры шаблона по одному? ⇐ C++

[Anonymous]

Мне сложно заставить работать что-то вроде следующего:

Код: Выделить всё

template< typename T1, typename T2>
struct Func{
using type = boost::mp11::mp_same< T1, T2 >;
};

using FuncHas1 = Func< int >;
using FuncHas2 = FuncHas1< float >;

// Finally FuncHas2 = Func< int, float >,
// which yields FuncHas2::type == mp_false

Изначально я предполагаю, что это типичный вариант использования привязки. Однако mp_bind требует использования ::fn. Для этого необходимо добавить дополнительный код в определение FuncHas2, не так ли?
Я хочу, чтобы тип с несколькими параметрами шаблона мог принимать один параметр в время. Я хочу это сделать, потому что планирую сначала применить тип структуры к list1 (который имеет набор параметров для T1), а затем снова применить его к list2, который имеет список вторых параметров для Т2. Как это сделать?

Подробнее здесь: https://stackoverflow.com/questions/782 ... -at-a-time