Klasa abstrakcyjna
Z Wikipedii
Klasa abstrakcyjna w programowaniu obiektowym zależnie od użytego obiektowego języka programowania jest to klasa która nie może mieć swoich reprezentantów pod postacią obiektów i służy jedynie temu by dziedziczyć od niej pewien interfejs. Zależnie od użytego języka programowania klasy abstrakcyjne tworzy się na różne sposoby.
Spis treści |
[edytuj] "Idea" klasy abstrakcyjnej
Klasa abstrakcyjna jest pewnym uogólnieniem innych klas (na przykład dla występujących w rzeczywistości obiektów), lecz sama jako taka nie istnieje. Ustalmy, że przez "figurę" będziemy rozumieć "koło", "kwadrat" lub "trójkąt". Te obiekty matematyczne mogą być reprezentowane przez pewne klasy. Obiekty te posiadają już konkretne właściwości takie jak promień (dla konkretnego koła) czy długość boku (dla konkretnego kwadratu). Klasy tych obiektów wywodzą się z pewnej uogólnionej klasy określanej jako po prostu figura. Jednak nie jesteśmy w stanie określić jaką konstrukcję miałby obiekt klasy figura, ponieważ figura geometryczna jako taka nie istnieje. Istnieją natomiast wywodzące się od niej klasy koło czy kwadrat. Dodatkowo oczywistym jest, że figura nie posiada konkretnej wartości pola czy obwodu, jednak już na tym etapie wiemy, że każda figura tak zdefiniowana (koło, kwadrat czy trójkąt) posiada pole i obwód, które będzie różnie obliczane dla różnych figur. Dzięki temu figura definiuje pewien interfejs dla klas wywodzących się od niej.
[edytuj] Klasy abstrakcyjne w różnych językach
[edytuj] C++
W C++ klasą abstrakcyjną jest klasa, która posiada zadeklarowaną co najmniej jedną metodę czysto wirtualną. Każda klasa która dziedziczy po klasie abstrakcyjnej i sama nie chce być abstrakcyjną, musi posiadać implementację każdej z odziedziczonych metod czysto wirtualnych. Jeżeli nie podano choćby jednej implementacji metody czysto wirtualnej, klasa taka sama staje się abstrakcyjną.
[edytuj] Przykład
class Abstrakcyjna {
public:
virtual void metodaCzystoWirtualna() = 0; // metoda czysto wirtualna
};
class Nieabstrakcyjna : public Abstrakcyjna { // dziedziczenie
public:
void metodaCzystoWirtualna() { // implementacja metody czysto wirtualnej
// instrukcje metody
return;
}
};
int main() {
// Abstrakcyjna obiektX; // błąd, klasa jest abstrakcyjna
Nieabstrakcyjna obiektY; // poprawne
return 0;
}
[edytuj] Java i C#
W Javie i C# klasą abstrakcyjną jest klasa, która została zadeklarowana jako abstrakcyjna za pomocą słowa kluczowego abstract.
[edytuj] Właściwości
- Klasa abstrakcyjna w Javie nie musi posiadać metod czysto wirtualnych aby być abstrakcyjną, jednak takie użycie klasy abstrakcyjnej określa klasę jako nieinstancjowalną i jest rzadziej spotykane.
- Jeśli co najmniej jedna metoda w klasie zostanie zadeklarowana jako czysto wirtualna (abstrakcyjna), to ta klasa musi zostać zadeklarowana jako abstrakcyjna.
- Jeżeli wszystkie metody klasy są czysto wirtualne, zaleca się, aby taką klasę zadeklarować jako interfejs.
[edytuj] Przykład
abstract class Figura {
abstract public double pole();
}
class Kolo extends Figura {
public double promien;
public Kolo( double p ) {
this.promien = p;
}
// implementacja metody czysto wirtualnej
public double pole() {
return 3.14 * promien * promien;
}
}
public class Program {
public static void main( String[] args ) {
// Figura f = new Figura(); // niemożliwe: Figura jest klasą abstrakcyjną
Kolo k = new Kolo( 2 );
System.out.println( k.pole() );
}
}
