C++重载&&、||运算符短路行为保留判定及懒求值实践合规性问询

1. 短路行为是否丢失 #

要分两个阶段判断：

• 运算符执行阶段（即a && b代码行运行时）：这部分的短路行为确实丢失了。因为自定义重载的运算符本质是函数调用，C++规定函数调用的所有参数都必须完成求值后才能进入函数体。举个例子，如果你写的是getValA() && getValB()，那么不管getValA()返回的Value实例实际逻辑值是真还是假，getValA()和getValB()都会被执行，用来生成两个Value实例传给运算符函数，这和原生&&左边为假就不执行右边表达式的行为有差异。
• 懒求值阶段（即调用代理对象getValue()时）：这部分的短路逻辑你确实保留了。因为LogicalAnd的getValue()实现用了原生&&运算符，只要m_valA->getValue()返回假，就不会执行m_valB->getValue()，符合你预期的逻辑。

2. 是否属于合理实践 #

你这种实现是懒计算/表达式模板场景下非常经典的实践，完全合理，只要满足两个前提：

• 明确文档说明该重载的行为：要告知使用者运算符本身不会立即求值，只会生成表达式代理，求值逻辑推迟到getValue()调用时执行，同时要说明运算符执行阶段没有短路、求值阶段有短路的差异。
• 注意生命周期问题：你现在的代理类存的是原始Value实例的指针，要保证所有被引用的Value实例的生命周期长于代理对象，避免出现野指针访问。

另外补充两个你代码里的小问题：

• 基类Value的getValue()定义末尾多了个多余的分号，正确写法是virtual T getValue() {return m_val;}
• 你定义的LogicalAnd没有继承Value<T>，所以override关键字会报错，需要补充继承关系：struct Value<T>::LogicalAnd : public Value<T>

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