如何防止模板参数为零？

template <typename T>
void safe_division(T numerator, T denominator) {
    static_assert(std::is_arithmetic<T>::value, "T must be an arithmetic type");
    if (denominator == 0) {
        throw std::invalid_argument("Denominator cannot be zero");
    }
    return numerator / denominator;
}

template <typename T>
T safe_division(T numerator, T denominator) {
    if (denominator == 0) {
        throw std::invalid_argument("Denominator cannot be zero");
    }
    return numerator / denominator;
}

try {
    int result = safe_division(10, 0);
} catch (const std::invalid_argument& e) {
    std::cerr << "Error: " << e.what() << std::endl;
}