C++ Templates: Euclid's Algorithm

A while back I was going though the first chapters of Knuth's The Art of Computer Programming and came across Euclid's algorithm for finding the greatest common denominator. I decided to implement the algorithm as a C++ template. Here's the complete example.

#include <iostream>

using namespace std;

template <int M, int N>
struct Euclids
{
  enum { value = Euclids<N, M%N>::value };
};

template <int N>
struct Euclids<N, 0>
{
  enum { value = N };
};

int main(int, char *[])
{
  cout << "GCD: 5,4: " << Euclids<5,4>::value << endl;
  cout << "GCD: 10, 5: " << Euclids<10, 5>::value << endl;
  cout << "GCD: 18, 8: " << Euclids<18, 8>::value << endl;
  cout << "GCD: 894744, 2312: " << Euclids<894744, 2312>::value << endl;
  cout << "GCD: 100, 10000: " << Euclids<100, 10000>::value << endl;
  cout << "GCD: 40, 50: " << Euclids<40,50>::value << endl;
}

Comments

Output:

GCD: 5,4: 1
GCD: 10, 5: 5
GCD: 18, 8: 2
GCD: 894744, 2312: 2312
GCD: 100, 10000: 100
GCD: 40, 50: 10