用C++编写程序，该程序通过递归方法求两个整数的最大公约数（GCD），并包含主函数进行验证：

在C++中，你可以使用递归的方式来计算两个整数的最大公约数（GCD）。这里是一个简单的例子：

#include <iostream>

// 使用欧几里得算法计算最大公约数
int gcd(int a, int b) {
    if (b == 0)
        return a;
    else
        return gcd(b, a % b);
}

// 主函数来验证递归gcd函数
int main() {
    int num1, num2;
    std::cout << "请输入两个整数：";
    std::cin >> num1 >> num2;

    // 计算并打印结果
    int result = gcd(num1, num2);
    std::cout << "这两个数的最大公约数是: " << result << "\n";

    // 验证gcd是否正确
    if (result != num1 && result != num2) {
        std::cout << "输入的两个数字互质（最大公约数为1）\n";
    } else {
        std::cout << "最大公约数计算正确\n";
    }

    return 0;
}

在这个程序中，`gcd()` 函数是递归的，它会一直调用自身，直到第二个参数 `b` 变为0，这时返回第一个参数就是最大公约数。主函数首先从用户那里获取两个整数，然后调用 `gcd()` 来计算它们的最大公约数，并进行一些基本的验证。