你能模板专门化一个没有模板的子类吗？

Question

struct Thing
{

} ;

template <typename T> struct VertexWriter : public Thing
{ 
    template <typename S>
    bool intersects( S* otherThing )
    {
        // has a body, returns T or F
    }
} ;

struct Rocket : VertexWriter<VertexPNCT>
{
    template <typename S>
    bool intersects( S* otherThing ) ; // WANTS TO OVERRIDE
    // implementation in VertexWriter<T>
} ;

但是Rocket指定它是vertexpnct>，因此它不再是模板类。它是否可以像虚函数一样专门化或重写Intersects？

Answer 1

不，正如您所说的，您不能使用虚函数，虚函数将提供运行时多态性。

也就是说，根据更改类布局的余地，您可能可以使用CRTP做一些事情。

template <typename T, typename Derived> struct VertexWriter : public Thing
{ 
    template <typename S>
    bool intersects( S* otherThing )
    {
        return static_cast<Derived*>(this)->insersects_impl(otherThing);
    }

    template<typename S>
    bool insersects_impl( S* otherThing)
    {
         // Whatever
    }
} ;

struct Rocket : VertexWriter<VertexPNCT, Rocket>
{
   template <typename S>
   bool intersects_impl( S* otherThing ) { ... } // WANTS TO OVERRIDE
                       // implementation in VertexWriter<T>
} ;

Intersects的基本实现只是转发到CRTP函数。如果派生类重写它，它将使用重写，但否则它将返回默认值。注意，这确实会使您的类层次结构变得复杂，但可能会达到您所期望的目的。