重载模板函数：单个函数的特化

Question

我有一个模板类：

template<class T> rationnel<T>{
    void simplifier()

    T numerator;
    T denominateur;
}

我想在T = polynome<rationnel<int>>的情况下指定我的函数simplifier()因为它的含义不完全相同。 我能怎么做 ？ 使用typeid()不起作用（它不知道我想要的类型，即polynome<rationnel<long>> ），也没有重载（它不接受任何新定义）。 有没有办法做到这一点 ？ 我的程序很长很复杂，我只需要这样做。 谢谢 ！

我在网上发现，我可以使用：

template<> void rationnel<polynome<rationnel<long>>>::simplifier() {
    return;
};

但它给出了错误 C2908 (visual studio)。 它说我没有声明专门的类rationnel<polynome<rationnel<int>>>但是我已经尝试了很多命令......仍然没有工作......

我发现了！ 问题是我使用了两个不同的类。 所以我添加了一个新的标头（composition.hpp），其中包含两个标头（我需要的两个类），然后是模板<> 特化！ 不管怎么说，还是要谢谢你 ;-） -