c++ - body 空虚的重载运算符神奇地工作

Question

我遇到了以下奇怪的行为，但我无法弄清楚发生了什么。

我有一个名为 mvec 的 vector 类将实际值存储在一个数组中，一个类 mvec_transf那是另一个 vector 的变换。它存储对另一个 vector 的引用，以及定义转换的一元函数。这是它的使用方式:

mvec<int, 3>                                vec1 {1, 2, 3};
mvec_transf<mvec<int, 3>, std::negate<int>> vec2 {vec1, std::negate<int>()};
// `vec2` contains [-1 -2 -3]

我重载了 operator-这样我就可以写auto vec2 = -vec1; ，这是我当前的实现:

template <class Vec_t>
mvec_transf<Vec_t, std::negate<typename Vec_t::elem_t>>
operator- (Vec_t& v)
{  /*std::out << "Hello from operator- " << std::endl;*/ }

奇怪的是，这个实现(没有主体)有效。如果我注释掉该定义，我会从编译器中得到一个不匹配运算符- 错误。如果我不这样做，代码编译时会出现警告缺少返回类型 和未使用的变量“v”。当我运行 auto vec2 = -vec1 , vec2实际上包含一个工作 mvec_transf<..>对象，它具有对 vec1 的正确引用.

通过添加打印语句，我可以确认重载运算符确实被调用了。但是，对于 print 语句，vec2包含对垃圾的引用而不是对 vec1 的引用.

这是怎么回事？

Answer 1

您所拥有的只是未定义的行为。来自 [stmt.return]:

Flowing off the end of a function is equivalent to a return with no value; this results in undefined behavior in a value-returning function.

一种未定义的行为是神奇的工作代码。另一种类型是神奇地破坏你的硬盘代码。我不会依赖它神奇地工作很长时间。修复它!