重载函数既不通过值获取对象，也不通过引用获取对象，而是获取指向对象的解引用指针

Question

提前说明：问题与我自己实现的vector类有关，与std::vector无关

考虑以下运算符重载：

//in the Vector-class(declaration)
friend Vector operator+(const Vector& a, const Vector& b);

//outside the Vector-class(implementation)
Vector operator+(const Vector& a, const Vector&b) {
//...
}

它引用两个向量，并返回它们的总和。 现在，当我尝试以下操作时：

Vector foo();
Vector bar();

Vector byVal = foo + bar; //using objects
Vector byRef = &foo + &bar; //using address

在这两种情况下，我的 IDE 都会告诉我以下信息：

表达式必须具有整数或无范围枚举类型

在第二种情况下，这是有道理的，因为我只会在被调用函数接受指针时传递一个产生的指针，而对于一个接受引用的函数，我可以传递对象本身，但我不明白为什么这里不能只使用对象。

让我更困惑的是，以下似乎是可能的：

Vector* foo = new Vector();
Vector* bar = new Vector();

Vector foobar = *foo + *bar;

也就是说，我可以将 de-referenced pointers 与重载运算符一起使用。

这种行为的原因是什么，在这种情况下我应该如何使用我的重载运算符？

Answer 1

Vector foo();
Vector bar();

这些不是变量声明。这些是函数声明。它们是返回 Vector 并采用空参数列表的函数。

鉴于不能一起添加函数，也不能一起添加函数指针，foo + bar 和 &foo + &bar 都是非良构的。

为了对变量进行值初始化，您可以使用以下任一方法：

Vector foo{};        // uniform initialsation
auto bar = Vector(); // copy initialisation syntax

我想调用 Vector 的构造函数，它不带任何参数

确实如此。没有参数的函数声明和具有空初始化列表的变量声明是不明确的。这是由一条语言规则解决的，即如果一段代码在语法上可以是函数声明或其他内容，那么它就是函数声明。

Answer 2

如果函数将参数标记为&，则作为参数传递的对象将通过引用传递。对象的地址是隐式获取的，因此您不必（实际上绝不能）在要传递的参数对象之前写&。

进一步注意Vector foo(); 声明的是一个函数，而不是一个对象。这就是您的编译器抱怨您的两个调用的原因。

Vector operator+(const Vector& a, const Vector&b) {
//...
}

Vector foo;
Vector bar;

Vector byVal = foo + bar; //by reference because parameter in operator + is marked as "call by reference" 
// Wrong: Vector byRef = &foo + &bar;