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

Question

 #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 个 ==========

Answer 1

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

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

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