c++ - 分数元类减法方法不编译

Question

我正在尝试编写struct Fraction在编译时执行基本操作的代码。请注意，这没有任何实际用途 - 我只是作为练习。

我从这个开始：

namespace internal
{
    // Euclid algorithm
    template <int A, int B>
    struct gcd
    {
        static int const value = gcd<B, A % B>::value;
    };

    // Specialization to terminate recursion
    template <int A>
    struct gcd<A, 0>
    {
        static int const value = A;
    };
}

template <int Numerator, int Denominator>
struct Fraction
{
    // Numerator and denominator simplified
    static int const numerator = Numerator / internal::gcd<Numerator, Denominator>::value;
    static int const denominator = Denominator / internal::gcd<Numerator, Denominator>::value;

    // Add another fraction
    template <class Other> struct add
    {
        typedef Fraction<
            Numerator * Other::denominator + Other::numerator * Denominator,
            Denominator * Other::denominator
        > type;
    };
};

这编译并工作：Fraction<1,2>::add< Fraction<1,3> >::type将是Fraction<5,6>. 现在我尝试加减法：

template <class Other>
struct sub
{
    typedef typename Fraction<Numerator, Denominator>::add<
        Fraction<-Other::numerator, Other::denominator>
    >::type type;
};

但我得到一个我不明白的编译器错误：

Error: "typename Fraction<Numerator, Denominator>::add" uses "template<int Numerator, int Denominator> template <class Other> struct Fraction::add" which is not a type

有人可以向我解释编译器在说什么，为什么不允许我做我想做的事吗？顺便说一句，我正在使用g++ 4.4.6。

Answer 1

使用模板关键字。

template <class Other>
struct sub
{
    typedef typename Fraction<Numerator, Denominator>::template add<
        Fraction<-Other::numerator, -Other::denominator>
    >::type type;
};

http://liveworkspace.org/code/26f6314be690d14d1fc2df4755ad99f6

阅读这篇文章我必须在哪里以及为什么要放置“模板”和“类型名”关键字？以获得更好的解释。