分数布尔运算符

Question

我有代码可以比较两个分数类，我的类运算符如下

// Equal to (==)
        bool Fraction::operator == (const Fraction &fraction){
            if (static_cast<double>(numerator / denominator) == static_cast<double>(fraction.numerator / fraction.denominator)){
                return true;
            } else {
                return false;
            }
        } // End of == operator
.
.
.
. // And so on for all other comparisons

但是我的输出返回（==），（<=）和（> =）运算符，说它们都是正确的。

在我的main（）中

// EQUAL TO
        if (fraction1 == fraction2){
            cout << fraction1.toString() << " is equal to " << fraction2.toString() << "." << endl;
        }
.
.
. // And so on...

我也尝试过if (fraction1.operator==(fraction2)){而不是if (fraction1 == fraction2)但是它们都返回相同的东西。 我坚持下去，我的逻辑可能出问题了吗？ 如果需要，我可以发布更多代码。 谢谢！

编辑：static_cast应该为一倍。 分子和分母是整数，在我的setter和getter方法中，它们是整数。

Answer 1

if (static_cast<double>(numerator / denominator) == static_cast<float>(fraction.numerator / fraction.denominator)){

这里的第一个问题是，您投下一个浮标，其他投下两倍。 几乎可以肯定这不是您想要的，首先，您要比较的两个对象都应转换为相同的数据类型。 尽管由于错误我可能会在这种情况下起作用，但接下来我概述了您不想直接比较浮点数的方法，请阅读此https://ece.uwaterloo.ca/~dwharder/NumericalAnalysis/02Numerics/Double/paper。 pdf，以获取更多有关执行此操作的陷阱的信息。

我在这里看到的一个大问题是，您正在运行一个整数div，在某些情况下这可能会严重崩溃，例如在这种情况下，代码失败：

int numerator1 = 5;
int denominator1 = 2;
int numerator2 = 4;
int denominator2 = 2;

在这种情况下，您基本上可以得到：

numerator1 / denominator1 == numerator2 / denominator2

这可能不是您想要的。 您可以在这里查看实际操作http://coliru.stacked-crooked.com/a/0eb3723f952fbf4a

假设您将分子和分母存储为整数，则可以通过执行以下操作将所有内容保留为整数来避免均等测试中的所有浮点数：

if (numerator * fraction.denominator == fraction.numerator * denominator){
    return true;
}else{
    return false;
}

这也避免了早期的错误。 假设您正在使用一些简单的代数处理有理数，则可以弄清楚如何以类似方式实现其他运算。 如果这样做，您只需要检查溢出即可。

Answer 2

如果在调用oparator==()使用的类的所有实例的numerator小于denominator ，则由于整数除法， numerator / denominator将为零。

在这种情况下，

if (static_cast<double>(numerator / denominator) == static_cast<float>(fraction.numerator / fraction.denominator)){

等效于：

if (static_cast<double>(0) == static_cast<float>(0)){

这是true 。

如果您的数字不是太大，即没有整数溢出的风险，则可以使用：

if ( this->numerator*fraction.denominator == fraction.numerator*this->denominator )

如果存在整数溢出的风险，则可以将分数转换为实数，但需要使用公差检查是否相等。

double f1 = 1.0*numerator/denominator;
double f2 = 1.0*fraction.numerator/fraction.denominator;

if ( fabs(f1-f2) < **SOME TOLERANCE VALUE** )