有没有办法恢复嵌入在 boost mpl 报价中的原始模板模板类？

Question

我引用了一个模板类将其放入 mpl::vector 中：

boost::mpl::vector<int, boost::mpl::quote2<std::pair>>

然后，我得到了这样的第二个元素：

using A=typename boost::mpl::at<T, boost::mpl::int_<2>>::type;

我现在需要将原始模板类传递给这样的类：

template<class A, template<class, class> class C>
class B{
    C<A, B*> _c;
};

我尝试使用apply或bind，但找不到让B接受第二个参数的方法。

我遇到了这样的错误：

error: template argument for template template parameter must be a class template or type alias template

编辑：

示例代码：

#include <boost/mpl/vector.hpp>
#include <boost/mpl/quote.hpp>
#include <boost/mpl/at.hpp>

template<class, class> class A{};
template<class A, template<class, class> class C>
class B{
    C<A, B*> _c;
};
using T=boost::mpl::vector<int, boost::mpl::quote2<A>> ;
using T1=typename boost::mpl::at<T, boost::mpl::int_<0>>::type;
using T2=typename boost::mpl::at<T, boost::mpl::int_<1>>::type;

int main(){
    B<T1, T2> b;
    return 0;
}

我明白了：

error: template argument for template template parameter must be a class template or type alias template B<T1, T2> b;

Answer 1

MPL 在很大程度上仍然是一个 C++03 库 AFAIK，您正试图让它生成一些在 C++11 之前概念上不存在的东西。我怀疑在这种情况下让quote 工作是语法的巧合，而不是预期的功能。

以下代码在VC2013中编译成功：

#include <boost/mpl/vector.hpp>
#include <boost/mpl/quote.hpp>
#include <boost/mpl/apply.hpp>
#include <boost/mpl/at.hpp>

template<class, class> class A{};
template<class A, template<class, class> class C>
class B{
    C<A, B*> _c;
};
using T = boost::mpl::vector < int, boost::mpl::quote2<A> > ;
using T1 = boost::mpl::at<T, boost::mpl::int_<0>>::type;
using T2 = boost::mpl::at<T, boost::mpl::int_<1>>::type;

template<typename X1, typename X2>
using TT2 = typename boost::mpl::apply<T2, X1, X2>::type;

int main(int argc, char* argv[])
{
    B<T1, TT2> b;
    return 0;
}