c++ - 条件运算符可以返回引用吗？

Question

我遇到了一行代码，从没想过它会很好用。我认为条件运算符返回值并且不适用于参考。

一些伪代码：

#include <iostream>

using namespace std;

class A {
public:
  A(int input) : v(input) {};
  void print() const { cout << "print: " << v  << " @ " << this << endl; }
  int v;
private:
  //A A(const A&);
  //A operator=(const A&);
};

class C {
public:
  C(int in1, int in2): a(in1), b(in2) {}
  const A& getA() { return a;}
  const A& getB() { return b;}
  A a;
  A b;
};

int main() {
  bool test = false;
  C c(1,2);
  cout << "A @ " << &(c.getA()) << endl;
  cout << "B @ " << &(c.getB()) << endl;

  (test ? c.getA() : c.getB()).print();  // its working
}

有人可以解释吗？谢谢。

Answer 1

您对条件运算符的假设是错误的。表达式的类型是表达式c.getA()和c.getB()​​具有的任何类型，如果它们具有相同的类型，并且如果它们表示左值，那么整个表达式也是如此。（确切的规则在 C++ 标准的 §5.16 中。）

你甚至可以这样做：

(condition? a: b) = value;

有条件地设置a或b为value。请注意，这是特定于 C++ 的；在 C 中，条件运算符不表示左值。