Wprowadzenie do szablonów klas

Transkrypt

Szablony klas – Wprowadzenie
Przykład wykorzystania szablonu
Bogdan Kreczmer
[email protected]
Zakład Podstaw Cybernetyki i Robotyki
Instytut Informatyki, Automatyki i Robotyki
Politechnika Wrocławska
Kurs: Programowanie obiektowe
c
Copyright°2008-2010
Bogdan Kreczmer
Niniejszy dokument zawiera materiały do wykładu dotyczącego programowania obiektowego. Jest on
udostępniony pod warunkiem wykorzystania wyłącznie do własnych prywatnych potrzeb i może on być kopiowany
wyłącznie w całości, razem z niniejszą stroną tytułową.
Programowanie obiektowe
Niniejsza prezentacja została wykonana przy użyciu systemu składu LATEX oraz stylu beamer, którego autorem
jest Till Tantau.
Strona domowa projektu Beamer:
http://latex-beamer.sourceforge.net
1
Najważniejsze cechy
Proste szablony
2
Klasy z definicją podtypu
Szablon dla klasy z podtypem
Proste szablony
Szablony klas
Szablony klas pozwalają na przedstawienie ogólnych pojęć i
wzajemnych ich związków.
Pozwalają na abstrahowanie od typu poszczególnych
atrybutów związanych z danym pojęciem.
Pozwalają programiście skoncentrować na ogólnych
zależnościach i mechanizmach.
Szablony pozwalają na generowanie i optymalizowania już na
etapie kompilacji poprzez użycie specyficznych konstrukcji
programistycznych.
Umożliwiają realizację idei programowania uogólnionego.
Proste szablony
Szablony klas
programistycznych.
Proste szablony
Szablony klas
programistycznych.
Proste szablony
Szablony klas
programistycznych.
Proste szablony
Szablony klas
programistycznych.
Proste szablony
Problemy z tłumaczeniem
template
.
&
wzorzec
szablon
Proste szablony
Problemy z tłumaczeniem
template
.
&
wzorzec
szablon
Proste szablony
Ogólna postać szablonu
template < lista-parametrow-rozdzielonych-przecinkami >
class Klasa {
...
};
Proste szablony
class Klasa {
...
};
Dopuszczalne parametry:
typ wbudowany lub zdefiniowany przez użytkownika,
stała w czasie kompilacji (liczba, wskaźnik, znaki itp.),
inny szablon.
Proste szablony
class Klasa {
...
};
inny szablon.
Proste szablony
class Klasa {
...
};
inny szablon.
Proste szablony
class Klasa {
...
};
inny szablon.
Proste szablony
Przykład szablonu stosu
template < typename TYP >
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
Stos( ) { Ilosc = 0; }
bool Pobierz(TYP& El)
{ return ! Ilosc ? false : El = Tab[−− Ilosc], true; }
};
bool Poloz(const TYP& El)
{ return Ilosc >= ROZ STOSU ? false : Tab[ Ilosc++] = El, true; }
Słowo kluczowe typename sygnalizuje, że parametr szablonu jest
typem.
Proste szablony
template < class TYP >
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
int main( )
{
Stos<float> St;
}
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
int main( )
{
Stos<double[100]>
}
St;
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
int main( )
{
Stos<std::string>
}
St;
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
int main( )
{
Stos<std::istream>
}
St;
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
int main( )
{
Stos<std::istream>
}
St;
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
P³
P³
{ return ! Ilosc ? false : El
³=
PTab[−− Ilosc], true; }
P³
P³
{ return Ilosc >= ROZ STOSU ? false : Tab[ Ilosc++]
El, true; }
³=
P
int main( )
{
Stos<std::istream>
}
St;
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
int main( )
{
Stos<std::istream∗> St;
}
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
int main( )
{
Stos<std::istream&>
}
St;
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
int main( )
{
Stos<std::istream&>
}
St;
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
int main( )
{
Stos< Stos< Stos< char[20]
}
> > > St;
Proste szablony
class Stos {
Tab[ROZ STOSU];
TYP
unsigned int Ilosc;
public :
};
Proste szablony
template < typename TYP, unsigned int Rozmiar
class Stos {
Tab[Rozmiar];
TYP
unsigned int Ilosc;
public :
>
};
{ return Ilosc >= Rozmiar ? false : Tab[ Ilosc++] = El, true; }
Proste szablony
template < typename TYP, unsigned int Rozmiar
class Stos {
Tab[Rozmiar];
TYP
unsigned int Ilosc;
public :
>
};
int main( )
{
Stos<float, 100>
}
St;
Proste szablony
template < typename TYP, unsigned int Rozmiar= 100
class Stos {
Tab[Rozmiar];
TYP
unsigned int Ilosc;
public :
>
};
int main( )
{
Stos<float, 100>
}
St;
Proste szablony
template < typename TYP, unsigned int Rozmiar= 100
class Stos {
Tab[Rozmiar];
TYP
unsigned int Ilosc;
public :
>
};
int main( )
{
Stos<float> St;
}
Klasa z typem wyliczeniowym
class EnkoderRobota {
int Stan;
public:
EnkoderRobota( ): Stan( ) {}
int Wez( ) const { return Stan; }
void Zmien(int Stan) { Stan = Stan; }
};
int Stan;
public:
enum Urzadzenie { Naped, Skret, Wiezyczka, Ilosc};
};
int Stan;
public:
};
int main( )
{
EnkoderRobota
}
Tab[EnkoderRobota::Ilosc];
Tab[EnkoderRobota::Naped].Zmien(2);
int Stan;
public:
};
int main( )
{
EnkoderRobota
}
Tab[EnkoderRobota::Ilosc];
Tab[EnkoderRobota::Naped].Zmien(2);
Tab[10].Zmien(2);
int Stan;
public:
};
class PotencjometrRobota {
int Stan;
public:
PotencjometrRobota( ): Stan( ) {}
enum Urzadzenie { Noga1, Noga2, Noga3, Noga4, Ilosc};
};
Synonimy dla nazw typów
...
};
...
};
...
};
...
};
int main( )
{
StanEnkRob StanEnk;
StanPotRob StanPot;
StanEnk.Wez(::Naped);
StanPot.Wez(::Noga1);
}
...
};
...
};
int main( )
{
StanEnkRob StanEnk;
StanPotRob StanPot;
}
StanPot.Wez(1);
...
};
...
};
int main( )
{
StanEnkRob StanEnk;
StanPotRob StanPot;
}
StanPot.Wez(1);
encoder.cpp:
In function ’int main()’:
encoder.cpp:62: error: invalid conversion from ’int’ to ’PotencjometrRobota::Urzadzenie’
...
};
...
};
int main( )
{
StanEnkRob StanEnk;
StanPotRob StanPot;
StanEnk.Wez(EnkoderRobota::Naped);
StanPot.Wez(PotencjometrRobota::Noga1);
}
...
};
...
typedef PotencjometrRobota
typedef EnkoderRobota
PotRob;
EnkRob;
int main( )
{
StanEnkRob StanEnk;
StanPotRob StanPot;
StanPot.Wez(PotencjometrRobota::Noga1);
}
...
};
...
typedef PotencjometrRobota
PotRob;
EnkRob;
int main( )
{
StanEnkRob StanEnk;
StanPotRob StanPot;
StanEnk.Wez(EnkRob::Naped);
StanPot.Wez(PotRob::Noga1);
}
Definicja szablonu
...
};
...
};
Definicja szablonu
...
};
...
template <typename TYP>
class Stan {
TYP TabCzytn[TYP::Ilosc];
public:
int Wez(typename TYP::Urzadzenie Urz) const
{ return TabCzytn[Urz].Wez( ); }
void Zmien(typename TYP::Urzadzenie Urz, int Stan)
{ return TabCzytn[Urz].Zmien(Stan); }
};
Definicja szablonu
...
};
...
class Stan {
public:
};
Definicja szablonu
...
};
...
class Stan {
public:
};
Wykorzystanie szablonu
...
};
...
class Stan {
public:
...
};
int main()
{
Stan<EnkoderRobota> StanEnk;
}
...
};
...
class Stan {
public:
...
};
int main()
{
StanEnk.Wez(1);
}
...
};
...
class Stan {
public:
...
};
int main()
{
StanEnk.Wez(1); encoder.cpp: In function ’int main()’:
encoder.cpp:62: error: invalid conversion from ’int’ to ’PotencjometrRobota::Urzadzenie’
}
encoder.cpp:62: error: initializing argument 1 of ’int Stan<TYP>::Wez(typename
TYP::Urzadzenie) const [with TYP = PotencjometrRobota]’
Synonimy nazw typów po raz drugi
...
};
...
class Stan {
...
public:
...
};
int main( )
{
Stan<EnkoderRobota>StanEnkRob StanEnk;
StanEnk.Wez(EnkoderRobotaEnkRob::Naped);
}
...
};
...
class Stan {
...
public:
...
};
typedef Stan<EnkoderRobota> StanEnkRob;
EnkRob;
int main( )
{
}
...
};
...
class Stan {
...
public:
...
};
EnkRob;
int main( )
{
}
...
};
...
class Stan {
...
public:
...
};
EnkRob;
int main( )
{
StanEnkRob StanEnk;
StanEnk.Wez(EnkRob::Naped);
}

Wprowadzenie do szablonów klas

Transkrypt

Podobne dokumenty

Szkolenia MAGELLAN MANAGER

1 a) Wycinanie szablonu kwadratowego (montaż w drzwiach).

Zamrażarka niskotemperaturowa skrzyniowa VT 78

Szablon strony www - gry komputerowe7 - BLUE-SHOP

Szablon strony www - prawo2 - BLUE-SHOP

Karta Techniczna szablony

Aluplast Zamawiajacy : Decco Drzwi wejściowe Wersja 1. kolor