Generičnost - Historie editací

Acolade: kategorizace

2014-02-20T06:37:03Z

kategorizace

← Starší verze		Verze z 20. 2. 2014, 06:37
Řádka 33:		Řádka 33:

	V některých jazycích lze T omezit, třeba jen na typy implementující Iterable.		V některých jazycích lze T omezit, třeba jen na typy implementující Iterable.
		+	[[Kategorie:fav-kiv-bzinf]]

Tester v 14. 8. 2011, 20:51

2011-08-14T20:51:19Z

← Starší verze		Verze z 14. 8. 2011, 20:51
Řádka 1:		Řádka 1:
−	Genericita je možnost programovaciho jazyka definovat místo typů jen „vzory typů“, kde typy proměnných, použité v definici typu (rozuměj v typu jako ADT), jsou vyvedeny vně definice jako parametry a jsou určeny později klientskou aplikací. ~~Zakladnim užitim~~ genericity jsou třidy kontejnerů, ~~ktere~~ jsou ~~určene~~ k ~~udržovani~~ skupin objektů ~~určiteho~~ typu, ~~napřiklad~~ vzor třidy Seznam je definovan vlastně jako Seznam<G>, kde G je typ objektů, ktere mohou ~~byt~~ do seznamu vloženy (kouzlo genericity vynikne pak v ~~kombinaci~~ s ~~dědičnosti~~, kdy do seznamu mohou ~~byt~~ vloženy nejen objekty typu G, ale i objekty všech možnych dědiců třídy (typu) G). ~~Konkretni~~ typ, použitelný v textu programovacího jazyka pak vzniká, když G nahradíme skutečným ~~existujicim~~ typem.	+	Genericita je možnost programovaciho jazyka definovat místo typů jen „vzory typů“, kde typy proměnných, použité v definici typu (rozuměj v typu jako ADT), jsou vyvedeny vně definice jako parametry a jsou určeny později klientskou aplikací. Základnim užitím genericity jsou třidy kontejnerů, které jsou určené k udržování skupin objektů určitého typu, například vzor třidy Seznam je definovan vlastně jako Seznam<G>, kde G je typ objektů, ktere mohou být do seznamu vloženy (kouzlo genericity vynikne pak v kombinací s dědičností, kdy do seznamu mohou být vloženy nejen objekty typu G, ale i objekty všech možnych dědiců třídy (typu) G). Konkrétní typ, použitelný v textu programovacího jazyka pak vzniká, když G nahradíme skutečným existujícím typem.

	Příklad:		Příklad:
Řádka 5:		Řádka 5:
	Máme List<T> kde T je libovolný typ. Když List alokujeme, použijeme List<int> intList = new List<int>(), a tento list poté akceptuje jen čísla typu int.		Máme List<T> kde T je libovolný typ. Když List alokujeme, použijeme List<int> intList = new List<int>(), a tento list poté akceptuje jen čísla typu int.

−	Extrémní případy dovolují mnohé šílenosti, jako třeba List < List < List < HodnotaTabulky > > > je seznam tabulek :D	+	Extrémní případy dovolují mnohé šílenosti, jako třeba
		+	List < List < List < HodnotaTabulky > > >
		+	je seznam tabulek :D

	Pokud definujeme vzor (template, proto se používá T), používáme místo int prostě zástupce T		Pokud definujeme vzor (template, proto se používá T), používáme místo int prostě zástupce T
Řádka 11:		Řádka 13:
	Např.		Např.

−	public interface List<T> { // vytváříme interface, který říká, že nad typem <T> bude list	+	public interface List<T> { // vytváříme interface, který říká, že nad typem <T> bude list
−	void add(T x); // Operace přidání prvku (typu <T>)	+	void add(T x); // Operace přidání prvku (typu <T>)
−	Iterator<T> iterator(); // Struktura má iterátor, který definujeme níže	+	Iterator<T> iterator(); // Struktura má iterátor, který definujeme níže
−	}	+	}

−	public interface Iterator<T> { // Iterátor pohybující se po prvcích typu <T>	+	public interface Iterator<T> { // Iterátor pohybující se po prvcích typu <T>
−	T next(); // Metoda vrací další prvek v pořadí	+	T next(); // Metoda vrací další prvek v pořadí
−	boolean hasNext(); // Jen aby bylo vidět, že nemusíme jen vracet <T>	+	boolean hasNext(); // Jen aby bylo vidět, že nemusíme jen vracet <T>
−	}	+	}

	Což je takhle k ničemu, protože typ T kromě hodnoty nemá nic, co bychom mohli využít. Použijeme tedy obalení do třídy, např		Což je takhle k ničemu, protože typ T kromě hodnoty nemá nic, co bychom mohli využít. Použijeme tedy obalení do třídy, např

