使用另一个模板中的参数转换模板

Foo ,它有两个模板参数, A 和 B :

template<typename A, typename B>
struct Foo {};

我还有课 Base ,其中有一个模板参数:

template<template<typename B> typename Foo>
struct Base {};

我想写一节课 Derived 假设如下:

• 派生 有一个模板参数( A. )
• 派生 扩展类
• 派生 作为模板参数传递给类 基础 福 ,但只有一个参数“currying”( A. )

这是我的( not working )解决方案:

template<template<typename B> typename Foo>
struct Base {};

template<typename A, typename B>
struct Foo {};

template<template<typename A, typename B> typename Foo, typename A>
struct BindFirst {
    template<typename B>
    using Result = Foo<A, B>;
};

template<typename A>
struct Derived : Base<

        // error is here
        typename BindFirst<Foo, A>::Result

> {};

模板参数的模板参数必须是类模板或类型别名模板