无非就是定义了个程序行为的等价类划分，满足规则的同类行为的程序怎么实现都可以。特别地，这不限制实现表现出来的复杂度。这是允许一般的优化的基础。
C就有这玩意儿。C++反倒觉得不够，还用copy elision之类的开洞了。