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ć po niej. Zależnie od użytego języka programowania klasy abstrakcyjne tworzy się na różne sposoby.

[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 klasy.

[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() );
   }
 }

[edytuj] Zobacz też

• Dziedziczenie (programowanie obiektowe)
• Programowanie obiektowe
• Funkcja_wirtualna