🚀 go-pugleaf

Dnia Wed, 7 Nov 2007 01:26:33 +0100, Tomasz bla Fortuna skrobie:
> [-- text/plain, encoding quoted-printable, charset: ISO-8859-2, 57 lines --]

> Dnia Tue, 06 Nov 2007 23:34:04 +0100
> Seweryn Habdank-Wojewódzki <shw_mail@wp.pl> napisał(a):

> > > Mi sie spodobal kod ze strony 48, nigdy bym sie nie spodziewal
> > > bledu w takim miejscu.
> > 
> > Zacząłbym od tego, że ten kod się nie kompiluje. 
> > Po upgrade, aby mógł się kompilować wszystko działa dobrze. 

> Nie wiem czy dobrze interpretuję "wszystko działa dobrze". ;-)

> Pozwoliłem sobie na potestowanie, bo w sumie mi też przykład się podoba.
> #v+
> #include <stdio.h>

> struct bar {int member;};
> struct foo : public bar {int member2;};

> void frobnicate(struct bar* x)
> {
>         printf("INSIDE: %d %d %d\n", x[0].member, x[1].member,
>                 x[2].member);
>         x[0].member -= x[1].member;
> }

> int main()
> {
>         struct foo x[10];

>         x[0].member = 10; x[1].member = 5; x[2].member = 1234;
>         x[0].member2 = 31337;

>         printf("BEFORE: %d %d\n", x[0].member, x[1].member);
>         frobnicate(x);
>         printf("AFTER: %d %d\n", x[0].member, x[1].member);
>         return 0;
> }
> #v-

> No i wewnątrz funkcji zamiast do member drugiego elementu tablicy
> funkcja dostaje się do member2 pierwszego elementu tablicy. Może
> niespecjalnie mnie to dziwi (i dlatego też myślę, że "działa dobrze"
> może oznaczać, że psuje się jak powinno), ale szkoda, że nawet warninga
> nie ma...

Moment - na co przepraszam chcesz mieć warning?

Zdecyduj ty się może, czy przekazujesz pojedynczy obiekt, czy przekazujesz
wskazanie na pojedynczy element tablicy (i, co ważniejsze, wiesz na pewno,
że za nim znajdują się w tej tablicy jeszcze co najmniej dwa elementy).

Oczywiście, nikt nie będzie zaprzeczał, że zunifikowanie iteratora do tablicy
z wskaźnikiem na pojedynczy obiekt, jest poważną wadą - istnieje jednak od
początków języka C i jak zatwierdzano standard, nikt nie widział w tym żadnego
problemu. A C++ nie był w stanie niczego z tym zrobić. W C++ i tak jest duży
postęp przez to, że nie można domyślnie konwertować niespokrewnionych
wskaźników.

> Czy metodologię testowania mam zepsutą? ;/

W przypadku języka C, faktycznie, nie jesteś w stanie ustrzec się takiego
błędu. Ciesz się, jeśli kompilator rzuci warning, że konwertujesz różne
typy wskaźnikowe (bo nie musi rzucać - w ANSI C nie jest to błąd).

W przypadku C++ można się tego ustrzec o tyle, o ile się będzie pamiętać, żeby
nie stosować operatora [] na typie X* - jeśli się miało na myśli tablicę,
należy jawnie napisać, że chodzi o iterator. W takim przypadku przynajmniej
nie będzie można takiego programu skompilować.


-- 
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethouris(O)gmail.com>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"Java is answer for a question that has never been stated"