C ++中三元运算符表达式的类型是什么？

Question

当给出表格

时

a ? b : c

它的类型是什么？ b和c的类型可以有所不同，表达式是否仍然有效？如果是这样，那么表达式的类型是什么规则。 rvalue-和lvalue-ness有什么规则？