C++:强制编译器使用两个竞争运算符中的一个

C++: force the compiler to use one of two competing operators

本文关键字：两个 竞争 一个 运算符 编译器 C++      更新时间：2023-10-16

我最近一直在玩C++，刚刚偶然发现了一个有趣的优先级问题。我有一个类有两个运算符："强制转换为双精度"answers"+"。像这样：

class Weight {
  double value_;
 public:
  explicit Weight(double value) : value_(value) {}
  operator double() const { return value_; }
  Weight operator+(const Weight& other) { return Weight(value_ + other.value_); }
};

当我尝试添加此类的两个实例时。。。

class Weighted {
  Weight weight_;
 public:
  Weighted(const Weight& weight) : weight_(weight) {}
  virtual Weighted twice() const {
    Weight w = weight_ + weight_;
    return Weighted(w);
  }
};

发生了意外的事情：编译器看到"+"号，并将两个weight_强制转换为double。然后它会抛出一个编译错误，因为由于我的explicit单参数构造函数的原因，它无法隐式将生成的double强制转换回Weight对象。

问题是：我如何告诉编译器使用我自己的Weight::operator+来添加这两个对象，并忽略此表达式的强制转换运算符？最好不要调用weight_.operator+(weight_)，这会破坏目的。

更新：非常感谢chris指出编译器不使用我类的operator+是正确的，因为该运算符不是const，而被+编辑的对象是const。

我现在知道了在VS2012中修复上述问题的三种方法。请参阅chris已接受的回答以了解更多信息。

  1. 将explicit限定符添加到Weight::operator double()。这在VS 2012中不起作用（没有支持），但这是理所当然的对于接受这种方法（从公认的答案来看）的编译器来说，这是一个很好的解决方案
  2. 从方法Weighted::twice中删除virtual限定符，但不要问我为什么这在VS中有效
  3. 将const限定符添加到方法Weight::operator+（根据接受的答案）

当前版本：

首先，virtual应该与此无关。我敢打赌，这是MSVC的问题，尤其是考虑到Clang没有区别。无论如何，您的twice函数标记为const。这意味着成员将是const Weight而不是Weight。这对于operator+来说是一个问题，因为它只接受非常量的this。因此，编译器唯一能做的就是将它们转换为double并添加它们。

另一个问题是添加explicit会导致它编译。事实上，这应该删除编译器转换为double的最后手段。这确实是Clang:上发生的事情

错误：二进制表达式（"const Weight"answers"const权重"）的操作数无效
重量w=重量+重量
注意：候选函数不可行："this"参数的类型为"const Weight"，但方法未标记为const

最后，使operator+成为const（或自由函数）是正确的解。当您执行此操作时，您可能会认为您将添加回此路由，因此此路由与double路由之间存在歧义，从而导致另一个错误，但Weight到const Weight &是标准转换，而Weight到double是用户定义的转换，因此使用标准转换，一切正常。

对于问题中的更新代码，这是可以的。它不会编译的原因是MSVC的错误。作为参考，它确实在Clang上编译。它还基于MSVC12和2013年CTP进行编译。

您可能将结果存储在Foo中，但仍然需要从double到Foo的隐式转换。您应该在加法运算符中返回Foo(value_ + other.value_)，以便转换是显式的。我建议让操作符也成为一个免费函数，因为免费操作符（几乎）总是至少和成员一样好。当我在做的时候，构造函数初始值设定项列表也是一个受欢迎的更改。

此外，从C++11开始，一个通常首选的选择是明确您的转换运算符：

explicit operator double() const {return value_;}

还要注意添加的const，因为没有更改任何状态。

相关文章：