可变模板部分专业化和constexpr

我试图理解模板和变量模板。考虑一下：

template<int M, int N>
const int gcd1 = gcd1<N, M % N>;
template<int M>
const int gcd1<M, 0> = M;
std::cout << gcd1<9, 6> << "n";

它打印了 0，这是错误的。但是，如果我使用上面的constexpr代替const，则获得了正确的答案3。我再次使用结构模板得到正确的答案：

template<int M, int N>
struct gcd2 {
    static const int value = gcd2<N, M % N>::value;
};
template<int M>
struct gcd2<M, 0> {
    static const int value = M;
};
std::cout << gcd2<9, 6>::value << "n";

我在做什么错？

编辑： gcd1也没有基本案例专业化。怎么会？我正在使用Visual Studio2015。