¿Cómo comprobar si una clase Delphi se declara abstracta?

Question

¿Es posible en Delphi usar RTTI (u otra cosa) para verificar si una clase se declara como abstracta? Algo así como:

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

... 

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

Answer 1

Una mirada rápida a través de la unidad de TypInfo no aparece nada útil. Creo que la noción de una "clase abstracta" es puramente en beneficio del compilador. Le da una regla que exigir - ninguna instanciación de esta clase, solo sus descendientes - pero realmente no hace nada en tiempo de ejecución, por lo que no es necesario registrar ningún RTTI para ello.

¿Por qué estás tratando de descubrir esto de todos modos, solo por curiosidad?

Answer 2

que no tienen una versión suficientemente reciente como para responder a su pregunta directamente, pero tenga en cuenta que no realmente importa si la clasees abstracta. Todo lo que hace es hacer que el compilador le impida llamar a un constructor directamente en la clase. Si coloca la referencia de clase en una variable de referencia de clase, el compilador le permitirá llamar al constructor sobre la variable, y en tiempo de ejecución tendrá una instancia de la clase supuestamente no ejecutable.

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

Lo que es realmente importante es si la clase tiene ningún métodos abstractos. Puede verificarlo con bastante facilidad. Mire en el VMT de la clase. Cualquier ranura de método virtual que contiene un puntero a System._AbstractError es un método abstracto. La parte engañosa es saber cuántas ranuras de método virtual verificar, ya que eso no se graba. Allen Bauer demonstrated how to do that en una respuesta a another question, pero en los comentarios Mason Wheeler señala que puede devolver valores más grandes de lo que debería. Menciona la función GetVirtualMethodCount del JCL, que debería proporcionar un recuento más preciso de los métodos virtuales definidos por el usuario. El uso de esa función y GetVirtualMethod, también de la JCL, obtenemos esta función:

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; 

Si una clase abstracta no tiene métodos abstractos, entonces, ¿cómo abstracta puede ser realmente? Debe haber sido marcado como abstracto para evitar que los desarrolladores creen instancias del mismo, pero si realmente lo desea, puede crear instancias del mismo de todos modos, por lo que marcar una clase abstracta es realmente más una advertencia que cualquier restricción real de uso.