如何在不引发异常的情况下进行通用除法

Question

我想对任何类型的 T 进行安全除法，我不想引发 CPU/FPU 异常，例如，如果浮点数除以零，它应该返回无穷大 (+/-INF)。

我应该编写自己的函数吗？或者有什么标准的 C++ 函数可以使用吗？

如果我需要自己写函数，这个函数对吗？

template<typename T> bool isSameSign(const T& a, const T& b)
{       
    return ((((a)<0)==((b)<0))&&(((a)>0)==((b)>0)));
}

template<typename T> T safeDiv (const T& lhs, const T& rhs)
{
    if(std::abs(rhs) > std::numeric_limits<T>::epsilon)
    {
        if(std::abs(lhs) > std::numeric_limits<T>::epsilon)
        {
            return lhs/rhs;
        }
        else
        {
            return std::numeric_limits<T>::quiet_NaN();
        }
    }
    else if(isSameSign<T>(lhs,rhs))
    {
        return std::numeric_limits<T>::infinity();
    }
    else
    {
        return -std::numeric_limits<T>::infinity();
    }
}

Answer 1

如果浮点数除以零，从数学上讲，它是未定义的，而不是无穷大。原因是极限法则。当你除以一个越来越小的大于零的数时，你趋向于正无穷大，当你除以一个越来越小的负数时，你趋向于负无穷大......在数轴上，它们是相反的，你不能将一件事定义为这两个对立面。因此，函数 1/x 在 0 处未定义。返回负无穷或正无穷是不正确的。