非原始盒装类型的运算符

Question

我有以下类定义：

template <typename T>
class MyBox {
public:
    MyBox(T value) { _value = value; }
    operator T() const { return _value;  }
private:
    T _value;
};

typedef MyBox<int> MyInt;
typedef MyBox<std::string> MyString;

当我尝试像这样在我的 typedef 上使用运算符时

bool first = MyInt(1) == MyInt(1);    // works
bool second = std::string(MyString("a")) == std::string(MyString("a"));    //works
bool third = MyString("a") == MyString("a");   // does not compile

编译器抱怨第三次比较

没有运算符“==”匹配这些操作数。操作数类型为：MyString == MyString

这发生在任何其他非原始拳击中（例如，MyBox<float> 有效，但 MyBox<std::map<int,int> > 无效。为什么会这样？

这对我来说尤其不清楚，因为在第一次和第二次比较中使用了 operator T() - 为什么不能自动为 MyString 完成？

更新：除了为每个非原始模板提供特定的运算符之外，是否有一个简单的解决方案？还有MyString("a") == std::string("a")怎么办？

Answer 1

在以下 SO 问题中回答了为什么它适用于内置类型但不适用于自定义类型的原因：using user-defined conversions with implicit conversions in comparisons。简而言之，这是因为模板推导类型不会发生类型转换。虽然int 的内置operator== 不是模板（因此可以在使用MyBox<int> 时使用类型转换找到），但std::string 的operator== 是模板。

但是，上面提到的问题没有详细说明如何解决这个问题。方法如下：添加以下免费功能

template<class T>
bool operator==(const MyBox<T>& lhs, const MyBox<T>& rhs) {
    return static_cast<const T&>(lhs) == static_cast<const T&>(rhs);
}

template<class T>
bool operator==(const MyBox<T>& lhs, const T& rhs) {
    return static_cast<const T&>(lhs) == rhs;
}

template<class T>
bool operator==(const T& lhs, const MyBox<T>& rhs) {
    return lhs == static_cast<const T&>(rhs);
}