Question

我希望从子类D调用基类A的方法，通过C :: A和B :: A继承它。

template <class PType>
class A
{
public:
    template <class ChildClass>
    void Func( void )
    {
        std::cout << "Called A<PType>::Func<ChildClass>" << std::endl;
    }
};

template <class PType>
class B : public A<PType>
{
};

template <class PType>
class C : public A<PType>
{
};

class D : public B<int>, public C<int>
{
public:
    D()
    {
        static_cast<B<int>*>( this )->A<int>::Func<D>();
        static_cast<C<int>*>( this )->A<int>::Func<D>();
    }
};

这按预期工作，D在初始化时调用B :: A :: Func和C :: A :: Func，并带有子类的模板参数。但是，当D是模板类时，这似乎不起作用。

template <class PType>
class D2 : public B<PType>, public C<PType>
{
public:
    D2()
    {
        //expected primary-expression before ‘>’ token
        //expected primary-expression before ‘)’ token
        static_cast<B<PType>*>( this )->A<PType>::Func< D2<PType> >();
        static_cast<C<PType>*>( this )->A<PType>::Func< D2<PType> >();
    }
};

问题似乎是模板参数D2到Func，但除此之外无法弄明白。

Answer 1

当您使用其值/类型/ template状态取决于template类型参数的名称时，您必须手动消除编译器的名称。

这是为了使解析变得更加容易，并且可以在将类型传递到template之前很久就完成。

您可能认为这显然是template函数调用，但<和>可以进行比较，模板函数可以是值或类型等等。

默认情况下，假定此类相关名称为值。如果您希望将它们视为一种类型，请使用typename。如果您想将其中一个视为模板，请使用template作为关键字。

这样的事情：

   static_cast<B<PType>*>( this )->template A<PType>::template Func< D2<PType> >();

现在，当您与完全实例化的template进行交互时，这不是必需的。所以：

   static_cast<B<int>*>( this )->A<int>::Func< D2<PType> >();

由完全实例化的template类型B<int>组成，因此A的类别不再依赖于（本地未确定的）template参数。同样，->A<int>是完全实例化的template类型，因此::Func不再依赖于（本地未确定的）template参数。

c ++：通过多级继承从模板子类调用基类的模板方法

1 个答案: