单功能类部分模板专业化，如何解决其他成员的未定义错误

Question

我有以下模板类。我需要专门针对某些特定的outT案例alloc功能。

template <typename inT, typename outT> 
class Filter { 
public: 

    typedef inT InputType; 
    typedef outT OutputType; 

    struct Options { 
    int a, b, c; 
    }; 

    virtual void alloc(); 

}; 



// Partial template specialization for SpecificOutputType 
template < typename inT> 
class Filter<inT, SpecificOutputType> { 

    virtual void alloc(); 

}; 

这将导致Options类和OutputType被未定义的GCC，例如：

using FilterType = Filter<SomeIn, SpecificOutputType>: 
FilterType::Options options; 

结果

error: ‘Options’ is not a member of `Filter<SomeIn, SpecificOutputType>` 

如果我使用某种类型的比其他的这个错误不会发生SpecificOutputType。

我该如何解决这个问题？

Answer 1

每个template specialization是独立的，它们与主模板无关，因此您还必须明确定义Options，OutputType和模板专门化中的其他必要成员。

部分专业化的成员与主要模板的成员无关。

您可以制作一个通用的基类模板以避免代码重复。

template <typename inT, typename outT> 
class FilterBase { 
public: 

    typedef inT InputType; 
    typedef outT OutputType; 

    struct Options { 
    int a, b, c; 
    }; 

}; 

template <typename inT, typename outT> 
class Filter : public FilterBase<inT, outT> { 
public: 
    virtual void alloc(); 
}; 


// Partial template specialization for SpecificOutputType 
template <typename inT> 
class Filter<inT, SpecificOutputType> : public FilterBase<inT, SpecificOutputType> { 
    virtual void alloc(); 
};