空体的重载操作符神奇地工作了

Overloaded operator with empty body magically works

本文关键字：工作 神奇 操作符 重载      更新时间：2023-10-16

我遇到了以下奇怪的行为，我不知道发生了什么。

我有一个叫做mvec的向量类，它将实际值存储在数组中，还有一个叫做mvec_transf的类，它是另一个向量的变换。它存储了对另一个向量的引用，以及定义转换的一元函数。它的用法如下:

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语句，我可以确认重载操作符确实被调用了。然而，在print语句中，vec2包含了对垃圾的引用，而不是对vec1的引用。

这是怎么回事?

你所拥有的只是未定义行为。从[stmt.return]:

从函数末尾流出相当于没有返回值;这将导致值返回函数中的未定义行为。

一种未定义行为是神奇的工作代码。另一种类型是神奇地销毁您的硬盘代码。我不会指望它能神奇地工作很长时间。修复它!

相关文章：