编程中“运算符、表达式返回值”的具体含义是什么

所有的运算符、表达式本质上都是可求值的代码单元，返回值就是这个单元求值完成后得到的结果——没有任何抽象的隐含语义。
你觉得+的作用只是求和，这个理解完全没错：求和是+的内部计算逻辑，而「返回值」就是这个逻辑跑完之后，把计算结果交出来的过程。如果运算完不把结果交出来，那这个运算相当于白做，没有任何实际作用。
拿两个数值相加的场景举例：当你写下2 + 3这段代码时，程序运行到这里会先让+运算符接收两个操作数2和3，完成求和计算得到5，此时整段2 + 3在程序的执行逻辑里就等价于字面量5——这个把运算结果替换到原表达式位置的动作，就是所谓的「返回了值5」。

返回值从来不会凭空消失，它的去向完全由这个表达式外层的代码结构决定，常见的流向有这几种：

• 被外层运算符当作操作数接收，参与下一轮计算。比如你写(2 + 3) * 4，+返回的5会直接被*运算符拿到，当作左操作数和4做乘法，最后*返回20作为整个复杂表达式的结果。
• 被赋值操作接收，存入变量。比如res = 2 + 3，+返回的5会被赋值运算符=接收，写入名为res的变量内存空间，后续你用res的时候本质上就是在用这个5。
• 被函数/语法结构当作参数接收。比如print(2 + 3)里，+返回的5会被传给print函数，作为要输出到控制台的内容；再比如if 2 + 3 > 4:里，+返回的5会先交给>运算符和4做比较，>返回的布尔值True会被if语句接收，用来判断要不要执行内部的代码块。
• 被直接丢弃。如果一个表达式单独占一行，没有被放在任何外层结构里，比如Python脚本里单独写一行2 + 3，那这个返回值5会被程序直接丢弃，不会产生任何可观测的效果。

你可以把整个代码执行的过程当成做数学题的递推计算：

计算 (2+3)*4 的值
你第一步先算括号里的2+3得到5，这个5就是+运算交出来的返回值；第二步你拿这个5代替原来的2+3位置，算5*4得到20，这个20就是*运算交出来的返回值，也是整个题的最终结果。
你算题的时候不会纠结「2+3算出来的5去哪了、交给谁了」——它就是递交给下一步计算，直到整个式子算完。程序里的返回值逻辑和这个过程完全一致。

补充一点：不止运算符有返回值，所有能被求值的代码单元都有返回值：哪怕你单独写一个字面量6，这也是一个最简单的表达式，它的返回值就是6本身——它不需要计算，直接把自己交出去就行。

# 完整执行流程示例
# 1. 计算1+2得到3，返回3，赋值给a
a = 1 + 2
# 2. 计算a*4（也就是3*4）得到12，返回12，赋值给b
b = a * 4
# 3. 计算b > 10，返回True，被if判断接收，进入分支
if b > 10:
    # 4. 计算b - 2得到10，返回10，传给print打印到控制台
    print(b - 2)

内容的提问来源于stack exchange，提问作者Lorenzo Zabot