C++类型比较方法及整数除法结果判断问题求助

一、整数除法是否整除的正确判断方式 #

你当前的代码逻辑完全错误，因为两个int类型做除法运算时，结果永远是int类型——哪怕不能整除，编译器会自动截断小数部分，所以typeid(test)和typeid(int)永远相等，根本无法判断是否整除。

要判断整数除法结果是否为整数（即被除数能被除数整除），正确的做法是使用取模运算符%：当被除数除以除数的余数为0时，说明能整除，结果是整数。

修正后的代码如下：

#include <iostream>
using namespace std;

int main() {
    int numerator = /* 填入你的分子值 */;
    int denominator = /* 填入你的分母值 */;
    int numeratorOutput{};
    int denominatorOutput{};

    for (int i{ 2 }; i < 100; ++i)
    {
        // 判断是否能整除：余数为0则说明结果是整数
        if (numerator % i == 0 && denominator % i == 0)
        {
            cout << i << '\n';
            cout << "yes\n\n";

            numeratorOutput = numerator / i;
            denominatorOutput = denominator / i;

            break;
        }
        else
        {
            cout << "no\n";
        }
    }
    return 0;
}

二、C++中类型比较的正确方法 #

C++中类型比较分编译期和运行期两种场景，对应不同的工具：

1. 编译期类型比较：std::is_same #

如果需要在编译阶段验证两个类型是否相同，使用<type_traits>头文件中的std::is_same（C++11及以上支持）：

• 基本用法：std::is_same<T1, T2>::value，返回编译期布尔值（true/false）
• C++17及以上可使用简化版std::is_same_v<T1, T2>

示例：

#include <type_traits>
#include <iostream>

int main() {
    int a = 5;
    double b = 3.14;

    // 编译期强制检查类型
    static_assert(std::is_same_v<decltype(a), int>, "a不是int类型");
    static_assert(!std::is_same_v<decltype(b), int>, "b是int类型");

    if constexpr (std::is_same_v<decltype(a), int>) {
        std::cout << "a的类型是int\n";
    }
    return 0;
}

2. 运行期类型比较：typeid #

如果需要在运行阶段判断对象的实际类型（尤其是处理多态类时），使用typeid运算符（需包含<typeinfo>头文件）：

• typeid(expr)返回std::type_info对象，通过==运算符比较两个对象是否相等
• 非多态类型：typeid返回变量的静态类型；多态类型（含虚函数的类）：typeid返回对象的实际动态类型

示例：

#include <typeinfo>
#include <iostream>

class Base { virtual void foo() {} };
class Derived : public Base {};

int main() {
    int x = 10;
    double y = 20.5;

    // 非多态类型比较
    if (typeid(x) == typeid(int)) {
        std::cout << "x是int类型\n";
    }
    if (typeid(y) != typeid(int)) {
        std::cout << "y不是int类型\n";
    }

    // 多态类型比较
    Base* ptr = new Derived();
    if (typeid(*ptr) == typeid(Derived)) {
        std::cout << "ptr指向的是Derived类型对象\n";
    }
    delete ptr;
    return 0;
}

注意事项 #

• 不要用sizeof比较类型：不同类型可能有相同大小（比如int和long在部分平台下大小一致），无法准确判断类型。
• 你原代码中用typeid判断整数除法结果的类型完全无效，因为int / int的静态类型永远是int，和是否整除无关。

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