删除转换运算符答案

【问题标题】：Deleting conversion operators删除转换运算符
【发布时间】：2017-03-29 05:42:06
【问题描述】：

有没有办法禁用转换运算符？将它们标记为“= delete”会搞砸其他事情。

考虑以下代码：

class Foo
{
public:

    Foo() :mValue(0) {}
    ~Foo() = default;
    Foo(int64_t v) { mValue = v; }
    Foo(const Foo& src) = default;

    bool operator==(const Foo& rhs) { return mValue == rhs.mValue; }

    /* after commenting these lines the code will compile */
    operator int() const = delete;
    operator int64_t() const = delete;

private:
    int64_t mValue;
};

int main()
{
    Foo foo1(5);
    Foo foo2(10);
    bool b1 = (foo1 == foo2);
    bool b2 = (foo1 == 5);
}

这不会编译，因为 gcc 抱怨 == 运算符不明确：

test.cc: In function ‘int main()’:
test.cc:25:21: error: ambiguous overload for ‘operator==’ (operand types are ‘Foo’ and ‘int’)
     bool b2 = (foo1 == 5);
                     ^
test.cc:25:21: note: candidates are:
test.cc:25:21: note: operator==(int, int) <built-in>
test.cc:25:21: note: operator==(int64_t {aka long int}, int) <built-in>
test.cc:10:10: note: bool Foo::operator==(const Foo&)
     bool operator==(const Foo& rhs) { return mValue == rhs.mValue; }
          ^

但是，在注释转换运算符后，代码将很好地编译和运行。

第一个问题是：为什么删除的转换运算符会给 == 运算符造成歧义？我认为他们应该禁用隐式 Foo -> int 转换，但它们似乎会影响 int -> Foo 转换，这对我来说听起来不合逻辑。

第二个：有没有办法将转换运算符标记为已删除？是的，通过不声明它们 - 但我正在寻找一种方法，以便将来任何人都可以看到这些转换被设计禁用。

【问题讨论】：

Why do C++11-deleted functions participate in overload resolution?的可能重复
抛开其他人提到的解决问题，看起来你正试图让operator==通过Foo分发给它的成员，你使用foo1 == 5应该意味着值是可与由值构造的 Foo 互换。像这样：template<class S> bool operator==(S && s) const { return *this == Foo(forward<S>(s)); } 代表operator==(Foo const&) 给定Foo::Foo(S &&)。有什么想法吗？

标签： c++ operators implicit-conversion deleted-functions

【解决方案1】：

这就是我认为问题的症结所在：

[dcl.fct.def.delete]:

隐式或显式引用已删除函数（而不是声明它）的程序是格式错误的。
...
已删除的函数隐含地是内联函数 ([dcl.inline])。

[class.member.lookup/4]:

如果 C 包含名为 f 的声明，则声明集包含在 C 中声明的满足 f 的每个声明查找发生的语言结构的要求。

即使你delete 函数，你仍然声明它。声明的函数将参与重载决议。只有当它是已解决的重载时，编译器才会检查它是否被删除。

在您的情况下，存在这些函数声明时存在明显的歧义。

【讨论】：

【解决方案2】：

对已删除函数的任何使用都是格式错误的（程序不会编译）。

如果函数被重载，重载决议首先发生，只有当删除的函数是已选中。

在您的情况下，程序无法选择转换，因为您有 3 个变体

int -> Foo
Foo -> int
Foo -> int64

第二个问题：您可以保持原样，但始终对 int 使用显式转换

bool b2 = (foo1 == Foo(5));

【讨论】：