我正在编写一个类,我想为其允许与各种其他类(包括内置类型)之间的转换。我心里有一个隐式转换优先顺序,但我不知道如何表达它。当类型不匹配时,这会导致模棱两可的方法重载。例如:
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
构建?
更新以阐明我的要求:
两个转换方向都必须存在。所以下面的代码仍然必须编译:
int i = 3; Foo foo(i); float a[4]; a[foo];
我不想明确指定首选转换(例如通过调用
Foo(3) + static_cast<Foo>(7)
)。我不想为运算符和操作数类型的每个排列定义重载(例如
Foo::operator+(int)
)。我想依赖隐式转换为Foo
其次是Foo::operator___(Foo)
.
最佳答案
C++ 语言无法指定隐式转换优先顺序,我看不出有什么方法可以满足您的所有要求。
此处最好的解决方案是删除您的operator int()
。我知道您说过您不想要那个替代方案,但是调用 .get()
只需再输入六个字符,一次,当您第一次编写它时。那么它不仅可以解决你的歧义,还可以防止由于隐式转换为 int 而导致的模糊错误。这些是你盯着代码两天(假装两年后你正在维护你的代码)的错误类型,但仍然看不到错误,因为你没有意识到已经使用了隐式转换。
关于c++ - 自定义类的隐式类型提升顺序,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27098028/