题目描述

给定两个正整数a和b，求它们的最大公约数（GCD）。最大公约数是指能够同时整除a和b的最大正整数。可以使用辗转相除法（欧几里得算法）来高效求解：gcd(a, b) = gcd(b, a % b)，当b为0时，a即为最大公约数。请实现一个函数返回两个数的最大公约数。