CppCoreGuidelines ES.105 不要除以整数 0

int divide(int a, int b)
{
    // BAD, should be checked (e.g., in a precondition)
    return a / b;
}

int divide(int a, int b)
{
    // good, address via precondition (and replace with contracts once
    // C++ gets them)
    Expects(b != 0);
    return a / b;
}
int main()
{
    cout << divide(8, 2);
    return EXIT_SUCCESS;
}

double divide(double a, double b)
{
    // good, address via using double instead
    return a / b;
}
int main()
{
    cout << divide(1.0, 0);
    return EXIT_SUCCESS;
}