C++引用传递

Question

我正在尝试使用这个简单的代码进行 C++ 引用传递：

#include <iostream>
int square(int &x)
{
return x*x;
}
int main()
{
std::cout<<"Square of 4 is: "<<square(4)<<std::endl;
return 0;
}

但是，当我尝试运行它时，我得到以下内容：

更新

根据 @Pablo Santa Cruz 的回答修改代码后出现以下错误（我只是屏幕截图了部分错误）：

这是为什么？

谢谢。

Answer 1

您不能将临时引用传递给非常量引用。

让 square 接受 const int &：

int square(const int &x)
{
    return x*x;
}

Answer 2

如果您需要引用，则无法传递常量 (4)。

您必须传递一个变量：

int n = 4;
square(n);

话虽如此，您可能想要这样的东西：

void square(int &x)
{
   x = x*x;
}

不是返回 int 的函数。

Answer 3

这是因为 C++03 的 § 8.5.3 5：

对类型“cv1 T1”的引用由类型“cv2 T2”的表达式初始化，如下所示：

• 如果初始化表达式
  • 是左值（但不是位字段），并且“cv1 T1”与“cv2 T2”引用兼容，或者
  • 具有类类型（即，T2 是类类型），并且可以隐式转换为“cv3 T3”类型的左值，其中“cv1 T1”与“cv3 T3”92 引用兼容）（通过枚举适用的转换函数 (13.3.1.6) 并通过重载解析 (13.3) 选择最佳的函数来选择此转换），< /里>

  那么在第一种情况下，引用直接绑定到初始化表达式左值，在第二种情况下，引用绑定到转换的左值结果。在这些情况下，引用被称为直接绑定到初始化表达式。 [注意：通常的左值到右值 (4.1)、数组到指针 (4.2) 和函数到指针 (4.3) 标准转换是不需要的，因此被抑制，当完成与左值的直接绑定时。 ]

• 否则，引用应为非易失性 const 类型（即，cv1 应为 const）。
  • 如果初始化表达式是右值，T2 是类类型，并且“cv1 T1”与“cv2 T2”引用兼容，则引用将被绑定通过以下方式之一（选择是实现定义的。
    • 引用绑定到右值表示的对象（参见 3.10）或该对象内的子对象。
    • 创建类型为“cv1 T2”[原文如此]的临时对象，并调用构造函数将整个右值对象复制到临时对象中。该引用绑定到临时对象或临时对象中的子对象。
  • 否则，将使用非引用复制初始化 (8.5) 的规则从初始化表达式创建并初始化类型为“cv1 T1”的临时变量。然后该引用将绑定到临时对象。如果 T1 与 T2 引用相关，则 cv1 的 cv 资格必须与 cv2 相同或更高；否则，该程序的格式不正确。

上面，“cv*”指的是修饰符“const”和“volatile”，“T*”指的是类型名称。例如，const int (cv = "const", T = "int")、const volatile std::string ( cv =“常量易失性”，T =“std::string”），char*（cv=“”，T =“char*”） 。

简而言之，rvalues 只允许绑定到 const 引用。

更新

如果您的 square 现在返回 void（代码或它没有发生），那么新错误是因为没有 operator<<(std::out&, void)< /代码>。

Answer 4

编译器为常量 4 创建一个临时对象，该对象不能作为非常量引用传递给函数。在 main 中创建一个 int 对象并将其传递给函数，或者通过常量引用或复制获取函数参数。

Answer 5

该声明

int square(int& x);

表示函数 square 可能会更改其参数（尽管事实并非如此）。因此，调用 square(4) 是荒谬的：程序需要准备好更改数字 4。

正如人们所指出的，您可以更改函数以指定它不会更改其参数：

int square(const int& x); // pass reference to const type
// OR
int square(int x);        // pass by value

或者您可以使用可以修改的值来调用原始的square。

int square(int& x);
// ...
int num = 4;
square(num);
// now (as far as the compiler knows) num might no longer be 4!

Answer 6

引用必须是左值——基本上，您可以在赋值语句的左侧看到它。

所以基本上，您需要首先分配给 main 中的变量。然后你可以将它传递到square中。

Answer 7

引用是另一个变量的别名。 “4”不是变量，因此您的引用没有任何别名。因此编译器会抱怨。

Answer 8

你想要的是这样的：

#include <iostream>
int square(int x)
{
    return(x * x);
}
int main()
{
    std::cout << "Square of 4 is: "<< square(4) << std::endl;
    return 0;
}

你注意到我是如何去掉 int square(int &x) 中的 & 了吗？ & 表示按引用传递。它需要一个变量。 square(4) 中的 4 是一个常量。

使用引用传递，您可以更改 x 的值：

void square2(int &x)
{
    x = x * x;
    return;
}

现在：

int x = 5;
square2(x);
// x == 25

尽管如此，我认为您不希望这样。 （你是吗？？）第一种方法要好得多。