c++ - 两个模板模板参数，其中一个需要另一个

Question

这很难描述。我有一个带有两个模板模板参数的类 (Duo)。其中一个类是另一个类的参数，但它还没有完全定义，直到我们进入 Holder 中，然后我使用模板参数实例化 Solid只有持有者知道。

template<class T>
struct Solid
{
    T _t;
};

template<template<typename> class SE>
struct Holder
{
    SE<int> _se;
};

template<template<typename> class HOLD,
         template<typename> class S>
struct Duo 
{
    HOLD<S> _mem;
};


int main()
{
    Duo<Holder, Solid> a;
    return 0;
}

但是，我收到此编译器错误:

   29 |     HOLD<S> _mem;
      |              ^
main.cpp:29:14: note:   expected a type, got ‘S’

有办法实现这一点吗？

Answer 1

HOLD 的参数必须是模板而不是类型:

template<
    template<template <typename> class> class HOLD,
    template<typename> class S
>
struct Duo