Rational类与移动语义失效：分数输出错误排查求助

我看了你给的Rational类代码，输入A=3、B=3时输出9/1 9确实明显不对，核心问题出在没有对分数进行约分，还有输出逻辑的错误。咱们一步步来修复：

问题分析 #

1. 构造函数未做约分处理：当传入3和3时，没有将分子分母化简为最简形式（1/1），后续操作自然会出错。
2. 错误的数值计算逻辑：原代码可能错误地将输入的分子分母直接做了乘法，导致出现9/1这种离谱的结果。
3. 缺少核心的约分工具：需要实现一个计算最大公约数（GCD）的函数，用来将分数化简到最简。

修正后的完整代码 #

#include <iostream>
#include <algorithm> // 用于std::gcd（C++17及以上支持）

class Rational {
private:
    int numerator;   // 分子
    int denominator; // 分母

    // 计算最大公约数，用于约分
    int gcd(int a, int b) {
        a = std::abs(a);
        b = std::abs(b);
        while (b != 0) {
            int temp = b;
            b = a % b;
            a = temp;
        }
        return a;
    }

    // 约分函数，确保分数始终是最简形式
    void reduce() {
        int common_divisor = gcd(numerator, denominator);
        numerator /= common_divisor;
        denominator /= common_divisor;

        // 确保分母为正，符号放在分子上
        if (denominator < 0) {
            numerator *= -1;
            denominator *= -1;
        }
    }

public:
    // 构造函数，初始化并约分
    Rational(int num, int den) : numerator(num), denominator(den) {
        if (denominator == 0) {
            std::cerr << "分母不能为0！" << std::endl;
            exit(1);
        }
        reduce(); // 初始化时就约分
    }

    // 重载输出运算符，正确输出分数
    friend std::ostream& operator<<(std::ostream& os, const Rational& r) {
        if (r.denominator == 1) {
            os << r.numerator; // 分母为1时直接输出分子
        } else {
            os << r.numerator << "/" << r.denominator;
        }
        return os;
    }
};

int main() {
    int A, B;
    std::cout << "请输入分子和分母：";
    std::cin >> A >> B;

    Rational r(A, B);
    std::cout << "最简分数形式：" << r << std::endl;

    return 0;
}

关键修改说明 #

• 添加了gcd和reduce方法：gcd函数计算两个数的最大公约数，reduce方法用这个公约数把分子分母化简，同时保证分母为正，符号统一放在分子上。
• 构造函数中调用reduce：初始化对象时就把分数化成最简，避免后续所有操作都基于未约分的数值。
• 修正输出逻辑：重载<<运算符时，判断如果分母是1，直接输出分子（比如3/3化简后是1/1，就输出1），否则输出分子/分母的形式。

现在测试输入3和3，会输出最简分数形式：1，完全符合你的预期。

内容的提问来源于stack exchange，提问作者user9267359