如何使此操作员调用明确无误

How to make this operator call unambiguous?

本文关键字：调用 何使此 操作员      更新时间：2023-10-16

我正在写一个智能指针作为我的学校作业，但我遇到了一个问题。需要在我的智能指针和原始指针之间进行转换，所以我在智能指针类中使用运算符重载来实现它，如下所示：

operator T*() {
    return raw_pointer;
}

另一个要求是实现==运算符，它应该在智能指针之间以及智能指针和原始指针之间工作。我已经这样实现了它，这种重载也可以在我的智能指针类中找到：

bool operator== (const smart_pointer<T> &smart_pointer) {
    return raw_pointer == smart_pointer.raw_pointer;
}

现在，当我尝试做这样的事情时：

smart_pointer<obj> sp = new obj();
obj *p = new obj();
if(sp == p) {
    // do something
else {
    // do something else
}

我收到以下错误消息：

ambiguous overload for 'operator=='
candidates are:
operator==(obj*, obj*) <built-in>
bool smart_pointer<T>::operator==(const smart_pointer<T>&) [with T = obj]

我想它不知道是应该使用内置指针并将我的智能指针转换为原始指针，还是应该使用重载==运算符的方法。问题是，我目前想不出任何办法来解决这种情况。提前感谢！

原始指针和智能指针之间的隐式转换有点危险，这就是为什么标准智能指针不提供它们的原因。如果你根本没有它们，那就太好了。

也就是说，这可能不是你的选择。实际问题的解决方案是简单地添加更多equals运算符的重载，以便在智能指针和原始指针之间进行混合比较。然后，那些将优先于那些需要在任何一个方向上转换的人。

为每个可能的参数类型组合创建比较运算符等的重载是不现实的。

转换为原始指针explicit本身可能是一件好事，但并不能解决这个问题。模糊性将得到解决，从而编译代码，但代价是为原始指针创建一个临时智能指针。在完整表达式的末尾，智能指针的析构函数将销毁糟糕的原始指针的引用。

因此，一般的解决方案是使每个单参数构造函数explicit，或者添加（非默认）形式参数。

设置构造函数或转换explicit应该可以解决歧义：

explicit smart_pointer(T*);

或

explicit operator T*() const {
    return raw_pointer;
}

创建多个重载是另一种选择/补充。

正如注释中所指出的，您不希望构造函数对于指针的过早破坏是隐式的。

转换最好也是显式的，然后为上的不同组合添加重载

相关文章：