Jak sprawdzić, czy klasa Delphi jest deklarowana jako abstrakcyjna?

Question

Czy w Delphi można używać RTTI (lub czegoś innego) do sprawdzenia, czy dana klasa jest deklarowana jako abstrakcyjna? Coś jak:

TMyAbstractClass = class abstract(TObject) 
    // ... 
end; 

... 

if IsAbstract(TMyAbstractClass.ClassInfo) then 
    ShowMessage('Yeah') 
else 
    ShowMessage('Computer says no...'); 

Answer 1

Szybkie spojrzenie przez jednostkę TypInfo nie włącza się niczego przydatne. Myślę, że pojęcie "klasy abstrakcyjnej" jest wyłącznie z korzyścią dla kompilatora. Daje to regułę do wymuszania - bez tworzenia instancji tej klasy, tylko jej potomków - ale tak naprawdę nie robi nic w czasie wykonywania, więc nie ma potrzeby rejestrowania dla niej żadnego RTTI.

Dlaczego próbujesz to odkryć, po prostu z ciekawości?

Answer 2

nie mam wersję wystarczająco wcześnie, aby odpowiedzieć na to pytanie bezpośrednio, ale należy pamiętać, że nie naprawdę sprawę, czy klasajest abstrakcyjny. Wszystko to sprawia, że ​​kompilator powstrzymuje Cię przed wywołaniem konstruktora bezpośrednio na klasie. Jeśli odwołanie do klasy zostanie umieszczone w zmiennej odwołującej się do klasy, kompilator umożliwi wywołanie konstruktora zmiennej, aw czasie wykonywania będziesz miał instancję rzekomo nieusuwalnej klasy.

var 
    c: TClass; 
    o: TObject; 
begin 
    c := TMyAbstractClass; 
    o := c.Create; 
    Assert(o is TMyAbstractClass); 
end; 

Co jest naprawdę ważne jest czy klasa ma jakieś metody abstrakcyjne. Możesz to łatwo sprawdzić. Zajrzyj do VMT klasy. Każde gniazdo metody wirtualnej zawierające wskaźnik do System._AbstractError jest metodą abstrakcyjną. Najtrudniejsze jest poznanie, ile automatów wirtualnych należy sprawdzić, ponieważ nie jest to rejestrowane. Allen Bauer demonstrated how to do that w odpowiedzi na another question, ale w komentarzach Mason Wheeler wskazuje, że może zwracać większe wartości niż powinien. Wymienia on funkcję GetVirtualMethodCount z JCL, która powinna zapewniać dokładniejszą liczbę wirtualnych metod zdefiniowanych przez użytkownika. Korzystanie z tej funkcji i GetVirtualMethod, również z JCL, mamy tę funkcję:

function HasAbstractMethods(c: TClass): Boolean; 
var 
    i: Integer; 
begin 
    Result := True; 
    for i := 0 to Pred(GetVirtualMethodCount(c)) do 
    if GetVirtualMethod(c, i) = @_AbstractError then 
     exit; 
    Result := False; 
end; 

Jeśli klasa abstrakcyjna nie ma metody abstrakcyjne, to jak streszczenie może być naprawdę? Musiało być oznaczone jako abstrakcyjne, aby uniemożliwić programistom tworzenie jego wystąpień, ale jeśli naprawdę tego chcesz, możesz mimo to utworzyć jego wystąpienia, więc zaznaczenie klasy abstrakcyjnej jest bardziej ostrzeżeniem niż faktycznym ograniczeniem użycia.