两种类型的模板特化

Question

我的类模板AnimCurve 中有一个静态成员函数lerp()，我想专门用于四元数，这样：

template<>
inline Quatf AnimCurve<Quatf>::lerp( 
    const Quatf& start, 
    const Quatf& end, 
    float time 
    )
{
    return start.slerp(time, end);
}

但是，这还不够通用，因为还可以使用Quatd。由于Quatf 和Quatd 都是Quaternion<T> 的类型定义，是否可以编写一个对两者都适用的函数？

这是AnimCurve的当前定义：

template< typename T >
class AnimCurve {
public:
    AnimCurve() {}
    void addKeyframe(float time, T value);
    T getvalue(float time) const;
private:
    static inline T lerp( const T& start, const T& end, float time );
    std::map<float, T> mKeyframes;
};

Answer 1

是否可以编写一个对两者都适用的函数，因为 Quatf 和 Quatd 都是四元数的类型定义？

如果您想将 lerp 算法专门化为 完全 Quaternion 类模板的这两个实例化，而不是其他实例化，那么不，您必须明确专门化它们两个：一次用于AnimCurve<Quatf>，一次用于AnimCurve<Quatd>。