在C++中，可以使用模板元编程中的constexpr来进行编译时检查。具体方法是，定义一个constexpr函数来计算lcm，并在函数中使用assert来检查是否会溢出。示例代码如下：

constexpr unsigned long long gcd(unsigned long long a, unsigned long long b)
{
    return b ? gcd(b, a % b) : a;
}

constexpr unsigned long long lcm(unsigned long long a, unsigned long long b)
{
    return a / gcd(a, b) * b;
}

constexpr unsigned long long max_val = std::numeric_limits::max();

static_assert(lcm(max_val / 2, 3) <= max_val, "LCM overflows");

这里使用了C++11中新增的std::numeric_limits模板类来获取unsigned long long的最大值，并进行编译时检查。如果在编译期计算lcm时溢出，将会触发assertion失败，编译时就会停止并报错。