On 27.06.2012 09:43, Maciej Sobczak wrote:
> W dniu poniedziałek, 25 czerwca 2012 23:37:00 UTC+2 użytkownik AK napisał:
>
>> I badz precyzyjny: pisalem ze "kolejnosc evaluacji operatorow" _o tym samym
priotrytecie_
>> jest dowolna.
>> Nawiasy w tym przypadku sa opuszczane juz na etapie (umownego) parsingu.
>
> Na etapie (umownego) parsingu nie wiadomo jeszcze, jakiego typu są parametry i w
konsekwencji nie wiadomo, czy przypadkiem te operatory nie są przeciążone.
Nawet w czystym C gdzie nie można definiować operatorów kompilator nie
może swobodnie przekształcać wyrażeń.

Np. w IEEE 754:
float b = 1e32f;
float c = -1e32f;
float a = 1.0f;
assert( a+(b+c) == 1.0);
assert( a+b+c == 1.0);

> Ilość przypadków, w których kompilator może to zrobić jest tak mała, że całe
zjawisko raczej nie zasługuje na uogólnione stwierdzenia typu "w C++ jest tak".
>
Tak właściwie to jest jeden przypadek kiedy kompilatorowi wolno - "kiedy
nie zmieni to semantyki".


--
Pozdrawiam
Michoo