C++：相似整数类型的重载运算符

Question

我有一个名为 MyType 的类型，它是一个 int：

typedef int MyType;

它在整个代码中被视为 int。

我希望能够分别为 int 和 MyType 重载运算符：

class C
{
public:
   C& operator>>(int i) {}
   C& operator>>(MyType i) {}
};

但我不能：

overload.cpp:7:7: error: 'C& C::operator>>(MyType)' cannot be overloaded
overload.cpp:6:7: error: with 'C& C::operator>>(int)'

我可以鱼和熊掌兼得吗？

Answer 1

像往常一样，您需要一个强大的 typedef。其一种实现是 BOOST_STRONG_TYPEDEF 。

Answer 2

正如@Cat++所说，BOOST_STRONG_TYPEDEF是一个很好的解决方案。然而，对于那些不想依赖 boost 库的人（如果你这样做的话，没有错误），这样做更容易：

#define TYPEDEF(original_type,target_type)struct target_type{\
    original_type value;\
    explicit target_type(const original_type val):value(val){}\
    target_type(){}\
    target_type(const target_type& other):value(other.value){}\
    target_type& operator=(const original_type& rhs){value = rhs; return *this;}\
    target_type& operator=(const target_type& rhs){value = rhs.value; return *this;}\
    bool operator==(const target_type& rhs){return value == rhs.value;}\
    bool operator<(const target_type& rhs){return value < rhs.value;}\
    operator const original_type&() const{return value;}\
    operator original_type&(){return value;}\
}

用法： TYPEDEF(int, MyType);

So What这个宏可以吗？
这个宏基本上创建了一个新的结构，可以在很多方面很容易地被视为原始类型。对于编译器来说，这是一种完全不同的类型。

以您的 MyType 为例。当您将其声明为 typedef int MyType; 时，在编译时，MyType 会被 int 替换。而且由于您已经有一个使用 int 作为参数定义的函数，因此它会抱怨重复的函数体。

当您执行 TYPEDEF(int, MyType); 时，MyType 是一个可以初始化并分配 int 类型值的结构，并且会被编译器视为与 int 完全不同的数据类型。然而，由于 operator = 函数，您将能够为其分配 int 值，并由于其 将其值检索为 int Operator const Original_type&() const 和 operator Original_type&() 函数。

这大致就是 boost 对其 BOOST_STRONG_TYPEDEF 宏所做的事情，但它似乎是从其他内部类继承的，我不确定这些类的作用。但对于那些出于某种原因不想依赖Boost的人来说，这是一个粗略的解决方案。

我的个人建议：尽可能使用Boost。