C++ -- 返回 x,y;重点是什么？

Question

我已经用 C 和 C++ 编程几年了，现在我刚刚上大学课程，我们的书有一个这样的函数作为例子：

int foo(){
  int x=0;
  int y=20;
  return x,y; //y is always returned
}

我从来没有见过这样的语法。事实上，我从未见过在参数列表之外使用 , 运算符。如果 y 总是返回，那还有什么意义呢？是否存在需要像这样创建 return 语句的情况？

（另外，我也标记了 C，因为它适用于两者，尽管我的书具体是 C++）

Answer 1

根据 C 常见问题解答：

准确地说，通用表达式中逗号运算符的含义

e1、e2

是“计算子表达式 e1，然后计算 e2；表达式的值是 e2 的值。”因此，e1 最好涉及赋值或递增 ++ 或递减——或者函数调用或某种其他类型的副作用，因为否则它会计算出一个将被丢弃的值。

所以我同意你的观点，除了说明这是有效的语法之外没有任何意义（如果是的话）。

如果您想在 C 或 C++ 中返回这两个值，您可以创建一个包含 x 和 y 成员的 struct，然后返回该结构

struct point {int x; int y;};

：然后可以定义一个类型和辅助函数，以允许您轻松返回 struct 中的两个值：

typedef struct point Point;

Point point(int xx, int yy){
  Point p;
  p.x = xx;
  p.y = yy;
  return p;
}

然后更改原始代码以使用辅助函数：

Point foo(){
  int x=0;
  int y=20;
  return point(x,y); // x and y are both returned
}

最后，您可以尝试一下：

Point p = foo();
printf("%d, %d\n", p.x, p.y);

此示例可以用 C 和 C++ 编译。不过，正如 Mark 下面所建议的，在 C++ 中，您可以为 point 结构定义一个构造函数，这提供了更优雅的解决方案。

---

附带说明一下，直接返回多个值的能力对于支持它的语言（例如 Python）来说非常出色：

def foo():
  x = 0
  y = 20
  return x,y # Returns a tuple containing both x and y

>>> foo()
(0, 20)

Answer 2

参数列表中的逗号只是用于分隔参数，与逗号运算符不同。逗号运算符（如您的示例中所示）会计算 x 和 y，然后丢弃 x。

在这种情况下，我猜想这是一个试图返回两个值的人犯的错误，并且不知道该怎么做。

Answer 3

逗号运算符主要用在 for 语句中，如下所示：

for( int i=0, j=10; i<10; i++, j++ )
{
    a[i] = b[j];
}

第一个逗号不是逗号运算符，它是声明语法的一部分。第二个是逗号运算符。

Answer 4

这根本没有真正回答最初的问题，但可能对某些人感兴趣，但如果你想让它在 C++ 中返回，你需要像这样编写它（并且需要一个 c++0x 编译器）

tuple<int, int> foo()
{
    int x = 0;
    int y = 20;
    return make_tuple(x, y);
}

像这样访问它 -

tuple<int, int> data = foo();
int a = get<0>(data);
int b = get<1>(data);

Answer 5

 struct Point {
   int x, y;
   Point(int x_) : x(x_), y(0) {}
   Point(const Point& p) : x(p.x), y(p.y) {}
   Point operator, (int y_) const { Point p=*this; p.y = y_; return p; }
 };

 Point get_the_point () {
    int x = 0;
    int y = 20;
    return (Point)x, y;
 }

：p

Answer 6

就像这里评论的每个人都认为这是毫无意义的，我也不反对，只要看一下这个例子，我就会猜测这并没有好多少：

作者收到了关于 x 未在函数内使用的编译器警告，这是消除警告的简单方法。

Answer 7

这是逗号运算符 (,)。

表达式 x 和 y 均被求值。整体表达式的结果是y，即后者的值。

很难说为什么在这里使用它。我想，出于演示目的。显然该函数可以重构为：

int foo()
{
  return 20;
}

Answer 8

此语法可用于保存 if- 语句的附加范围括号。例如，通常您会编写以下内容：

if (someThing == true)
{
    a = 1;
    b = 2;
    return true;
}

这可以替换为以下内容：

if (someThing == true)
    return a = 1, b = 2, true;

我认为这种编码风格的使用更多是出于摆姿势的冲动，而不是为了编写干净的代码。

Answer 9

这看起来是一个糟糕的代码示例。这可能是 C/C++ 中的有效语法，但我想不出您想要这样做的原因。

如果您想同时返回 x 和 y，在 C++ 中更好的方法是定义一个具有 x 和 y 属性的“Point”类或结构，然后返回它。另一种选择是通过引用传入 x 和 y，然后在方法中适当设置值。

