On 29.06.2012 10:47, AK wrote:
> Użytkownik "Maciej Sobczak" <s...@g...com> napisał:
>
>> Od dłuższego czasu unikasz wywiązania się z obietnicy udowodnienia, że
>> (a + b) + c i a + (b + c) to jest to samo.
>
> Hm.. Bo jest ! :)
Nie jest.

#include "stdafx.h"
#include <cassert>
float ff(float a,float b,float c){
return a+(b+c);
}
float fff(float a,float b,float c){
return a+b+c;
}
int _tmain(int argc, _TCHAR* argv[])
{
float b = 1e32f;
float c = -1e32f;
float a = 1.0f;
assert(ff(a,b,c)==1);
assert(fff(a,b,c)==1);
}


> A precyzyjniej (jak od poczatku twierdzilem): moze byc, bo C/C++ nie
> determinuje nie tylko kolejnosci
> evaluowania podwyrazen "at all", ale takze kolejnosci ewaluowania
> wynikow czesciowych w przypadku
> operatorow o tym samym priorytecie i nie robia tego rowniez nawiasy.
Ciągle bredzisz.

Grupowania wyznacza semantykę. Kompilator może robić cokolwiek tak długo
jak długo zachowanie będzie zgodne z tym co wynika z grupowania.

To teraz prostymi, żołnierskimi słowami, żeby dotarło do ograniczonej
głowy mistrzunia:
- może mieć w dupie kolejność dodawania uintów ze względu na własności
arytmetyki modulo
- może mieć w dupie kolejność dodawania intów o ile ma je w arytmetyce
modulo i nie ma trap'a na przepełnieniu
- _nie_ może mieć w dupie dodawania floatów

ergo (wiem, trudne słowo dla fachowca Twojego pokroju) w ogólnym
przypadku NIE może zmieniać kolejności i MUSI się trzymać tego co
napisał programista.


> A jesli "moze byc" to nalezy przyjac ze "jest" i nie wymuszac kolejnosci
> obliczen nawiasami
> (bo nie one w C/C++ do tego sluza) bo to moze (jak udowodnilem) nic nie
> dac i _bedzie katastrofa_.
Jeżeli będzie katastrofa to znaczy, że masz totalnie zwalone narzędzie.

> Alez to najprawdziwsza prawda :) Row sie kopie "fizyczna" lopata, a nie
> jej rysunkiem technicznym.
Więc nie tylko nie znasz języka C, ale i nie znasz kompilatora, który
używasz (przykład wyżej). No fachowiec z ciebie jest genialny.

>
>> Problem w tym, że o kompilatorach też nie masz pojęcia.
>
> Jakies tam pojecie mam, bo.. je wlasnie piszę ;).
> No dobrze :) Nie kompilatory, ale parsery.
> Mam na "rozkladzie" gramatyke: C, C++, Java, C#, IDL (Corbowy) i pewien OQL
> ( + na razie puste podkatalogi Ada, VB, SIM).
Współczuję tym co będą tego używać.


--
Pozdrawiam
Michoo