esperimenti con TNullable

[DragoRosso]

PS:
poi un giorno mi spieghi la storia della "perversione" 

Uno che la mattina si sveglia e vuole lavorare con una tecnologia mai vista prima, mai implementata da nessuno, compatibile con nessuno ..... se non è perversione questa 

ci hai pensato se dare in pasto il sorgente delphi a quelli di fpc?
secondo me ne vale la pena

Si, però prima devo fare qualche prova per verificare che tutto sia OK, con un pò di casi in modo da presentarli con l'implementazione. E pormi il più possibile il linea con Lazarus.

Cercherò di fare presto.

Ciao

[DragoRosso]

Stò commentando (utile anche per aggiornare il blog) e sono andato a guardarmi GITLAB FPC dove c'è proprio questo argomento (1 anno fà) in oggetto, compresa messa in discussione la compatibilità con Delphi.

La discussione è stata chiusa con l'aggiornamento all'uscita della prima versione accessibile di Delphi con il TNullable implementato (o riproducibile). Un tentativo di riapertura è stato "cassato".

Nella discussione, un utente (ovviamente sviluppatore FPC) riportava esattamente la stessa problematica che ho riscontrato io.

Siccome Emb non supporta ancora ufficialmente TNullable ma è uscita una versione accessibile di Delphi che "dovrebbe" supportare (il condizionale è d'obbligo purtroppo) quanto fatto, forse posso tentare di riaprire il caso.

Ciao

[nomorelogic]

Potresti mettere il link della discussione?
Lasciarlo in questo thread può essere utile anche per chi arriverà ad interessarsi di questa cosa in futuro.

[DragoRosso]

Questo è il link di discussione su questo argomento (TNullable e compatibilità con Delphi).

https://gitlab.com/freepascal.org/fpc/source/-/issues/37128

Ciao

[DragoRosso]

Il TNullable è stato testato e aggiornato con gli aggiustamenti post debug. E' stato aggiornato con alcune peculiarità, ad esempio conoscere il tipo <T> anche se mi ritrovo il record come semplice puntatore.

Test approfonditi sono stati fatti con integer, string, variant, simulando anche eventuali "disguidi" .....

Tutto sommato sembra abbastanza funzionale. Lo si può potenziare aggiornandolo ed espandendolo per un typecast interno più esteso e un supporto a più operatori.
Però sino a quando non verrà supportato nativamente dai compilatori (con le ottimizzazioni del caso), lavorarci troppo sopra non ha molto senso.

I tempi ovviamente di esecuzione soffrono della non ottimizzazione (anche a livello progettuale).
 
In allegato i tempi di esecuzione in un normale programma (non in Threading) senza uso di funzionalità parallele. Per il calcolo del tempo con gli integer si è usata una routine assembler, per dare anche un raffronto di prestazioni reali.

I cicli sono costituiti da 10M di addizioni.

Ciao

[DragoRosso]

Alcune news:

buone notizie x Lazarus, e non proprio buonissime x Delphi.

La matematica per i generic come un TNullable<T> non viene supportata nativamente da Delphi, che lascia spazio alle costruzioni di interfacce per sviluppare gli algoritimi applicativi del caso. Questa è la soluzione più flessibile ma anche la più dispendiosa in termini di energie, oltre al possibile impegno per il mantenimento. Inoltre, non essendo un supporto diretto a livello di compilazione (si usano le interfacce), sofrirebbe sivuramente in termini prestazionali.

Invece FPC supporta la matematica nei generic TNullable<T> (non sò fino a che livello) e quindi risulta più semplice applicarli.

Emb stà "studiando" la situazione.

Esempi:

Codice: [Seleziona]

type
  TNullInteger: TNullable<integer>;

var 
  NullInt: TNullInteger;
  NullInt2: TNullInteger;
  A: varinant;

//Assegnazioni: OK
  A := unassigned;
  NullInt := NULL;
  NullInt2 := 10;
  NullInt := NullInt2;
  NullInt := unassigned;
  NullInt2 := A;
  A := 50;
  NullInt := A + 10;

//Le operazioni (nativamente):
  NullInt := NullInt +10;   //DELPHI NO, LAZARUS SI

//Comparazioni
  (NullInt = NullInt2);
  (A = NullInt)
  (NullInt = A)
  (NullInt2 = 10)
  (NullInt2 = NULL)

[DragoRosso]

E' stato fatto il porting per eguagliare le funzionalità tra Delphi e Lazarus.

Lo sviluppo del codice è formalmente terminato. Siamo in fase di TEST (con @nomorelogic) con tutti i tipi più comunemente utilizzati.

Produzione del progetto di Esempio con tutte le funzionalità per documentazione uso e test utente.

Poi lo pubblichiamo qui nel forum (e aggiorniamo il blog).

Ciao