3

我需要使用在另一个模板类中定义的模板类作为另一个模板的参数作为模板方法中的返回值。我知道这听起来很复杂，下面的代码更好地解释了它。问题是代码无法编译，它以以下错误结束：

type/value mismatch at argument 2 in template parameter list for 'template<class T, template<class> class Policy> class Result'
expected a class template, got 'CDummy<T2>::Policy2'

但我很确定给定的课程可以满足需求。问题是使用它的方法也是模板，所以编译器不知道到底CDummy<T2>::Policy2是什么。如果Policy2不是模板，而是常规类，或者如果我可以填充它的参数，我会使用typenamewhich 会告诉编译器不要担心它，但是如何使用模板来完成呢？

// I cannot change this interface - it's given by a library
template <class T, template <class> class Policy>
class Result : public Policy<T>
{
    T data;
};

template <class T>
class Policy1
{

};

// I use this for allowing Policy2 to change behaviour according Dummy
// while it keeps template interface for class above
template <class Dummy>
class CDummy
{
public:
    template <class T>
    class Policy2 : public Policy1<T>
    {

    };
};

// Both variables are created ok
Result<int, Policy1 > var1;
Result<int, CDummy<float>::Policy2 > var2;

// This is ok, too
template <class T>
Result<T, Policy1 > calc1()
{
    return Result<int, Policy1>();
}

// But this ends with the error:
// type/value mismatch at argument 2 in template parameter list for 'template<class T, template<class> class Policy> class Result'
// expected a class template, got 'CDummy<T2>::Policy2'
template <class T1, class T2>
Result<T1, CDummy<T2>::Policy2 > calc2() // <-- Here is the generated error
{
    typedef typename DummyTypedef CDummy<T2>;
    return Result<T1, DummyTypedef::Policy2>();
}

笔记：

  • 我在 GNU/Linux Ubuntu 13.04 中使用 gcc 4.7.3 32bit。32 位。
  • 由于各种原因，我不能使用 C++11 标准（还），所以我不能使用模板类型定义
4

1 回答 1

4

我相信该CDummy<T2>::Policy2名称在该上下文中是一个从属名称，您应该使用template关键字通知编译器它确实是一个模板。

template <class T1, class T2>
Result<T1, CDummy<T2>::template Policy2 > calc2() // <-- Here is the generated error
//                     ^^^^^^^^

此外，相同功能的实现似乎也是错误的。s的顺序typedef是original name，new name，并且CDummy<T2>已知是一种类型（即不需要typename）：

typedef CDummy<T2> DummyTypedef;

那么 return 语句将是：

return Result<T1, DummyTypedef::template Policy2>();
于 2013-06-25T16:14:43.073 回答