The Bic Pen's questions

我有一个引用T*:的函数void f(T *&t);。当我使用带有 throw, 的条件表达式调用它时f(t == nullptr ? throw "nullptr" : t)，程序无法编译：

error: cannot bind non-const lvalue reference of type 'T*&' to an rvalue of type 'T*'
note:   initializing argument 1 of 'f(T*&)'

然而，用编译替换上面的调用f(t)就可以了。

这是为什么？整个表达式应与非抛出操作数具有相同的类型： https: //en.cppreference.com/w/cpp/language/operator_other。从链接中，Either E2 or E3 (but not both) is a (possibly parenthesized) throw-expression. The result of the conditional operator has the type and the value category of the other expression.

可重现的示例： https: //godbolt.org/z/9MW1Kevxz

#include <iostream>
using namespace std;

struct T {
  int i;  
};

void f(T*& t) { 
    t->i = 2; 
}

int main()
{
    T *t = new T{5};
    f(t == nullptr ? throw "hi" : t);
    return 0;
}

在 x86-64 上使用 gcc 9.4 失败。