−	public class Wrapper	+	public class Wrapper {
−	{	+	T value;
−	T value;	+	Wrapper next();
−	Wrapper next();	+	}
−	}	+

	a s tou pak pracujeme.		a s tou pak pracujeme.

	V některých jazycích lze T omezit, třeba jen na typy implementující Iterable.		V některých jazycích lze T omezit, třeba jen na typy implementující Iterable.

Tester v 14. 8. 2011, 20:15

2011-08-14T20:15:36Z

← Starší verze		Verze z 14. 8. 2011, 20:15
Řádka 1:		Řádka 1:
−	Genericita je možnost programovaciho jazyka definovat ~~misto~~ typů jen „vzory typů“, kde typy proměnných, použité v definici typu (rozuměj v typu jako ADT), jsou vyvedeny vně definice jako parametry a jsou určeny později klientskou aplikací. Zakladnim užitim genericity jsou třidy kontejnerů, ktere jsou určene k udržovani skupin objektů určiteho typu, napřiklad vzor třidy Seznam je definovan vlastně jako Seznam<G>, kde G je typ objektů, ktere mohou byt do seznamu vloženy (kouzlo genericity vynikne pak v kombinaci s dědičnosti, kdy do seznamu mohou byt vloženy nejen objekty typu G, ale i objekty všech možnych dědiců třídy (typu) G). Konkretni typ, použitelný v textu programovacího jazyka pak vzniká, když G nahradíme skutečným existujicim typem.	+	Genericita je možnost programovaciho jazyka definovat místo typů jen „vzory typů“, kde typy proměnných, použité v definici typu (rozuměj v typu jako ADT), jsou vyvedeny vně definice jako parametry a jsou určeny později klientskou aplikací. Zakladnim užitim genericity jsou třidy kontejnerů, ktere jsou určene k udržovani skupin objektů určiteho typu, napřiklad vzor třidy Seznam je definovan vlastně jako Seznam<G>, kde G je typ objektů, ktere mohou byt do seznamu vloženy (kouzlo genericity vynikne pak v kombinaci s dědičnosti, kdy do seznamu mohou byt vloženy nejen objekty typu G, ale i objekty všech možnych dědiců třídy (typu) G). Konkretni typ, použitelný v textu programovacího jazyka pak vzniká, když G nahradíme skutečným existujicim typem.

	Příklad:		Příklad:

Tester: Založena nová stránka: Genericita je možnost programovaciho jazyka definovat misto typů jen „vzory typů“, kde typy proměnných, použité v definici typu (rozuměj v typu jako ADT), jsou ...

2011-08-08T15:05:03Z

Založena nová stránka: Genericita je možnost programovaciho jazyka definovat misto typů jen „vzory typů“, kde typy proměnných, použité v definici typu (rozuměj v typu jako ADT), jsou ...

Nová stránka

Genericita je možnost programovaciho jazyka definovat misto typů jen „vzory typů“, kde typy proměnných, použité v definici typu (rozuměj v typu jako ADT), jsou vyvedeny vně definice jako parametry a jsou určeny později klientskou aplikací. Zakladnim užitim genericity jsou třidy kontejnerů, ktere jsou určene k udržovani skupin objektů určiteho typu, napřiklad vzor třidy Seznam je definovan vlastně jako Seznam<G>, kde G je typ objektů, ktere mohou byt do seznamu vloženy (kouzlo genericity vynikne pak v kombinaci s dědičnosti, kdy do seznamu mohou byt vloženy nejen objekty typu G, ale i objekty všech možnych dědiců třídy (typu) G). Konkretni typ, použitelný v textu programovacího jazyka pak vzniká, když G nahradíme skutečným existujicim typem.

Příklad:

Máme List<T> kde T je libovolný typ. Když List alokujeme, použijeme List<int> intList = new List<int>(), a tento list poté akceptuje jen čísla typu int.

Extrémní případy dovolují mnohé šílenosti, jako třeba List < List < List < HodnotaTabulky > > > je seznam tabulek :D

Pokud definujeme vzor (template, proto se používá T), používáme místo int prostě zástupce T

Např.

public interface List<T> { // vytváříme interface, který říká, že nad typem <T> bude list
void add(T x); // Operace přidání prvku (typu <T>)
Iterator<T> iterator(); // Struktura má iterátor, který definujeme níže
}

public interface Iterator<T> { // Iterátor pohybující se po prvcích typu <T>
T next(); // Metoda vrací další prvek v pořadí
boolean hasNext(); // Jen aby bylo vidět, že nemusíme jen vracet <T>
}

Což je takhle k ničemu, protože typ T kromě hodnoty nemá nic, co bychom mohli využít. Použijeme tedy obalení do třídy, např

public class Wrapper
{
T value;
Wrapper next();
}

a s tou pak pracujeme.

V některých jazycích lze T omezit, třeba jen na typy implementující Iterable.