не такой уж парадоксальный. внешний контракт это observable behavior, внутренний - side effects. и то, и другое применимо лишь к sequence points. в рамках внешнего контракта оптимизатор может творить что угодно, что не противоречит внутреннему.
получается, что разные треды могут полагаться лишь на внешний контракт, т.е. observable behavior, вроде так?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2011-11-12 06:16 pm (UTC)в рамках внешнего контракта оптимизатор может творить что угодно, что не противоречит внутреннему.
получается, что разные треды могут полагаться лишь на внешний контракт, т.е. observable behavior, вроде так?