c++ - 从类型包中解压模板模板参数

Question

如何修复 using 行？

test_temp.cpp:

#include <memory>
template <typename A, typename B, template<typename> class C>
class X {};

template <typename A1, typename B1, template<typename> class C1>
class Type_bundle {
public:
    typedef A1 A;
    typedef B1 B;
    template<typename T> using C = C1<T>;
};

template <typename T_b>
using X_b = X<typename T_b::A, typename T_b::B, typename T_b::template C>;


int main() {
    typedef Type_bundle<int,float,std::allocator> Ttb;
    X_b<Ttb> x;
}

来自 clang++ 的错误

test_temp.cpp:14:63: error: expected an identifier or template-id after '::'
using X_b = X<typename T_b::A, typename T_b::B, typename T_b::template C>;
                                                         ~~~~~^

为什么这行不通？

Answer 1

当你写的时候:

template <typename T_b>
using X_b = X<typename T_b::A, typename T_b::B, typename T_b::template C>;
//                                              ~~~~~~~~~

这表明后面将是一个类型的名称。但是T_b::template C不是一个类型，它是一个模板，所以这个结构是无效的。如果您继续将参数传递给 C，您将使用该构造, 比如 typename T_b::template C<D> .那里，两个typename和 template是必要的。

你想要的只是:

template <typename T_b>
using X_b = X<typename T_b::A, typename T_b::B, T_b::template C>;

没有typename .