🚀 go-pugleaf

Seweryn Habdank-Wojewódzki wrote:
>>>Ale wracając do zadania, w innym miejscu tego wątku podałem rozwiązanie
>>>tego zadania utrzymując konwencję tablic i całego ich spadku.
>>
>>W dobrym języku problemu po prostu nie ma. Bo tablica to tablica a
>>wskaźnik to wskaźnik
> 
> Nie kapuję. Narazie obserwuję, że języki generalnie chowają to wszystko do
> jednego wora jedni mówią o referencjach (mając na myśli wskaźniki) inni o
> magii (mając na myśli wskaźniki). Tablice, cóż działają jak jak kontenery
> wysokiego rzędu, albo zgoła w takich językach nie ma tablic.

Bo tablica jest kontenerem, typem złożonym. Wskaźnik nie. Tak masz w Adzie, 
Javie, Pascalu, C# itd.


>>>Już nie ma żadnych problemów, a Pana F. nadal uważam za dywersanta i
>>>mąciwodę.
>>
>>Bo wytyka oczywistę błedy projektu języka :)
> 
> Błędy może są oczywiste (dla mnie nie), ale to co jest dla mnie oczywiste,
> to bardzo dziwna konstrukcja przykładów, daleko odbiegająca od standardów
> pisania programów w C++. Tymbardziej, że jak widzisz np. dołożenie jednej
> linii do przykładu na slajdzie 47 leczy go całkowicie.

Leczy z czego? To jest przykłąd pułapki języka. MAsz dwie funkcje pisane 
przez niezalężnych proigramistów, w różnych modułach. Jedna oczekuje na 
polimorficzny wskaźnik do obiektu, inna na tablicę -- połączenie jednego z 
drugim do UBecja.

> A błąd wynika, z
> faktu, że statycznie Pan F. przekazuje tablicę obiektów foo,

Nie.

> a pobiera
> wskaźnik do obiektów bar -- tam wykonuje ordynarne rzutowanie.

Nie wykonuje żadnego rzutowania. W C++ do zwykłej funkcji *nie można* 
przekazać tablicy. Statycznie przekazuje wskaźnik i to jest tego efekt.


> Tymbardziej,
> że po dodaniu szablonowego parametru program działa poprawnie, czyli
> kompilator dobrze wie jakiego typu jest przekazywana tablica.

Wie tylko czasem. Ren trick z szablonem ma jedną zasadniczą wadę -- można 
przekazać tylko i wyłącznie tablicę której rozmiar jest znany (co C++ stara 
się maksymalnie utrudnić) i dla każdego rozmiaru tablicy jest osobna 
instancja szablonu (czyli niesamowite marnotrastwo). Czyli to jest mało 
użyteczny trick.


> Jednak
> pomimo, że kompilator to wie, Pan F. wymusza rzutowanie, to jest błąd Pana
> F.

Język pomyślany jest tak, żeby w większości praktycznych sytuacji kompilator 
nie wiedział.

> W żadnym języku z mi znanych takie coś nie przechodzi.

Jakto? Przechodzi w C i w C++.

[...]

pzdr
\SK