Moduli: Simboli, riferimento e significato di statico

[vuott]

Sapete cosa vi dico? Che non ci capisco più niente, credevo che... e invece...

     



" il mondo si è fermato io ora scendo qui
   prosegui tu, ... "

(Gino Paoli -  Ti lascio una canzone)

[Gianluigi]

Va bene ridere che fa buon sangue, ma poi come sintetizziamo il tutto?
Intendi scriverne a Minisini come avevi pensato?

[Gianluigi]

Potrei stare per dire parecchie scemenze:
Il modulo a detta dello stesso Minisini è una classe statica senza eventi e in effetti se noi proviamo a inserirgli un evento questo si limita a non funzionare o da anche errore.
Una classe statica è una classe che si istanzia da sola.
Anche i Form sono classi statiche con la possibilità di ricevere parametri opzionali, il che vuol dire che in pratica possono essere istanziati.
Potrebbe essere che, per semplificare, Minisini si sia limitato ad aggiungere alle classi statiche (moduli compresi) l'auto istanziazione e, a togliere gli eventi ai moduli e stop.
Questo spiegherebbe perché sia i moduli che le classi statiche possono essere istanziati.
In verità quella dei moduli non può essere che una falsa istanziazione in quanto, come ho già detto, non avendo l'evento _new (il famoso costruttore) penso si limiti solo ad accettare nomi alternativi che fanno capo sempre a lui, però questa è solo un'illazione non sperimentata, magari _new è solo nascosto e invece crea nuove istanze. 

 

[Gianluigi]

È tutto qui, in queste prime frasi al punto 1 e più precisamente questa frase:

Codice: [Seleziona]

A static class cannot be instantiated: it would create an object with no dynamic variable, which is useless.

Minisini dice che istanziare una Classe statica od un Modulo sarebbe inutile in quanto creeremmo un oggetto senza variabile dinamica.
Caro Vuott potresti essere così cortese di ripartire con le spiegazioni filosofiche e farci capire cosa qui si intende per variabile dinamica?

 

[vuott]

.....Mistero del Cosmo, mistero dell'Universo !   

[kicco]

 
Proteggici tu!

[Gianluigi]

I moduli altri non sono che delle classi con i simboli statici.
Per simboli si intende Variabili, Proprietà, Metodi, Costanti, Eventi.
I simboli in un modulo non possono essere dinamici.
Allego il test che mi ha gentilmente inviato Tobias Boerge per spiegarmelo in questa discussione.

[vuott]

La questione fondamentale risiede nella differenza in tale contesto fra "Statico" e "Dinamico".
Data l'importanza dell'argomento Boege avrebbe dovuto spendere qualche parola in più per specificare e chiarire il significato di quelle due accezioni in Gambas.

Ad ogni modo mi pare che il nucleo del suo ragionamento sia il seguente:
" Now, a module is a normal class in which every symbol is implicitly madestatic by the compiler.
  You can still create objects from a module but thatisn't useful because you don't have dynamic symbols
  in a module. You will just end up with multiple objects that all reference the same data. "
combinato con queste righe del suo esempio:

Codice: [Seleziona]

Dim x As New Mod
  ......
  Mod.A = 12
  x.Func()
  Mod.Func()

Si ha dunque che è possibile creare regolarmente Istanze individuali, singoli Oggetti di un Modulo mediante la parola-chiave "New"; ma i Simboli delle Istanze di un Modulo non sono suscettibili di diretta lettura né di assegnazione diretta di valori, restando questa caratteristica una prerogativa del Modulo, del quale quegli Oggetti sono Istanze.
In ciò si sostanzia l'affermazione di Boege per cui la creazione di Istanze individuali di un Modulo "that isn't useful", ossia non possiede alcuna utilità pratica.
Provate infatti ad aggiungere e provare queste righe:

Codice: [Seleziona]

......
   x.A = 1990
  Print x.A
  Mod.Func()
  ......

[Gianluigi]

Tutto giusto quello che dici, ma io personalmente, avendo sempre usato normalmente i moduli per routine di appoggio non avevo mai notato sostanziali differenze con le classi.
Invece grazie a Tobias ora è chiaro che le differenze ci sono e come, basta cambiare il modulo con una classe e provare lo stesso codice per rendersi conto di quello che invece io non riuscivo a capire.

Per essere più chiari copiate in Class1 il codice del modulo e cambiate così:

Codice: [Seleziona]

Public Sub Main()
  Dim cl As New Class1
  Dim x As New Class1

  ' Show that Mod and x share the same (static) variable A:
  cl.A = 10
  x.Func()
  cl.A = 12
  x.Func()
  cl.Func()

  ' Dump all symbols (they show up as static)
  DumpSymbols(x)
End

[Gianluigi]

Ritiro quanto ho detto poc'anzi, la mia comprensione è di tipo pendolare nel senso che viene ma poi va. 

Ma se i metodi nei moduli sono statici, potete spiegarmi perché il secondo Print Module1.myAdd() non restituisce 24?

Va beh ora me ne vado a dormire vediamo se la notte porta consiglio...

[vuott]

perché il secondo Print Module1.myAdd() non restituisce 24?

...perché, a mio parere, la Staticità del Modulo si afferma - come ho lasciato implicitamente intendere nel mio precedente intervento - più in relazione alle sue ipotetiche Istanze individuali (che - come ormai sappiamo - risultano essere inutili), che alla presunta capacità di conservare i valori precedentemente assegnati.
Anzi, con riferimento a tale capacità si può anche aggiungere, richiamando una norma più generale che ben conosciamo, che la Staticità di un Simbolo di un Modulo sussiste solo qualora la sua Visibilità sia Pubblica.

[Gianluigi]

La notte più che consiglio a me, ha portato in dono un'ampia ed esaustiva spiegazione di Tobias.
In pratica conferma quanto già diceva Vuott poc'anzi e cioè; nel mio esempio il metodo MyAdd() calcola solo la somma dei suoi argomenti e non accede ad alcuna variabile (statica).

Come suggeritomi da Vuott appena ho un po di tempo vedo come dividere coerentemente questa discussione in modo che possa essere più utile a future ricerche, sperando che nel frattempo il buon Vuott ne faccia una guida per la wiki. 

 

[vuott]

.... dei suoi argomenti e non accede ad alcuna variabile (statica).

...e gli argomenti (o meglio in questo caso: i "parametri") di una funzione non hanno una "visibilità" Pubblica né Globale.