Changes between Version 12 and Version 13 of TolOop

Timestamp:

Dec 23, 2009, 10:14:08 AM (15 years ago)

Author:

Víctor de Buen Remiro

Comment:

--

TolOop

@@ -8 +8 @@
 
 == Miembros y métodos ==
-A los elementos de una estructura se les suele llamar campos, pero en una clase hay que distinguir los métodos de los miembros. Un método es una función de una clase con un prototipo o definición conocida y fija, es decir, que el tipo devuelto y los argumentos, incluidos sus nombres, están prefijados de antemano.Todos los demás elementos de una clase se denominarán miembros. Nótese que un elemento de tipo {{{Code}}} no es un método.
+A los elementos de una estructura se les suele llamar campos y se accede a ellos mediante la sintaxis {{{<nombre_conjunto>-><nombre_campo>}}}, pero en una clase hay que distinguir los métodos de los miembros, aunque todos ellos se acceden mediante la misma sintaxis {{{<nombre_instancia>::<nombre_campo>}}}. Un método es una función de una clase con un prototipo o definición conocida y fija, es decir, que el tipo devuelto y los argumentos, incluidos sus nombres, están prefijados de antemano.Todos los demás elementos de una clase se denominarán miembros. Nótese que un elemento de tipo {{{Code}}} no es un método.
 
 Tanto unos como otros pueden estar definidos desde un principio o pueden estar solamente declarados a la espera de que se implementen posteriormente.
@@ -304 +304 @@
 Matrix c = sum(vd.ser, vd.mat);
 }}}
+
+=== Acceso a variables del ámbito global ===
+
+El ámbito global puede verse en cierta manera como una clase cuyos elementos son todos estáticos y puede accederse a ellos con el operador {{{::}}} sin operando izquierdo
+{{{
+  Real G = 1;
+  Set aux =
+  {
+    Real G = 2;
+    Real g = ::G 
+    [[g, G]]
+  };
+  Real ok.1 = aux[1]==1;
+  Real ok.2 = aux[2]==2;
+}}}
+
+De esta manera puede asegurarse que se usa la variable global en lugar de otra local que pueda haber pasado desapercibida, dando lugar a errores difíciles de detctar.
+Hay sólo una excepción. Por ejemplo, este otro código da un error porque no es viable aplicar el operador de búsqueda global al tipo Anything, debido a que es posible crear variables de distinto tipo con el mismo nombre, y todas ellas serían aceptables dando lugar a una ambigüedad dificil de resolver sin pérdida de eficiencia.
+{{{
+  Real G = 1;
+  Set fail =
+  {
+    Real G = 2;
+    [[ ::G, G]]
+  };
+}}}