c++ - 自定义类的隐式类型提升顺序

Question

我正在编写一个类，我想为其允许与各种其他类(包括内置类型)之间的转换。我心里有一个隐式转换优先顺序，但我不知道如何表达它。当类型不匹配时，这会导致模棱两可的方法重载。例如:

class Foo
{
public:
    Foo(int x) : m(x) {}
    operator int() const { return m; }
    Foo operator+(const Foo& foo) const { return Foo(m + foo.m); }
private:
    int m;
};

给定上面的类定义，表达式 Foo(3) + 7导致编译错误，Foo::operator+: 2 overloads have similar conversions。我知道这是因为编译器不知道我是否要转换 Foo下降到 int , 或者构造一个临时的 Foo来自 int .我如何指定我总是希望构建一个临时的 Foo ？

更一般地说，如果我还想同时定义 Foo::Foo(Bar)和 Bar::Bar(Foo) ，如果我调用 Foo(3) + Bar(7)，我将如何指定我总是想要一个临时的 Bar由 Foo 构建？

更新以阐明我的要求:

1. 两个转换方向都必须存在。所以下面的代码仍然必须编译:

   int i = 3; Foo foo(i); float a[4]; a[foo];

2. 我不想明确指定首选转换(例如通过调用 Foo(3) + static_cast<Foo>(7) )。

3. 我不想为运算符和操作数类型的每个排列定义重载(例如 Foo::operator+(int) )。我想依赖隐式转换为 Foo其次是 Foo::operator___(Foo) .

Answer 1

C++ 语言无法指定隐式转换优先顺序，我看不出有什么方法可以满足您的所有要求。

此处最好的解决方案是删除您的operator int()。我知道您说过您不想要那个替代方案，但是调用 .get() 只需再输入六个字符，一次，当您第一次编写它时。那么它不仅可以解决你的歧义，还可以防止由于隐式转换为 int 而导致的模糊错误。这些是你盯着代码两天(假装两年后你正在维护你的代码)的错误类型，但仍然看不到错误，因为你没有意识到已经使用了隐式转换。