C++重载类模板operator==以支持不同数据类型对象

需要编写类模板arrayPlus，其对象存储T类型数组。要求重载==运算符，仅当两个对象的元素类型相同时返回true，否则返回false。当前实现仅支持同类型对象比较，需修改以支持不同数据类型数组间的==运算。

现有类模板代码 #

#include <typeinfo>

using namespace std;

template<class T> class arrayPlus {
    T* type;
    int nbElem;

public:
    arrayPlus(int n) {
        nbElem = n;
        type = new T[nbElem];
    };

    bool operator == (arrayPlus& const obj) {
        return (typeid(this->type) != typeid(obj.type));
    }
};

主函数代码 #

#include <iostream>
#include <typeinfo>

#include "arrayPlus.h"

using namespace std;

int main() {
    arrayPlus<bool> arrBool(3);
    arrayPlus<int> arrInt(3);
    arrBool == arrInt;//<-- 报错
}

编译错误信息 #

no operator "==" match these operands 
    operand types are: arrayPlus<bool> == arrayPlus<int>

问题分析与解决方案 #

错误原因 #

原代码的operator==仅接受同类型的arrayPlus<T>&参数，当比较不同类型的arrayPlus对象时（如arrayPlus<bool>和arrayPlus<int>），编译器无法找到匹配的运算符重载，因此报错。此外还存在两个逻辑问题：

1. 用typeid(this->type)比较的是指针类型（T*），而非实际的元素类型T；
2. 返回值逻辑写反，要求类型相同时返回true，但原代码返回!=的结果。

修改后的代码 #

#include <typeinfo>

template<class T> class arrayPlus {
    T* data;  // 重命名变量避免与类型关键字混淆
    int nbElem;

public:
    // 用初始化列表初始化成员变量，更规范
    arrayPlus(int n) : nbElem(n), data(new T[nbElem]) {}

    // 模板化的==运算符，支持任意类型U的arrayPlus对象
    template<class U>
    bool operator==(const arrayPlus<U>& obj) const {
        // 直接比较元素类型T和U
        return typeid(T) == typeid(U);
    }

    // 补充析构函数，释放动态分配的数组，避免内存泄漏
    ~arrayPlus() {
        delete[] data;
    }
};

关键修改点 #

• 将operator==改为模板成员函数，参数为const arrayPlus<U>&，支持任意类型的arrayPlus对象；
• 用typeid(T)和typeid(U)直接比较元素类型，而非指针类型；
• 修正返回值逻辑，类型相同时返回true；
• 为成员函数添加const修饰符，符合const正确性（比较操作不修改对象状态）；
• 补充析构函数，释放动态分配的数组，避免内存泄漏；
• 重命名变量type为data，提升代码可读性。

测试验证 #

修改后的主函数测试：

#include <iostream>
#include <typeinfo>

#include "arrayPlus.h"

int main() {
    arrayPlus<bool> arrBool(3);
    arrayPlus<int> arrInt(3);
    arrayPlus<bool> arrBool2(5);

    std::cout << std::boolalpha; // 输出bool的文本形式（true/false）
    std::cout << (arrBool == arrInt) << std::endl;    // 输出false（类型不同）
    std::cout << (arrBool == arrBool2) << std::endl;  // 输出true（类型相同）
}

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