IDZ DO
IDZ DO
PRZYKŁADOWY ROZDZIAŁ
PRZYKŁADOWY ROZDZIAŁ
C++. Projektowanie
SPIS TRE CI
SPIS TRE CI
systemów informatycznych.
KATALOG KSIĄŻEK
KATALOG KSIĄŻEK
Vademecum profesjonalisty
Autor: John Lakos
KATALOG ONLINE
KATALOG ONLINE
Tłumaczenie: Wojciech Moch (rozdz. 1 4), Michał Dadan
(rozdz. 5, 6), Radosław Meryk (rozdz. 7 10, dod. A C)
ZAMÓW DRUKOWANY KATALOG
ZAMÓW DRUKOWANY KATALOG
ISBN: 83-7361-173-8
Tytuł oryginału: Large-Scale C++ Software Design
Format: B5, stron: 688
TWÓJ KOSZYK
TWÓJ KOSZYK
Przykłady na ftp: 52 kB
DODAJ DO KOSZYKA
DODAJ DO KOSZYKA
C++ nie jest tylko rozszerzeniem języka C, ale wprowadza zupełnie nowy model
programowania. Stopień skomplikowania C++ może być przytłaczający nawet dla
CENNIK I INFORMACJE
CENNIK I INFORMACJE
do wiadczonych programistów C, jednak zazwyczaj nie sprawia im problemów napisanie
i uruchomienie małego, niebanalnego programu w C++. Niestety, brak dyscypliny
ZAMÓW INFORMACJE
ZAMÓW INFORMACJE
dopuszczalny przy tworzeniu małych programów, zupełnie nie sprawdza się w dużych
O NOWO CIACH
O NOWO CIACH
projektach. Podstawowe użycie technologii C++ nie wystarczy do budowy dużych
projektów. Na niezorientowanych czeka wiele pułapek.
ZAMÓW CENNIK
ZAMÓW CENNIK
Książka ta opisuje metody projektowania dużych systemów wysokiej jako ci.
Adresowana jest do do wiadczonych programistów C++ próbujących stworzyć
architekturę łatwą w obsłudze i możliwą do ponownego wykorzystania. Nie zawarto
CZYTELNIA
CZYTELNIA
w niej teoretycznego podej cia do programowania. W tej książce znajdują się praktyczne
wskazówki wypływające z wieloletnich do wiadczeń ekspertów C++ tworzących
FRAGMENTY KSIĄŻEK ONLINE
FRAGMENTY KSIĄŻEK ONLINE
ogromne systemy wielostanowiskowe. Autor pokazuje, jak należy projektować systemy,
nad którymi pracują setki programistów, składające się z tysięcy klas i prawdopodobnie
milionów linii kodu.
W książce opisano:
" Tworzenie programów wieloplikowych w C++
" Konstruowanie komponentów
" Podział projektu fizycznego na poziomy
" Całkowitą i czę ciową izolację, reguły jej stosowania
" Tworzenie pakietów i ich podział na poziomy
" Projektowanie funkcji
" Implementowanie metod
Wydawnictwo Helion
Dodatki do książki opisują przydatny wzorzec projektowy hierarchię protokołów,
ul. Chopina 6
implementowanie interfejsu C++ zgodnego ze standardem ANSI C oraz pakiet służący
44-100 Gliwice
do okre lania i analizowania zależno ci.
tel. (32)230-98-63
e-mail: helion@helion.pl
mow ...............................................................................................
ow n ..........................................................................................
W.1. Od C do C++............................................................................................................... 15
W.2. Jak używać C++ do tworzenia dużych projektów ......................................................16
W.2.1. Zależności cykliczne........................................................................................16
W.2.2. Nadmierne zależności na etapie konsolidacji ..................................................18
W.2.3. Nadmierne zależności na etapie kompilacji.....................................................20
W.2.4. Globalna przestrzeń nazw................................................................................22
W.2.5. Projekt logiczny i fizyczny ..............................................................................23
W.3. Ponowne użycie...........................................................................................................25
W.4. Jakość ..........................................................................................................................25
W.4.1. Kontrola jakości...............................................................................................27
W.4.2. Zapewnienie jakości ........................................................................................27
W.5. Narzędzia.....................................................................................................................27
W.6. Podsumowanie ............................................................................................................28
I
o . .........................................................................................................
1.1. Programy wieloplikowe w C++ ....................................................................................31
1.1.1. Deklaracja a definicja..........................................................................................31
1.1.2. Konsolidacja (łączenie) wewnętrzna a zewnętrzna .............................................33
1.1.3. Pliki nagłówkowe (.h) .........................................................................................36
1.1.4. Pliki implementacji (.c) .......................................................................................37
1.2. Deklaracje typedef ........................................................................................................ 38
1.3. Instrukcje sprawdzające ................................................................................................39
1.4. Kilka słów na temat stylu..............................................................................................40
1.4.1. Identyfikatory......................................................................................................41
1.4.1.1. Nazwy typów..........................................................................................41
1.4.1.2. Nazwy identyfikatorów składające się z wielu słów...............................42
1.4.1.3. Nazwy składowych klas .........................................................................42
1.4.2. Kolejność ułożenia składowych w klasie ............................................................44
1.5. Iteratory.........................................................................................................................46
1.6. Logiczna notacja projektu .............................................................................................52
1.6.1. Relacja Jest..........................................................................................................53
1.6.2. Relacja Używa-W-Interfejsie ..............................................................................54
1.6.3. Relacja Używa-W-Implementacji .......................................................................56
1.6.3.1. Relacja Używa........................................................................................58
1.6.3.2. Relacje Ma i Trzyma ..............................................................................58
1.6.3.3. Relacja Był .............................................................................................59
6 C++. Projektowanie systemów informatycznych. Vademecum profesjonalisty
1.7. Dziedziczenie i warstwy................................................................................................60
1.8. Minimalizacja................................................................................................................61
1.9. Podsumowanie .............................................................................................................. 62
o . o wow u ..................................................................................
2.1. Przegląd ........................................................................................................................65
2.2. Dostęp do pól klasy....................................................................................................... 66
2.3. Globalna przestrzeń nazw .............................................................................................70
2.3.1. Dane globalne......................................................................................................70
2.3.2. Wolne funkcje .....................................................................................................72
2.3.3. Wyliczenia, stałe i deklaracje typedef .................................................................73
2.3.4. Makra preprocesora.............................................................................................74
2.3.5. Nazwy w plikach nagłówkowych........................................................................75
2.4. Kontrola dołączeń ......................................................................................................... 77
2.5. Dodatkowa kontrola dołączeń.......................................................................................79
2.6. Dokumentacja ...............................................................................................................84
2.7. Sposoby nazywania identyfikatorów.............................................................................86
2.8. Podsumowanie .............................................................................................................. 87
II
o . om on n .............................................................................................
3.1. Komponenty a klasy......................................................................................................93
3.2. Reguły projektów fizycznych......................................................................................100
3.3. Relacja ZależyOd........................................................................................................108
3.4. Zależności implikowane..............................................................................................112
3.5. Wydobywanie rzeczywistych zależności ....................................................................117
3.6. Przyjazń ......................................................................................................................119
3.6.1. Przyjazń na odległość i zależności implikowane...............................................122
3.6.2. Przyjazń i oszustwo...........................................................................................124
3.7. Podsumowanie ............................................................................................................126
o . H h f n .................................................................................
4.1. Metafora dla testowania oprogramowania ..................................................................129
4.2. Złożony podsystem .....................................................................................................130
4.3. Problemy z testowaniem dobrych interfejsów .........................................................134
4.4. Projektowanie zorientowane na testowalność .............................................................136
4.5. Testowanie pojedynczych modułów ...........................................................................138
4.6. Acykliczne zależności fizyczne...................................................................................140
4.7. Numery poziomów......................................................................................................142
4.7.1. yródła numeracji poziomów..............................................................................142
4.7.2. Używanie numerów poziomów w oprogramowaniu .........................................144
4.8. Testowanie hierarchiczne i przyrostowe .....................................................................147
4.9. Testowanie złożonych podsystemów ..........................................................................153
4.10. Testowalność kontra testowanie................................................................................154
4.11. Cykliczne zależności fizyczne...................................................................................155
4.12. Suma zależności komponentów ................................................................................156
4.13. Jakość projektu fizycznego .......................................................................................161
4.14. Podsumowanie ..........................................................................................................167
o . o n o om ................................................................................
5.1. Niektóre przyczyny cyklicznych zależności fizycznych .............................................169
5.1.1. Rozszerzenie .....................................................................................................170
5.1.2. Wygoda .............................................................................................................172
5.1.3. Wewnętrzna zależność ......................................................................................176
Spis treści 7
5.2. Wyniesienie.................................................................................................................178
5.3. Obniżenie....................................................................................................................187
5.4. Nieprzezroczyste wskazniki........................................................................................199
5.5. Głupie dane .................................................................................................................206
5.6. Redundancja................................................................................................................216
5.7. Wywołania zwrotne ....................................................................................................219
5.8. Klasa-menedżer...........................................................................................................231
5.9. Faktoring.....................................................................................................................235
5.10. Wynoszenie enkapsulacji ..........................................................................................249
5.11. Podsumowanie ..........................................................................................................260
o . I o j ....................................................................................................
6.1. Od enkapsulacji do izolacji .........................................................................................262
6.1.1. Koszty powiązań na etapie kompilacji ..............................................................266
6.2. Konstrukcje w języku C++ a zależności na etapie kompilacji ....................................267
6.2.1. Dziedziczenie (Jest) a zależności na etapie kompilacji .....................................268
6.2.2. Podział na warstwy (Ma/Trzyma) a zależności na etapie kompilacji ................269
6.2.3. Funkcje inline a zależności na etapie kompilacji...............................................270
6.2.4. Składowe prywatne a zależności na etapie kompilacji ......................................271
6.2.5. Składowe chronione a zależności na etapie kompilacji.....................................273
6.2.6. Funkcje składowe generowane przez kompilator a zależności
na etapie kompilacji .................................................................................................274
6.2.7. Dyrektywy include a zależności na etapie kompilacji.......................................275
6.2.8. Argumenty domyślne a zależności na etapie kompilacji ...................................277
6.2.9. Wyliczenia a zależności na etapie kompilacji ...................................................277
6.3. Techniki częściowej izolacji .......................................................................................279
6.3.1. Rezygnacja z dziedziczenia prywatnego ...........................................................279
6.3.2. Usuwanie osadzonych danych składowych.......................................................281
6.3.3. Usuwanie prywatnych funkcji składowych .......................................................282
6.3.4. Usuwanie składowych chronionych ..................................................................290
6.3.5. Usuwanie prywatnych danych składowych.......................................................299
6.3.6. Usuwanie funkcji generowanych przez kompilator...........................................302
6.3.7. Usuwanie dyrektyw include ..............................................................................302
6.3.8. Usuwanie argumentów domyślnych..................................................................303
6.3.9. Usuwanie wyliczeń ...........................................................................................305
6.4. Techniki całkowitej izolacji ........................................................................................307
6.4.1. Klasa protokołu .................................................................................................308
6.4.2. W pełni izolująca klasa konkretna.....................................................................317
6.4.3. Izolujące komponenty otaczające......................................................................322
6.4.3.1. Pojedyncze komponenty otaczające .....................................................323
6.4.3.2. Wielokomponentowe warstwy otaczające............................................331
6.5. Interfejs proceduralny .................................................................................................338
6.5.1. Architektura interfejsu proceduralnego .............................................................339
6.5.2. Tworzenie i usuwanie nieprzezroczystych obiektów ........................................341
6.5.3. Uchwyty ............................................................................................................342
6.5.4. Uzyskiwanie dostępu do nieprzezroczystych obiektów i manipulowanie nimi ....346
6.5.5. Dziedziczenie a nieprzezroczyste obiekty .........................................................351
6.6. Izolować czy nie izolować ..........................................................................................354
6.6.1. Koszt izolacji.....................................................................................................354
6.6.2. Kiedy nie należy izolować.................................................................................356
6.6.3. Jak izolować......................................................................................................360
6.6.4. Do jakiego stopnia należy izolować ..................................................................366
6.7. Podsumowanie ............................................................................................................373
8 C++. Projektowanie systemów informatycznych. Vademecum profesjonalisty
o . .....................................................................................................
7.1. Od komponentów do pakietów ...................................................................................378
7.2. Zarejestrowane prefiksy pakietów...............................................................................385
7.2.1. Potrzeba stosowania prefiksów .........................................................................385
7.2.2. Przestrzenie nazw..............................................................................................387
7.2.3. Zachowanie integralności pakietu .....................................................................391
7.3. Podział pakietów na poziomy .....................................................................................393
7.3.1. Znaczenie podziału pakietów na poziomy.........................................................393
7.3.2. Techniki podziału pakietów na poziomy...........................................................394
7.3.3. Podział systemu.................................................................................................396
7.3.4. Wytwarzanie oprogramowania w wielu ośrodkach...........................................398
7.4. Izolacja pakietów ........................................................................................................399
7.5. Grupy pakietów...........................................................................................................402
7.6. Proces wydawania oprogramowania ...........................................................................406
7.6.1. Struktura wydania .............................................................................................408
7.6.2. Laty ...................................................................................................................413
7.7. Program main.............................................................................................................. 415
7.8. Faza startu ...................................................................................................................421
7.8.1. Strategie inicjalizacji .........................................................................................423
7.8.1.1. Technika przebudzenia w stanie zainicjowania ................................424
7.8.1.2. Technika jawnego wywoływania funkcji init.......................................424
7.8.1.3. Technika wykorzystania specjalnego licznika......................................426
7.8.1.4. Technika sprawdzania za każdym razem..............................................431
7.8.2. Porządkowanie ..................................................................................................432
7.8.3. Przegląd.............................................................................................................433
7.9. Podsumowanie ............................................................................................................434
III
o . oj ow n om on n w...............................................................
8.1. Abstrakcje i komponenty ............................................................................................439
8.2. Projekt interfejsu komponentu ....................................................................................440
8.3. Poziomy enkapsulacji..................................................................................................444
8.4. Pomocnicze klasy implementacyjne............................................................................454
8.5. Podsumowanie ............................................................................................................459
o . oj ow n fun j ............................................................................
9.1. Specyfikacja interfejsu funkcji....................................................................................462
9.1.1. Operator czy metoda?........................................................................................462
9.1.2. Wolny operator czy składowa klasy? ................................................................468
9.1.3. Metoda wirtualna czy niewirtualna?..................................................................472
9.1.4. Metoda czysto wirtualna czy nie czysto wirtualna? ..........................................476
9.1.5. Metoda statyczna czy niestatyczna? ..................................................................477
9.1.6. Metody stałe czy modyfikowalne? ....................................................................478
9.1.7. Metody publiczne, chronione czy prywatne......................................................483
9.1.8. Zwracanie wyniku przez wartość, referencję czy wskaznik? ............................484
9.1.9. Zwracanie wartości typu const czy nie-const? ..................................................487
9.1.10. Argument opcjonalny czy obowiązkowy?.......................................................488
9.1.11. Przekazywanie argumentów przez wartość, referencję lub wskaznik .............490
9.1.12. Przekazywanie argumentów jako const lub nie-const .....................................495
9.1.13. Funkcja zaprzyjazniona czy niezaprzyjazniona?.............................................496
9.1.14. Funkcja inline czy nie inline?..........................................................................497
Spis treści 9
9.2. Typy podstawowe użyte w interfejsie .........................................................................498
9.2.1. Użycie typu short w interfejsie..........................................................................498
9.2.2. Użycie kwalifikatora unsigned w interfejsie .....................................................501
9.2.3. Zastosowanie typu long w interfejsie ................................................................505
9.2.4. Zastosowanie typów float, double oraz long double w interfejsie.....................507
9.3. Funkcje specjalnego przeznaczenia.............................................................................508
9.3.1. Operatory konwersji..........................................................................................508
9.3.2. Semantyka wartości generowanych przez kompilator.......................................512
9.3.3. Destruktor..........................................................................................................513
9.4. Podsumowanie ............................................................................................................515
o . Im m n ow n o w.................................................................
10.1. Pola ...........................................................................................................................521
10.1.1. Wyrównanie naturalne...................................................................................522
10.1.2. Użycie typów podstawowych w implementacji.............................................524
10.1.3. Użycie konstrukcji typedef w implementacji.................................................526
10.2. Definicje funkcji .......................................................................................................527
10.2.1. Samokontrola ................................................................................................527
10.2.2. Unikanie przypadków szczególnych .............................................................528
10.2.3. Podział zamiast powielania ...........................................................................530
10.2.4. Zbytnia przebiegłość nie popłaca ..................................................................533
10.3. Zarządzanie pamięcią................................................................................................533
10.3.1. Wartości stanu logicznego i fizycznego ........................................................538
10.3.2. Parametry fizyczne ........................................................................................541
10.3.3. Systemy przydziału pamięci..........................................................................545
10.3.4. Zarządzanie pamięcią na poziomie klasy ......................................................551
10.3.4.1. Dodawanie własnych mechanizmów zarządzania pamięcią ...........555
10.3.4.2. Zablokowana pamięć ......................................................................558
10.3.5. Zarządzanie pamięcią na poziomie obiektu...................................................562
10.4. Użycie szablonów w dużych projektach ...................................................................567
10.4.1. Implementacje szablonów .............................................................................567
10.4.2. Zarządzanie pamięcią w szablonach..............................................................568
10.4.3. Wzorce a szablony.........................................................................................577
10.5. Podsumowanie ..........................................................................................................579
o A o oj ow o o o H h .........................................
Protocol Hierarchy struktury klas..................................................................................585
Cel .............................................................................................................................585
Znany też jako ...........................................................................................................585
Motywacja.................................................................................................................585
Zakres zastosowania..................................................................................................589
Struktura....................................................................................................................590
lementy składowe....................................................................................................590
Współpraca................................................................................................................591
Konsekwencje ...........................................................................................................591
Implementacja ...........................................................................................................592
Przykładowy kod.......................................................................................................603
Znane zastosowania...................................................................................................607
Pokrewne wzorce ......................................................................................................608
10 C++. Projektowanie systemów informatycznych. Vademecum profesjonalisty
o Im m n ow n n f j u ++ o n o
n m AN I ...........................................................................
B.1. Wykrywanie błędu alokacji pamięci...........................................................................611
B.2. Definiowanie procedury main (tylko ANSI C)...........................................................618
o o n n ow n no ......................................
C.1. Korzystanie z poleceń adep, cdep i ldep.....................................................................622
C.2. Dokumentacja wiersza polecenia ...............................................................................633
C.3. Architektura pakietu idep ...........................................................................................643
C.4. Kod zródłowy.............................................................................................................646
o on..................................................................................................
D.1. Definicje.....................................................................................................................647
D.2. Główne reguły projektowe .........................................................................................652
D.3. Poboczne reguły projektowe ......................................................................................653
D.4. Wskazówki................................................................................................................. 654
D.5. Zasady ........................................................................................................................657
o f ..............................................................................................
o ow ................................................................................................
Rozdział 9.
n un
Celem projektowania funkcji jest zapewnienie łatwego i wydajnego dostępu do operacji
zdefiniowanych przez abstrakcję. Język C++ zapewnia swobodę definiowania interfejsu
na poziomie funkcji. Czy funkcja ma być operatorem, metodą lub wolnym operatorem,
w jaki sposób będą przekazywane argumenty oraz w jaki sposób będą przekazywane
wyniki to elementy należące do tego etapu procesu projektowania. Styl programo-
wania to tylko jeden z elementów, które odgrywają rolę w podejmowaniu tego typu de-
cyzji projektowych. Wiele z nich zostanie omówionych w niniejszym rozdziale.
W języku C++ mamy do dyspozycji wiele odmian podstawowych typów reprezentują-
cych liczby całkowite (jak np. , , itp.). Typy te zapewniają dodat-
kową swobodę. Nierozważne ich wykorzystanie może skomplikować lub nawet osłabić
interfejs.
Operator konwersji dla typów definiowanych przez użytkownika umożliwia kompilato-
rowi wykonywanie niejawnej konwersji na lub z typu definiowanego przez użytkownika.
Uważne projektowanie wymaga przeanalizowania możliwych zalet niejawnej konwersji
w zestawieniu z niejednoznacznościami oraz możliwością powstania błędów w związku
z obniżeniem bezpieczeństwa typów. Niektóre inne funkcje, w przypadku gdy nie zostaną
określone jawnie, gdy zajdzie taka potrzeba mogą być zdefiniowane automatycznie przez
kompilator. Podjęcie decyzji dotyczących dopuszczalności generowania definicji funk-
cji przez kompilator wymaga uważnej analizy.
W tym rozdziale opiszemy szkielet projektowania interfejsu komponentu na poziomie
pojedynczej funkcji. Omówimy obszerną przestrzeń projektową dostępną dla autorów
komponentów i wskażemy decyzje projektowe, które są korzystne lub niekorzystne.
Przekonamy się, ile poziomów swobody w przestrzeni projektu interfejsu funkcji można
wyeliminować bez strat w skuteczności. Uzyskany szkielet pomoże nam opracowywać
interfejsy prostsze, bardziej jednolite i łatwiejsze do utrzymania.
462 Część III Zagadnienia dotyczące projektu logicznego
n u un
Zgodnie z podstawowymi zasadami przedstawionymi w rozdziale 2., podczas określa-
nia interfejsu funkcji w języku C++ należy zwrócić uwagę na kilka aspektów:
. Czy funkcja jest operatorem, czy nim nie jest?
. Czy jest wolnym operatorem, czy elementem składowym klasy?
. Czy jest to metoda wirtualna, czy niewirtualna?
. Czy jest to metoda czysto wirtualna, czy też nie czysto wirtualna?
. Metoda stała czy modyfikowalna?
. Metoda typu czy nie- ?
. Metoda publiczna ( ), chroniona ( ) czy prywatna ( )?
8. Wynik zwracany przez wartość, referencję czy wskaznik?
. Zwracany wynik typu czy nie- ?
0. Argument opcjonalny czy obowiązkowy?
. Argumenty przekazywane przez wartość, referencję czy wskaznik?
. Przekazywane argumenty typu czy nie- ?
Istnieją także dwa aspekty dotyczące organizacji, które należy wziąć pod uwagę, pomi-
mo tego, że nie są one częścią logicznego interfejsu:
. Czy jest to funkcja zaprzyjazniona, czy też nie?
. Funkcja typu inline, czy nie typu inline?
Pomiędzy tymi aspektami istnieje wiele wzajemnych zależności. Zazwyczaj odpowiedz
na jedno z pytań ma wpływ na odpowiedz na inne. W dalszej części niniejszego rozdziału
omówimy wymienione zagadnienia osobno i podamy wskazówki umożliwiające podjęcie
optymalnych decyzji projektowych1.
Oprócz operatorów generowanych przez kompilator (np. przypisania), jedynym powo-
dem utworzenia z funkcji operatora jest wygodna notacja wewnątrz klientów. Zwróćmy
uwagę, że inaczej niż w przypadku notacji typowej dla funkcji, notacja operatorowa nie
zależy od kontekstu wywołanie funkcji w wyniku interpretacji operatora wywołane-
go przez metodę będzie takie samo jak w przypadku wywołania w zasięgu pliku2. Roz-
ważne wykorzystywanie przeciążania operatorów ma naturalną i oczywistą przewagę
nad notacją funkcyjną w szczególności w przypadku typów logicznych i arytmetycz-
nych definiowanych przez użytkownika.
1
Zobacz też meyers, pozycja 19, str. 70.
2
ellis, punkt 13.4.1, str. 332.
Rozdział 9. Projektowanie funkcji 463
Przeanalizujmy dwa różne modele składni pokazane na listingu 9.1 odpowiadające
dwóm różnym interfejsom dla komponentu zbioru liczb całkowitych .
Na listingu 9.1a pokazano skuteczny sposób zastosowania notacji operatorowej.
Natura abstrakcji zbioru powoduje, że znaczenie tych operatorów staje się intuicyj-
ne nawet dla tych programistów, którzy nie znają pokazywanego komponentu. Na
listingu 9.1b pokazano odpowiednik składni z zastosowaniem bardziej nieporęcznej
notacji funkcyjnej3.
n Dwa modele składni dla abstrakcji zbioru liczb całkowitych
(a) z przeciążaniem operatorów (b) bez przeciążania operatorów
Podstawowym powodem stosowania mechanizmu przeciążania operatorów powinna
być czytelność (w większym stopniu niż łatwość używania).
3
Niektóre metody zdefiniowano jako statyczne, aby umożliwić tę samą symetryczną niejawną konwersję
argumentów, jak w przypadku odpowiadających im operatorów (patrz punkt 9.1.5). Styl akapitów głęboko
zagnieżdżonych wywołań funkcji na rysunku 9.1b zapożyczono z takich języków, jak LISP i CLOS, gdzie
takie konstrukcje występują bardzo często.
464 Część III Zagadnienia dotyczące projektu logicznego
W omawianej aplikacji obsługi zbioru liczb całkowitych notacja operatorowa w oczy-
wisty sposób poprawia zarówno czytelność, jak też łatwość używania. Przez czytelność
rozumiemy zdolność inżyniera oprogramowania do rozróżniania w szybki i precyzyjny
sposób znanego kodu treści funkcji od nieznanego kodu zródłowego. Aatwość używania
dotyczy tego, jak łatwo programista może skutecznie wykorzystać obiekt w celu utwo-
rzenia nowego oprogramowania. Zazwyczaj kod zródłowy odczytuje się więcej razy,
niż się go zapisuje ( w przypadku większości dużych, wykorzystywanych przez długi
okres czasu systemów oprogramowania, koszty utrzymania przekraczają koszty wytwa-
rzania od 2 do 4 razy4 ).
Semantyka przeciążonych operatorów powinna być naturalna, oczywista i intuicyjna
dla klientów.
Podczas projektowania często można otrzymać zgrabne i łatwe w użyciu aplikacje ope-
ratorów, które nie mają intuicyjnego znaczenia dla programistów, nie znających naszego
komponentu. Nierozsądne stare przyzwyczajenia, jak np. zdefiniowanie jednoargu-
mentowego operatora jako składowej klasy w celu odwrócenia kolejności zna-
ków w ciągu, jest nie na miejscu w środowisku projektowym dużej skali. Papierkiem
lakmusowym odpowiadającym na pytanie czy zastosować notację operatorową powin-
no być stwierdzenie, czy istnieje naturalne i intuicyjne znaczenie natychmiast zro-
zumiałe dla nowych klientów, które poprawia poziom czytelności (lub przynajmniej go
nie pogarsza)5.
Syntaktyczne właściwości przeciążonych operatorów dla typów definiowanych przez
użytkownika powinny być lustrzaną kopią właściwości zdefiniowanych dla typów
podstawowych.
Na poziomie semantycznym dość trudno dostarczyć szczegółowych wskazówek odno-
śnie tego co jest, a co nie jest intuicyjne. Jednak na poziomie syntaktycznym, biorąc za
podstawę implementację podstawowych typów języka, można sformułować kilka zde-
cydowanych i dobrze zdefiniowanych stwierdzeń.
Wzorowanie syntaktycznych właściwości operatorów zdefiniowanych przez
użytkownika na predefiniowanych operatorach C++ pozwala na uniknięcie
niespodzianek i sprawia, że sposób ich używania jest łatwiejszy do przewidzenia.
W języku C++ każde wyrażenie ma wartość. Istnieją dwa podstawowe typy wartości
tzw. lwartości (ang. lvalue) oraz pwartości (ang. rvalue)6. Lwartość to taka wartość, dla
której można wyznaczyć adres. Jeżeli lwartość może się znalezć po lewej stronie wyra-
żenia przypisania, mówi się o niej, że jest modyfikowalna, w innym przypadku określa
się ją jako lwartość niemodyfikowalną7. Do pwartości nie można przypisać wartości, ani
4
sommerville, punkt 1.2.1, str. 10.
5
Patrz też cargill, rozdział 5., str. 91.
6
Pojęcia te pochodzą z klasycznego języka C: pojęcie lwartość oznacza, że wartość wyrażenia może się
znalezć po lewej stronie instrukcji przypisania, natomiast pwartość może się znalezć wyłącznie po jej
prawej stronie. Wraz z pojawieniem się konstrukcji w języku C++ i ANSI C, lwartości dzieli się
teraz na dwie odmiany: modyfikowalne i niemodyfikowalne (patrz stroustrup, punkt 2.1.2, str. 46 47).
7
ellis, podrozdział 3.7, str. 25 26.
Rozdział 9. Projektowanie funkcji 465
nie można pobrać jej adresu8. Najprostszą lwartością jest identyfikator zmiennej. Jeżeli
zmienna nie jest zadeklarowana jako , jest to lwartość modyfikowalna. Niektóre
operatory, jak np. operator przypisania ( ) i jego odmiany (
), preinkrementacji ( ) i predekrementacji ( ) zastosowane do ty-
pów podstawowych, zwracają modyfikowalne lwartości. Operatory te zawsze zwracają
zapisywalną referencję do modyfikowanego argumentu. Np. hipotetyczna definicja ope-
ratorów dla podstawowego typu (w przypadku jego implementacji jako klasy
C++) może mieć postać taką, jak pokazano na listingu 9.2.
n Hipotetyczna implementacja podstawowego typu double
8
Pola bitowe są wyjątkiem w tym sensie, że mogą się znalezć po lewej stronie wyrażenia przypisania, ale zgodnie
z ARś (ellis, podrozdział 9.6, str. 184) nie można wyznaczyć ich adresu. Zasada ta dotyczy także zmiennych
tymczasowych typów zdefiniowanych przez użytkownika, które nie posiadają nazwy (patrz punkt 9.1.2).
466 Część III Zagadnienia dotyczące projektu logicznego
Inne operatory pokazane na listingu 9.2 zwracają pwartość, ponieważ nie ma możliwości
zwrócenia odpowiedniej lwartości. W przypadku symetrycznych operatorów binarnych
(jak np. oraz ) wartość do zwrócenia nie jest ani argumentem lewym, ani prawym, ale
nową wartością uzyskaną na podstawie obydwu, a zatem wynik musi być zwrócony przez
wartość9. Operatory równości ( , ) oraz operatory relacyjne ( , , , ) zawsze zwracają
pwartość typu o wartości 0 lub 1, a zatem i w tym przypadku żaden z argumentów
wejściowych nie jest odpowiednią wartością do zwrócenia. Operatory postinkrementacji
i postdekrementacji to interesujący przypadek specjalny w tym sensie, że są to jedyne
operatory, które modyfikują obiekt, a zatem nie ma odpowiedniej lwartości do zwrócenia:
Jako bardziej subtelny przykład przeanalizujmy dwa modele składni odpowiadające abs-
trakcji ogólnej tabeli symboli, pokazane na listingu 9.3. W obu przypadkach na podsta-
wie parametru typu tworzona jest tabela symboli, dodawane są dwa symbole, a na-
stępnie poszukuje się parametru foo według nazwy. Ponieważ możliwe jest, że w tabeli
nie ma symbolu o określonej nazwie, zatem funkcja wyszukująca nie powinna zwracać
wyniku przez wartość, ani przez referencję tak więc wynik jest zwracany przez wskaz-
nik (zwróćmy uwagę na to, w jaki sposób i do jakiego stopnia wykorzystano zalety enkap-
sulacji). Porównajmy tę sytuację z zastosowaniem operatora w odniesieniu do tablicy
wartości . Spodziewamy się uzyskać referencję do poindeksowanej wartości, nie zaś
wskaznik, który może mieć wartość . Ta różnica w składni pomiędzy zastosowa-
niem operatora na listingu 9.3a oraz zastosowaniem operatora dla typów podstawo-
wych powoduje, że notacja z wywołaniem funkcji pokazana na listingu 9.3b jest w tym
przypadku lepsza. Zarezerwowanie notacji operatorowej dla tych przypadków, kiedy
składnia stanowi lustrzane odbicie odpowiadającej jej składni dla typów podstawowych,
wzmacnia skuteczność przeciążania operatorów.
n Dwa modele składni dla abstrakcji ogólnej tabeli symboli
(a) z przeciążaniem operatorów (b) bez przeciążania operatorów
Na listingu 9.4. zestawiono deklaracje większości operatorów języka C++ w postaci,
w jakiej użyto by ich w odniesieniu do podstawowych typów języka (podstawowe ope-
ratory nie dają zbyt wielu informacji).
9
Bardziej szczegółowe objaśnienie znajduje się w meyers, pozycja 23, str. 82 84.
Rozdział 9. Projektowanie funkcji 467
n Podsumowanie właściwości niektórych podstawowych operatorów
Zwróćmy uwagę, że operatory jednoargumentowe, które nie modyfikują argumentów,
nie muszą być składowymi. Przykładowo, jednoargumentowy operator z powodzeniem
działa dla typu zdefiniowanego przez użytkownika, jak np. , pomimo tego, że dla
tego typu nie zdefiniowano operatora :
Kod pokazany powyżej działa dlatego, ponieważ typ wie , w jaki sposób ma się
przekształcić na podstawowy typ ( ), dla którego zdefiniowano operator . Gdyby
operator potraktowano jako składową hipotetycznej definicji klasy , nie można
byłoby wykonać zdefiniowanej przez użytkownika konwersji, a wykonanie pokazanego
powyżej kodu zakończyłoby się błędem kompilacji.
Aby wyłączyć możliwość niejawnej konwersji argumentów wolnego jednoargumentowego
operatora , należy zdefiniować operację jako metodę np. zamiast operatora10.
10
Patrz też murray, podrozdział 2.5, str. 44.
468 Część III Zagadnienia dotyczące projektu logicznego
Decyzja dotycząca tego, czy funkcja definiująca operator ma być składową klasy, czy
wolną funkcją, zależy od tego, czy pożądana jest niejawna konwersja typu skrajnego
lewego operandu. Jeżeli operator modyfikuje ten operand, wówczas taka konwersja nie
jest pożądana.
Język C++ sam w sobie jest obiektywnym i właściwym standardem, według którego
należy modelować operatory definiowane przez użytkownika.
Zastanówmy się nad tym, co mogłoby się zdarzyć, gdybyśmy zdefiniowali operator
konkatenacji ( ) dla klasy jako wolną funkcję, zamiast emulacji podejścia zapo-
życzonego z typów podstawowych. Zgodnie z tym, co pokazano na rysunku 9.1, utworze-
nie operatora jako wolnej funkcji umożliwiło niejawną konwersję jego lewego operandu
na tymczasowy obiekt (oznaczony tu jako ) o wartości foo.
Chociaż w przypadku typów podstawowych ta zmienna tymczasowa byłaby pwartością,
to właśnie do tymczasowego obiektu dołączono wartość bar (bez powstania
błędu kompilacji)11. Ponieważ takie działanie zaskoczyłoby i zdenerwowało użytkow-
ników, dobrze byłoby, aby je wyłączyć.
un
Efekt implementacji
operator+=
jako wolnej funkcji
11
Obecnie w języku C++ dozwolone jest modyfikowanie nienazwanych tymczasowych zmiennych typu
zdefiniowanego przez użytkownika nieposiadających nazwy. Patrz murray, punkt 2.7.3, str. 53 55.
Rozdział 9. Projektowanie funkcji 469
Z drugiej strony spodziewamy się, że niektóre operatory (np. oraz ) będą działać bez
względu na kolejność ich argumentów. Przeanalizujmy operator , który służy do kon-
katenacji dwóch ciągów znaków i zwraca wynik swojego działania przez wartość. Język
C++ pozwala na zdefiniowanie operatora jako składowej lub nieskładowej. To samo
dotyczy operatora . Jeżeli zdecydujemy się na zdefiniowanie tych operatorów jako
składowych, wówczas narazimy się na możliwość następującego, nienormalnego dzia-
łania naszych klientów:
Problem polega na tym, że deklaracje:
oraz
umożliwiają niejawną konwersję typu na po prawej stronie za pomocą
konstruktora następującej postaci:
natomiast taka konwersja dla argumentu po lewej stronie nie jest możliwa12. Jeżeli ope-
ratory te będą wolne, problem symetrii dla klasy zostanie rozwiązany, do
czasu dodania operatora konwersji:
Na listingu 9.5 pokazano problem powstały w wyniku dodania operatora konwersji (rzu-
towania) z typu na . Co jest dość dziwne, dwa niewątpliwie
podobne operatory oraz nie są identyczne pod względem przeciążania, w co (niestety
naiwnie) chcielibyśmy wierzyć. Różnica polega na tym, że teraz istnieją dwa sposoby
interpretacji operatora :
. Jawna konwersja typu na i porównanie za pomocą
.
. Niejawna konwersja typu na i porównanie za pomocą
wbudowanego operatora dla typów wskaznikowych.
Taki problem nie istnieje dla operatora , ponieważ w języku C++ nie ma sposobu
dodania dwóch typów wskaznikowych i dlatego w tym przypadku nie ma niejedno-
znaczności.
12
ellis, punkt 13.4.2, str. 333.
470 Część III Zagadnienia dotyczące projektu logicznego
n Niejednoznaczności wynikające z zastosowania dwóch operatorów konwersji
W przypadku klasy wykorzystywanej w praktyce nie będziemy polegać na nie-
jawnej konwersji w celu uzyskania wartości znakowej, ze względu na obawę, że taka
dodatkowa konstrukcja i destrukcja spowoduje zbytni spadek wydajności. Zamiast tego
zdefiniujemy osobne przeciążone wersje operatora , których zadaniem będzie jak naj-
bardziej wydajna obsługa każdej z trzech możliwości, a tym samym rozwiązanie pro-
blemów niejednoznaczności.
Niespójności powstałe w wyniku przeciążania operatorów mogą być oczywiste,
denerwujące i kosztowne dla użytkowników.
Zgodnie z tym, co pokazano na listingu 9.6, dla umożliwienia zaakceptowania wartości
po lewej stronie operatora jesteśmy zmuszeni do zdefiniowania co
najmniej jednej z funkcji operatorów porównania jako wolnej funkcji.
n Wynik zaimplementowania operatora == jako funkcji składowej
Rozdział 9. Projektowanie funkcji 471
Na czym polega problem zdefiniowania jednej wersji funkcji jako składowej
w przypadku, gdy zdefiniowano wszystkie trzy wersje tego operatora? Otóż problem
polega na tym, że brak symetrii mógłby zaskoczyć użytkowników. W przypadku gdy
jeden obiekt może być niejawnie przekształcony na , a drugi na ,
spodziewamy się, że porządek porównania jest nieistotny. Jeżeli zatem konstrukcja
kompiluje się bez problemów, podobnie powinno być w przypadku zapisu
(wyniki wykonania obu konstrukcji powinny być identyczne). Jednak jeżeli wersja:
nie będzie dostępna jako wolna funkcja, wówczas nie będzie sposobu przeprowadzenia
następującej konwersji:
472 Część III Zagadnienia dotyczące projektu logicznego
Wniosek jest taki, że operator zawsze powinien być zdefiniowany jako wolna funk-
cja niezależnie od zastosowania innych funkcji. Te same powody dotyczą innych ope-
ratorów dwuargumentowych, które nie modyfikują żadnego z operandów i zwracają swój
wynik przez wartość.
Przykład, jaki daje sam język, jest bezstronnym i użytecznym modelem, który może
służyć klientom do tworzenia podstawowych syntaktycznych i aksjomatycznych wła-
ściwości operatorów. Celem modelowania podstawowych operacji nie jest umożliwia-
nie niejawnych konwersji samo w sobie, ale raczej zapewnienie symetrii po to, by unik-
nąć niespodzianek. W przypadku zastosowania przeciążania operatorów w szerokim
zakresie należy się spodziewać, że abstrakcja może być wykorzystywana wielokrotnie
w wielu sytuacjach. Użytkownicy komponentów wielokrotnego użytku docenią spójny
i profesjonalny interfejs niezależnie od syntaktycznych niespodzianek. Zwróćmy uwagę
na to, że w języku C++ wymagane jest, aby zdefiniować jako składowe następujące
operatory13:
przypisania,
indeksu,
dostępu do składowej klasy,
wywołania funkcji,
konwersji,
przydział pamięci (statyczny),
zwolnienie pamięci (statyczne).
Dynamiczne wiązanie umożliwia definiowanie metod, do których dostęp odbywa się za
pomocą klasy podstawowej, przez rzeczywisty podtyp obiektu, w odróżnieniu do typu
wskaznika lub referencji użytej w wywołaniu. W celu zapewnienia dynamicznego wią-
zania funkcję należy zadeklarować jako wirtualną ( ). W języku C++ wirtualne
mogą być tylko metody. Jednak wniosek, że polimorficzne działanie operatora wymaga,
aby stał się funkcją składową, gdy w innym przypadku byłby wolną funkcją, jest błędny.
W celu osiągnięcia polimorficznego działania operatorów nie trzeba naruszać
zagadnień syntaktycznych, jak np. symetrycznej niejawnej konwersji operatorów
dwuargumentowych.
Na rysunku 9.2 pokazano, w jaki sposób operatory symetryczne mogą i powinny pozo-
stać operatorami wolnymi pomimo zastosowania poliformizmu. Zamiast przekształca-
nia każdego z sześciu operatorów porównań i relacji na wirtualne metody klasy, opra-
cowano jedną wirtualną metodę porównawczą. Te sześć operatorów w dalszym ciągu
będzie działać symetrycznie bez względu na niejawną konwersję dowolnego typu.
13
ellis, podrozdział 12.3c, str. 306; stroustrup94, punkt 3.6.2, str. 82 83.
Rozdział 9. Projektowanie funkcji 473
un
Polimorficzne
porównanie figur
geometrycznych
za pomocą wolnych
operatorów
Operatory porównań często mają sens nawet wtedy, gdy operatory relacji nie mają sensu
(wezmy pod uwagę abstrakcję punktu). Czasami sortowanie heterogenicznych kolekcji
pozwala na uzyskanie wydajniejszego dostępu. W takich przypadkach przydaje się wy-
korzystanie porządkowania (dowolnego typu). Wirtualna metoda pokazana
na rysunku 9.2 pozwala na zdefiniowanie własnego identyfikatora typu fazy wykonania14.
Dzięki wykorzystaniu tego identyfikatora można sortować figury tego samego typu wy-
korzystując zdefiniowany dla nich indywidualny porządek, natomiast sortowanie innych
typów można zdefiniować za pomocą innego (zupełnie dowolnego) porównania. Imple-
mentację klasy wykorzystywanej do porządkowania figur pokazano na li-
stingu 9.7.
Metody wirtualne implementują różnice w działaniu, natomiast pola różnice
w wartościach.
14
Patrz ellis, podrozdział 10.2, str. 212 213.
474 Część III Zagadnienia dotyczące projektu logicznego
n Implementacja polimorficznego porównania dla klasy geom_Circle
Ogólnie rzecz biorąc, metody wirtualne służą do opisania różnic w działaniu pomiędzy
typami pochodzącymi od wspólnej klasy bazowej, natomiast wirtualne pola służą do
opisania różnic wartości i pozwalają na uniknięcie stosowania dziedziczenia15. Np. nie
będziemy definiować klasy-protokołu , by potem utworzyć klasy pochodne
, i . Lepszym rozwiązaniem w tej sytuacji będzie zdefiniowanie
15
Patrz cargill, rozdział 1, str. 16 19.
Rozdział 9. Projektowanie funkcji 475
jednej (w pełni odizolowanej) klasy , w której zapisano by jeden z kilku wy-
mienionych kolorów w postaci typu wyliczeniowego. Zastosowanie metod wirtualnych
jest jednak skuteczną techniką rozwiązywania problemu zależności zarówno fazy kom-
pilacji, jak i konsolidacji (patrz punkt 6.4.1). Z tego powodu można zdecydować się na
utworzenie konkretnej klasy pochodnej na podstawie ogólnej klasy .
Ukrywanie: Metoda ukrywa funkcję o tej samej nazwie zadeklarowaną
w ramach klasy podstawowej lub w zasięgu pliku.
Przeciążanie: Funkcja przeciąża inną funkcję o tej samej nazwie zdefiniowaną
w tym samym zasięgu.
Przesłanianie: Metoda przesłania identyczną metodę, którą w klasie bazowej
zadeklarowano jako wirtualną.
Przedefiniowywanie: Domyślna definicja funkcji jest nieodwracalnie zastępowana
inną definicją.
Na koniec zdefiniujemy cztery powszechnie używane (często błędnie), podobne do sie-
bie, pojęcia służące do opisania funkcji i efektów ich działania na inne funkcje (ukrywa-
nie, przeciążanie, przesłanianie i przedefiniowywanie). O różnych funkcjach o tej samej
nazwie mówi się, że są przeciążone tylko wtedy, gdy zadeklarowano je w tym samym
zasięgu. Jeżeli metodę klasy pochodnej zadeklarowano z identycznym interfejsem do
metody zadeklarowanej w klasie bazowej jako wirtualną, wówczas mówi się, że ta funk-
cja przesłania metodę klasy bazowej. We wszystkich pozostałych przypadkach, nazwa
funkcji ukrywa wszystkie inne funkcje o identycznej nazwie w tym samym zasięgu,
niezależnie od ich sygnatur argumentów. Do funkcji ukrytych w danym zasięgu nie ma
bezpośredniego dostępu, chociaż można uzyskać do nich dostęp za pomocą operatora
zasięgu ( ). Jeżeli jednak przedefiniujemy funkcję (np. globalny operator lub jed-
noargumentowy operator klasy ), czyli zamienimy jej definicję, wówczas jej poprzed-
nia definicja nie będzie już dostępna16.
Należy unikać ukrywania metod klasy bazowej w klasie pochodnej.
Należy uważać, aby nie ukrywać definicji metod klasy bazowej w obrębie klas pochod-
nych. Nie należy zwłaszcza tworzyć nowych definicji dla niewirtualnych metod w kla-
sie pochodnej, ponieważ w takim przypadku takie metody będą wrażliwe na typy wskazni-
ków oraz adresów, spod których będą wywoływane17. Umożliwienie powstania
zależności typu wskazników lub adresów od tego, która funkcja będzie wywołana, jest
działaniem antyintuicyjnym, subtelnym i powodującym możliwość powstania błędów.
Ukrywanie metod zdefiniowanych w klasach bazowych nie wyklucza możliwości ich
użycia, a jedynie utrudnia ich wykorzystanie. Aby wywołać ukrytą metodę, zawsze moż-
na wykonać pewne działania ze wskaznikiem lub posłużyć się operatorem zasięgu. Najle-
piej starać się unikać ukrywania metod. Przykłady wzorców projektowych obejmują-
cych wykorzystanie metod wirtualnych, wielokrotnego dziedziczenia oraz identyfikacji
typu w fazie wykonania zaprezentowano w dodatku C.
16
ellis, podrozdział 10.2, str. 210 oraz podrozdział 13.1, str. 310.
17
Patrz meyers, pozycja 37, str. 130 132.
Wyszukiwarka
Podobne podstrony:
projektowanie systemow informatycznychProjektowanie systemów informatycznych,Informacje ogólne i przykłady, Diagramy przypadków użycia RINDECT to projekt Inteligentnego systemu informacyjnegoZarzadzanie projektami rozwoj systemow informatycznych zarzadzania e 1od310 Przykładowe projekty Zintegrowanych Systemˇw Informatycznych zintegrowanySklepid622systemy informacyjneSystem informatyczny obsługi firmy doradztwa podatkowegoSTRUKTURA SYSTEMOW INFORMACYJNYCH STREFY SCHENGENOpracowanie systemu informatycznego z automatycznym zawieraniem transakcji na rynku walutowymzarzadzanie projektami systemowymi,6PROJEKTOWANIE SYSTEMÓW TRANSPORTU WEWNETRZNEGO ver 1 bez rysunkówUstaw o systemie informacji w ochronie zdrowia6 Projektowanie Systemˇw Inf encrAdamczewski Zintegrowane systemy informatyczne w praktyce Początek, Spis treściAdamczewski Zintegrowane systemy informatyczne w praktyce System CRM tendencje rozwojowe systeSystemy Informacji Przestrzennej w Planowaniu Przestrzennymwięcej podobnych podstron