C++有理数类运算符重载与类型转换二义性问题求助

问题背景 #

作为大学作业的一部分，需要编写有理数类，重载算术运算符、比较运算符等，同时还要重载向short、int、long类型的转换运算符。简化后的类代码如下：

class RationalNumber {
  long long numerator, divider;
public:
  RationalNumber() : numerator(0), divider(1) {}
  RationalNumber(long long numerator, long long divider = 1) : numerator(numerator), divider(divider) {}
  
  // 仅示例一个算术运算符
  RationalNumber operator*(const RationalNumber& other) {
    return { numerator * other.numerator, divider * other.divider };
  }

  // 仅示例一个转换运算符
  operator int() {
    return numerator / divider;
  }
  //...
};

问题描述 #

当尝试将RationalNumber对象与int相乘时，会出现运算二义性错误：编译器既可以将RationalNumber转换为int后执行内置乘法，也可以将int转换为RationalNumber后调用类的operator*。

添加仅接收int的构造函数无法解决问题，而添加RationalNumber::operator*(int)可以解决，但需要为所有算术、比较运算符都重载int版本。即便如此，使用unsigned类型时又会出现类型转换警告与二义性，需要再添加unsigned版本的重载。由于需要3个类型转换运算符和十多个运算符重载，这意味着每个运算符都要额外编写6个重载函数。

请问是否有办法强制编译器始终优先将操作数转换为自定义类类型？

解决方案 #

1. 标记转换运算符为explicit #

把向内置类型的转换运算符加上explicit关键字，禁止编译器隐式将RationalNumber转换为int/short/long，只有显式强制转换时才会触发这个转换。这样执行RationalNumber obj; obj * 5;时，编译器只能选择将int隐式转换为RationalNumber（因为构造函数是非explicit的），进而调用类的operator*，彻底消除二义性。

修改后的转换运算符示例：

explicit operator int() {
  return numerator / divider;
}

如果需要将RationalNumber转为内置类型，必须显式写static_cast<int>(obj)，这也能避免意外的精度丢失，让类型转换的意图更明确。

2. 使用非成员运算符重载（推荐搭配） #

将算术运算符实现为非成员全局函数，配合explicit转换运算符使用。比如：

RationalNumber operator*(const RationalNumber& lhs, const RationalNumber& rhs) {
  return { lhs.numerator * rhs.numerator, lhs.divider * rhs.divider };
}

这种写法下，无论是5 * obj还是obj * 5，编译器都会自动把int隐式转换为RationalNumber，调用这个非成员运算符，同时不会触发反向的隐式转换，完全避免二义性，还能保证运算符的对称性。

3. 可选：限制构造函数的隐式转换 #

如果不需要从long long以外的内置类型隐式转换为RationalNumber，可以把构造函数也设为explicit，但这样每次和内置类型运算时都要显式构造RationalNumber(5)，虽然安全性更高，但使用起来会繁琐一些。

总结 #

最简洁高效的方案是将转换运算符设为explicit，搭配非成员运算符重载，既能保留内置类型到自定义类的隐式转换便利性，又无需为每个运算符编写多个重载版本，彻底解决运算二义性问题。

内容的提问来源于stack exchange，提问作者John