TCustomAttribute - "espressione costante previsto" errore di compilazione

Question

Dato il seguente frammento di codice:

type 
    MyIntf = interface 
    ['{C6184693-663E-419F-B2DA-4DA1A0E33417}'] 
    procedure Foo; 
    end; 

    InvisiblePropInterfaces = class(TCustomAttribute) 
    private 
    FGUIDS: array of TGUID; 
    public 
    constructor Create(const GUIDS: array of TGUID); 
    end; 

    [InvisiblePropInterfaces([MyIntf])] // <-- Constant expression expected error 
    TMyClass = class(TInterfacedObject, MyIntf) 
    procedure Foo; 
    end; 

Perché il compilatore che questo non è un'espressione costante? Ma dato che utilizzo InvisiblePropInterfaces come questo, il compilatore è semplicemente felice?

... 
var 
    I: InvisiblePropInterfaces; 
begin 
    I:= InvisiblePropInterfaces.Create([MyIntf]); 
... 

Answer 1

La sezione pertinente della attributes documentation è questo:

È importante comprendere che i valori passati al costruttore dell'attributo devono essere espressioni costanti. Poiché tali valori devono essere incorporati direttamente nel binario risultante, è impossibile passare un'espressione che richiede una valutazione in fase di esecuzione. Ciò solleva alcune limitazioni alle informazioni che possono essere passate all'attributo in fase di compilazione:

• Sono consentite solo espressioni costanti, inclusi insiemi, stringhe e espressioni ordinali.
• i parametri out e var non possono essere utilizzati, poiché richiedono la valutazione in fase di esecuzione degli indirizzi dei parametri passati.
• Non è possibile utilizzare Addr() intrinsec e @ operator.
• L'operatore TypeInfo() può essere utilizzato per passare informazioni sul tipo, poiché gli indirizzi dei blocchi RTTI sono noti al momento della compilazione.
• I riferimenti di classe sono consentiti, poiché gli indirizzi della metaclass (come nel caso di TypeInfo()) sono noti al momento della compilazione.

Il punto chiave è che un constant expression è un termine tecnico Pascal che non è la stessa cosa di una costante. Sospetto che questa sia la radice della confusione.

Poiché non è possibile avere un'espressione costante che può essere passata a un TGUID, non si è fortunati con il proprio attributo. In effetti è altrettanto impossibile avere un'espressione costante che può essere passata a un parametro di array aperto.

Suppongo che si possa usare la rappresentazione di stringa dello GUID per risolvere l'enigma ma che vi lascerà con la duplicazione disordinata e l'impossibilità di passare gli array di GUID.

Answer 2

Erm, perché hai detto di aspettarsi una

TInvisiblePropInterfaces.Create (GUID const: array di TGUID);

tuo attributo sa assolutamente nulla di MyIntf

Answer 3

Questa è una limitazione nota. TGUID è dichiarato come un tipo di record e non è possibile creare un'espressione costante di record.