如何实现用欧几里得算法求最大公约数gcd()？

int gcd(int a, int b) { return b == 0 ? a : gcd(b, a%b); }
欧几里德算法又称辗转相除法，是指用于计算两个正整数a，b的最大公约数。应用领域有数学和计算机两个方面。计算公式gcd(a,b) = gcd(b,a mod b)。
(a,b)和(b,a mod b)的公约数是一样的，其最大公约数也必然相等。
详见《挑战程序设计竞赛》P113