c++ - 表达式的返回类型是否总是与操作数类型匹配？

Question

在 C++ 中，表达式中使用的操作数必须属于同一类型(如果不是，则将一个操作数提升为与另一个操作数相匹配)。

我的问题是:我可以假设任何表达式的返回类型总是与其操作数的类型相匹配，还是这条规则有异常(exception)？比如有没有这样的情况:

typeY typeYVar = typeXVar / typeXVar2;

即使两个操作数都是 typeX，我假设这个表达式将返回一个 typeY 值。

注意:我说的是原始类型。

---

编辑:我指的是操作数的最终类型，即执行提升(如果有)之后在它们上(提升是为了使操作数的类型相同，还是因为 char/short/等需要提升为 int)。

Answer 1

一个明显的反例是指针加法和减法:

const char *p = "Hello, world!";
const char *q = p + 1; // operands of type const char * and int, neither is converted to the other
auto diff = q - p; // two operands of type const char *, result has type ptrdiff_t

关系运算符是另一个明显的反例:

auto cmp = 1.23 < 4.56; // two operands of type double, result has type bool (or int in C)