Come verificare se una classe Delphi è dichiarata astratta?

Question

È possibile in Delphi utilizzare RTTI (o qualcos'altro) per verificare se una classe è dichiarata come astratta? Qualcosa di simile:

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

... 

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

Answer 1

Una rapida occhiata attraverso l'unità di TypInfo non si presenta niente di utile. Penso che la nozione di "classe astratta" sia puramente a beneficio del compilatore. Fornisce una regola per applicare - nessuna istanziazione di questa classe, solo i suoi discendenti - ma in realtà non fa nulla in fase di runtime, quindi non c'è bisogno di registrare alcun RTTI per questo.

Perché stai cercando di scoprirlo comunque, solo per curiosità?

Answer 2

Non ho una versione abbastanza recente di rispondere direttamente alla tua domanda, ma di tenere presente che non davvero importa se la classeè astratta. Tutto ciò che fa è impedire al compilatore di chiamare un costruttore direttamente sulla classe. Se metti il ​​riferimento di classe in una variabile di riferimento di classe, il compilatore ti permetterà di chiamare il costruttore sulla variabile, e in fase di esecuzione avrai un'istanza della classe apparentemente non affidabile.

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

Ciò che è veramente importante è se la classe ha tutti i metodi astratti. Puoi verificarlo abbastanza facilmente. Guarda nel VMT della classe. Qualsiasi slot del metodo virtuale che contenga un puntatore su System._AbstractError è un metodo astratto. La parte difficile è sapere quanti slot del metodo virtuale controllare, poiché non è registrato. Allen Bauer demonstrated how to do that in una risposta a another question, ma nei commenti Mason Wheeler sottolinea che potrebbe restituire valori più grandi di quanto dovrebbe. Menziona la funzione GetVirtualMethodCount da JCL, che dovrebbe fornire un conteggio più accurato dei metodi virtuali definiti dall'utente. Utilizzando tale funzione e GetVirtualMethod, anche dal JCL, otteniamo questa funzione:

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; 

Se una classe astratta non ha metodi astratti, allora come astratta può davvero essere? Deve essere stato contrassegnato come astratto per impedire agli sviluppatori di crearne delle istanze, ma se lo si desidera, è comunque possibile crearne delle istanze, quindi contrassegnare una classe astratta è davvero più un avvertimento che qualsiasi restrizione effettiva sull'uso.