如何让C++结构体直接当作指定成员类型使用？含string适配问题

当然可以让C++结构体直接等价于它的某个成员变量，不管成员是int、string还是其他类型，核心是利用用户定义的类型转换运算符，不过不同类型在比较时会有细节差异，咱们一步步拆解你的问题。

一、int类型成员的实现（为什么能直接用） #

要让shape结构体等价于int类型的type成员，只需要给结构体重载一个隐式类型转换运算符，把shape对象转换成int：

struct shape{
    int type;
    shape(){}
    shape(int _type): type(_type) {} // 用初始化列表更规范
    // 重载int类型转换运算符，const保证能作用于const对象
    operator int() const {
        return type;
    }
};

这样你写的判断代码就能正常运行：

shape s(2);
if (s == 1) cout<<"this shape is a circle"<<endl;
else if(s == 2) cout<<"this shape is a triangle"<<endl;
else if(s == 3) cout<<"this shape is a rectangle"<<endl;

原因是：当你把shape对象和int比较时，编译器会自动触发隐式类型转换，把s转换成int（也就是它的type成员值），然后和右边的int做比较。

二、string类型成员的问题（为什么报错） #

你尝试的string版本代码只重载了operator string()，但为什么shape和string比较会报错？

error: no match for 'operator==' (operand types are 'shape' and 'std::string)

这是因为C++的运算符匹配规则：当你写s1 == s2时，左边是shape，右边是std::string，编译器不知道该优先把shape转成string，还是把string转成shape（你的结构体没有提供从string到shape的转换构造函数，就算有，编译器也不会同时触发两个隐式转换）。

而int版本能运行，是因为int是内置类型，编译器只会尝试把shape转成int，没有歧义。

解决方法：重载operator==运算符 #

我们可以给shape结构体专门重载和std::string的比较运算符，或者同时提供双向的类型转换（但前者更清晰）。

完整的string版本实现：

#include <string>
#include <iostream>

struct shape{
    std::string type;
    shape() = default; // 更现代的默认构造写法
    shape(std::string _type): type(std::move(_type)) {} // 用move避免拷贝
    // 类型转换运算符，方便把shape转成string
    operator std::string() const {
        return type;
    }
    // 重载shape和string的==运算符
    bool operator==(const std::string& other) const {
        return type == other;
    }
    // 还要重载string和shape的==（因为运算符顺序可能反过来）
    friend bool operator==(const std::string& other, const shape& s) {
        return s.type == other;
    }
};

测试代码：

int main() {
    shape s1("circle");
    std::string s2 = "circle";
    if(s1 == s2){
        std::cout << "Match!" << std::endl;
    }
    // 反过来也能正常运行
    if(s2 == s1){
        std::cout << "Reverse match!" << std::endl;
    }
    return 0;
}

三、通用方案：适配任意类型 #

这种思路对任意类型都适用：

• 如果想让结构体等价于成员类型T，就重载operator T() const实现隐式转换
• 如果需要和T类型的对象做比较，要么确保转换无歧义，要么直接重载对应的operator==（以及其他需要的运算符，比如!=、<等）

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