时间戳

首页 > 解决方案 > C++ 接受错误的返回类型

c++ - C++ 接受错误的返回类型

问题描述

我有以下代码，在我看来，不应该编译：（在class Vector（不是我定义的std::vector，而是Vector我自己定义的））：

Vector operator*(double factor)
{
  // some element-wise multiplication here
  return factor;
}

我将这个运算符定义为返回 a Vector，但在方法内部我返回 a double。

我也没有在类中定义任何隐式转换运算符。

我认为这显然是无效的，但 gcc 很高兴地编译了它，完全没有任何抱怨。

我的第一个反应是向 gcc 提交缺陷报告，但我想我会在此之前问...

我是否在这里遗漏了一些可以解释为什么编译器认为此代码有效的内容？

（如果相关，c++-standard 设置为 c++17）

关于该类的更多信息Vector：（即，我包括所有声明的构造函数和运算符，因为其他命名函数不应导致此问题）：

class Vector {
public:
  Vector(std::vector<double> values);
  Vector(size_t dimension, double value);
  Vector(size_t dimension);

  void operator*=(double factor);
  void operator*=(Vector const& factor);

  friend Vector operator-(Vector const& a, Vector const& b);
  friend Vector operator+(Vector const& a, Vector const& b);
  friend Vector operator*(Vector const& a, Vector const& b);

  Vector operator*(double factor);
  double& operator[](size_t i);

  friend std::ostream& operator<<(std::ostream& stream, Vector const& v);
}

标签： c++gccoperator-overloadingimplicit-conversion

解决方案

根据收到的评论给出这个答案：

非显式转换运算符不是最初具有错误类型的返回值可能“成为”函数签名所需类型的唯一方式。构造函数

Vector(size_t dimension);

取一个数值作为参数，它本身不是 a double，而是 a long unsigned int，但是 adouble可以转换成那个。

所以发生的事情double factor是首先转换为 along unsigned int然后隐式构造Vector，使用构造函数Vector(size_t dimension);发生。然后返回作为此构造结果的对象。

因此，在不违反语言规则的意义上，这是有效的代码，编译器在这里绝对没有做错任何事情。

如果不需要此行为，则应将相关构造函数标记为explicit：

explicit Vector(size_t dimension);

如果有多个构造函数采用一个double可以转换为 a 类型的参数，或者其第一个参数满足该要求，而所有其他参数都是可选的，例如：

Vector(int a, char b = 'c');

它们也必须被标记explicit，但在这种情况下，编译器很可能会抱怨，因为它无法推断出要调用哪个构造函数。

推荐阅读