非常基础的模板元编程问题!

 #include <iostream>
using namespace std;

template<unsigned M,unsigned N>
struct Gcd {
    enum{ VALUE = ( (N % M == 0) ? M : (Gcd<N % M ,M>::VALUE))};
};

int main()
{
    const int a = Gcd<5, 10>::VALUE;
    cout << a << endl;
    return 0;
}

图片说明
//编译错误:
1> 9_23-2.cpp
1>g:\c++\homework in book\9_23-2\9_23-2\9_23-2.cpp(10): error C2065: “VALUE”: 未声明的标识符
1> g:\c++\homework in book\9_23-2\9_23-2\9_23-2.cpp(10): note: 参见对正在编译的类 模板 实例化“Gcd”的引用
1> g:\c++\homework in book\9_23-2\9_23-2\9_23-2.cpp(10): note: 参见对正在编译的类 模板 实例化“Gcd”的引用
1> g:\c++\homework in book\9_23-2\9_23-2\9_23-2.cpp(15): note: 参见对正在编译的类 模板 实例化“Gcd”的引用
1>g:\c++\homework in book\9_23-2\9_23-2\9_23-2.cpp(10): error C2056: 非法表达式
========== 生成: 成功 0 个,失败 1 个,最新 0 个,跳过 0 个 ==========

模板类的定义存在循环,struct Gcd 的成员 VALUE 依赖于模板类自身。

如果换成其他常量表达式则不会出现问题,例如:

template
struct Gcd {
enum{ VALUE = ( (N % M == 0) ? M : N))};
};