如果该方法只返回 y，我只会“return y;”。如果需要在 return 语句之前“评估”x，则应在单独的行上完成。

Answer 10

该 return 语句没有任何意义。

如果x被声明为易失性，它将强制访问（因为至少在C++中对易失性变量的引用被认为是外部可观察的行为） ，但事实并非如此。

如果存在某种具有副作用的计算而不是x，则它将执行该计算，然后返回y。然而，非易失性 x 没有副作用。该实现不需要执行任何没有副作用或外部可观察行为的代码。逗号运算符执行逗号左侧的所有内容，忽略结果，然后执行并保留右侧的值（除了在这种情况下可以随意忽略运算符的左侧）。

因此，return x, y; 语句与 return y; 完全相同。如果 x 不只是一个完全没有意义的执行对象，那么在风格上将其写为 x; 会更好。 return y;，这是完全相同的事情。这样就不会那么混乱了。

Answer 11

一方面，这可能是作者的无心错误。

另一方面，作者可能正在解释语法上正确的正确代码，而不是编译器警告。

无论哪种方式，返回多个结果的唯一方法是定义一个类并使用其实例，或者可能是一个数组或集合。

Answer 12

这是逗号运算符。这种语法可用于禁用编译器对未使用的变量x发出的警告。

Answer 13

在 for 循环之外，此命令运算符（与函数调用版本相对）的另一个主要用户是在执行某些操作后返回值的宏中。现在还有其他方法可以做到这一点，但我认为comman操作符曾经是最干净的方法。

#define next(A, x, y, M) ((x) = (++(y))%(M) , A[(x)])

请注意，这个宏通常是一个不好的宏示例，因为它重复 x 并且可能出于其他原因。
以这种方式使用逗号运算符应该很少见。您书中的示例可能是尝试使代码示例适合该示例的可用行数。

Answer 14

是否存在需要像这样创建 return 语句的情况？

IMO，我永远不会在像书中示例那样的函数中使用多个返回值。它违反了结构化设计。尽管如此，还是有很多程序员这样做！调试别人的代码时，我在每个 return 语句中为全局变量分配了一个值，这样我就可以找出执行的 return 。

Answer 15

我见过 C 中使用这种语法在操作中途返回时进行内务处理。绝对不可维护的代码：

int foo(int y){
  char *x;
  x = (char*)malloc(y+1);
  /** operations */
  if (y>100) return free(x),y;
  /** operations */
  if (y>1000) return free(x),y;

}

Answer 16

本书试图消除那些在 C++ 之前学习过其他语言的人可能产生的困惑。在许多语言中，您可以使用类似的语法返回多个值。在 C++ 中，它将在没有警告的情况下进行编译（除非您指定 -Wall 或 -Wunused-value），但如果您习惯了，它不会按照您期望的方式工作到其他语言。它只会返回最后一个值。

然而，作者似乎造成了比他阻止的更多的混乱，因为在 C++ 的 return 语句中使用这种语法没有可读的情况，除非像其他语言一样意外地使用它。他警告大多数人不会尝试的用法。但如果你这样做了，调试起来会非常混乱，因为多重赋值语句 int x, y = foo() 也可以很好地编译。

底线：始终使用 -Wall 并修复它向您发出的警告。 C++语法允许你写出很多没有意义的东西。

Answer 17

当与 return 关键字一起使用时，逗号运算符返回 last 值，该值最初会令人困惑，但可以使事情更加简洁< /em>。

例如，以下程序将以状态代码 2 退出。

#include <iostream>
using namespace std;

void a() {
    cout << "a" << endl;
}


int one() {
    cout << "one" << endl;
    return 1;
}

int zero() {
    cout << "zero" << endl;
    return 0;
}

int main() {
    return one(), a(), zero(), 2;
}

使用以下程序编译和执行时，您将看到以下输出。

michael$ g++ main.cpp -o main.out && ./main.out ; echo $?
one
a
zero
2

Answer 18

如果 y 总是返回，那还有什么意义呢？

重点是 x 的副作用（即逗号运算符的左侧）。有关详细信息，请参阅 Justin Ethier 的回答。

是否存在需要像这样创建 return 语句的情况？

一个示例是 C++11 到 C++14 中的 constexpr 函数：此类函数可能不包含任意语句，但 恰好一个返回语句。

以下是 Patrice Roys 在 CppCon 上的“异常情况”的代码示例2016 年：

constexpr int integral_div(int num, int denom) {
    return assert(denom != 0), num / denom;
}