TL; DR

VKScript no es JavaScript. La semántica de este lenguaje es fundamentalmente diferente de la semántica de JavaScript. Ver la conclusión .

¿Qué es VKScript?

VKScript es un lenguaje de programación de secuencias de comandos similar a JavaScript que se utiliza en el método de execute API VKontakte, que permite a los clientes descargar exactamente la información que necesitan. En esencia, VKScript es un análogo de GraphQL utilizado por Facebook con el mismo propósito.

Compare GraphQL y VKScript:

Descripción de VKScript desde la página del método en la documentación de la API de VK (la única documentación oficial del idioma):

codigo	código de algoritmo en VKScript : un formato similar a JavaScript o ActionScript ( se supone compatibilidad con ECMAScript ) . El algoritmo debe terminar con el comando return% expression% . Los operadores deben estar separados por punto y coma. cuerda

Los siguientes son compatibles:

• operaciones aritméticas
• operaciones lógicas
• creación de matrices y listas ([X, Y])
• parseInt y parseDouble
• concatenación (+)
• si construye
• filtro de matriz por parámetro (@.)
• Llamadas al método API , parámetro de longitud
• bucles utilizando la instrucción while
• Métodos Javascript: corte , inserción , pop , shift , unshift , empalme , substr , división
• eliminar operador
• asignación a elementos de matriz, por ejemplo: row.user.action = "prueba";
• la búsqueda en la matriz o cadena es indexOf , por ejemplo: "123" .indexOf (2) = 1, [1, 2, 3] .indexOf (3) = 2. Devuelve -1 si no se encuentra el elemento.

La creación de funciones no es compatible actualmente.

La documentación citada establece que "la compatibilidad con ECMAScript está planificada". ¿Pero es así? Tratemos de descubrir cómo funciona este lenguaje desde adentro.

Contenido

1. Máquina virtual VKScript
2. Semántica de objetos VKScript
3. Conclusión

Máquina virtual VKScript

¿Cómo se puede analizar un programa en ausencia de una copia local? Así es: envíe solicitudes al punto final público y analice las respuestas. Intentemos, por ejemplo, ejecutar el siguiente código:

 while(1); 

Recibimos un Runtime error occurred during code invocation: Too many operations . Esto sugiere que en la implementación del lenguaje hay un límite en el número de acciones realizadas. Intentemos establecer el valor límite exacto:

 var i = 0; while(i < 1000) i = i + 1; 

• Runtime error occurred during code invocation: Too many operations .

 var i = 0; while(i < 999) i = i + 1; 

• {"response": null} : el código se ejecutó correctamente.

Por lo tanto, el límite en el número de operaciones es de aproximadamente 1000 ciclos "inactivos". Pero, al mismo tiempo, está claro que ese ciclo probablemente no sea una operación "unitaria". Intentemos encontrar una operación que no esté dividida por el compilador en varias más pequeñas.

El candidato más obvio para el papel de tal operación es la llamada declaración vacía ( ; ). Sin embargo, después de agregar al código con i < 999 50 caracteres ; , el límite no se supera. Esto significa que el compilador arroja la declaración vacía y no desperdicia operaciones, o una iteración del bucle requiere más de 50 operaciones (lo cual, muy probablemente, no es así).

Lo siguiente que viene a la mente después ; - cálculo de alguna expresión simple (por ejemplo, así: 1; ). Intentemos agregar algunas de estas expresiones a nuestro código:

 var i = 0; while(i < 999) i = i + 1; 1; //    1; //       "Too many operations" 

Por lo tanto, 2 operaciones 1; gastar más operaciones que 50 operaciones ; . Esto confirma la hipótesis de que la declaración vacía no desperdicia instrucciones.

Intentemos reducir el número de iteraciones del ciclo y agreguemos 1; adicional 1; . Es fácil notar que para cada iteración hay 5 1; adicionales 1; por lo tanto, una iteración del ciclo gasta 5 veces más operaciones que una operación 1; .

¿Pero hay una operación aún más simple? Por ejemplo, agregar el operador unario ~ no requiere el cálculo de expresiones adicionales, y la operación misma se realiza en el procesador. Es lógico suponer que agregar esta operación a la expresión aumenta el número total de operaciones en 1.

Agregue este operador a nuestro código:

 var i = 0; while(i < 999) i = i + 1; ~1; 

Y sí, podemos agregar uno de esos operadores y una expresión más 1; Ya no. Por lo tanto, 1; Realmente no es un operador unitario.

Similar al operador 1; , reduciremos el número de iteraciones del bucle y agregaremos los operadores ~ . Una iteración resultó ser equivalente a 10 operaciones unitarias ~ , por lo tanto, expresión 1; Gasta 2 operaciones.

Tenga en cuenta que el límite es de aproximadamente 1000 iteraciones, es decir, aproximadamente 10,000 operaciones individuales. Suponemos que el límite es exactamente 10.000 operaciones.

Medir el número de operaciones en código

Tenga en cuenta que ahora podemos medir el número de operaciones en cualquier código. Para hacer esto, agregue este código después del ciclo y agregue / elimine iteraciones, operadores ~ o toda la última línea, hasta que desaparezca el error Too many operations .

Algunos resultados de medición:

Determinar el tipo de máquina virtual

Primero debe comprender cómo funciona el intérprete de VKScript. Hay dos opciones más o menos plausibles:

• El intérprete atraviesa recursivamente el árbol de sintaxis y realiza una operación en cada nodo.
• El compilador traduce el árbol de sintaxis en una secuencia de instrucciones que ejecuta el intérprete.

Es fácil entender que VKScript usa la segunda opción. Considere la expresión (true?1:1); (5 operaciones) y (false?1:1); (4 operaciones). En el caso de la ejecución secuencial de instrucciones, una operación adicional se explica por una transición que "omite" la opción incorrecta, y en el caso de una omisión AST recursiva, ambas opciones son equivalentes para el intérprete. Se observa un efecto similar en if / else con una condición diferente.

También vale la pena prestar atención al par i = 1; (3 operaciones) y var j = 1; (1 operación). ¿Crear una nueva variable cuesta solo 1 operación y asignarla a una existente cuesta 3? El hecho de que crear una operación de costo variable 1 (y, muy probablemente, es una operación de carga constante), dice dos cosas:

• Al crear una nueva variable, no hay asignación de memoria explícita para la variable.
• Al crear una nueva variable, el valor no se carga en la celda de memoria. Esto significa que el espacio para la nueva variable se asigna donde se calculó el valor de la expresión, y después de eso, esta memoria se considera asignada. Esto sugiere el uso de una máquina apiladora.

El uso de la pila también explica que la expresión var j = 1; corre más rápido que la expresión 1; : la última expresión gasta instrucciones adicionales para eliminar el valor calculado de la pila.

Determinar el valor límite exacto

Tenga en cuenta que el ciclo var j=0;while(j < 1)j=j+1; (15 operaciones) es una copia pequeña del ciclo que se utilizó para las mediciones:

 var i = 0; while(i < 1) i = i + 1; 

 var i = 0; while(i < 999) i = i + 1; 

 var i = 0; while(i < 999) i = i + 1; ~1; 

¿Detener qué? ¿Hay un límite de 9998 instrucciones? Claramente nos falta algo ...

Tenga en cuenta que el código de return 1; es return 1; realizado según mediciones para 0 instrucciones. Esto se explica fácilmente: el compilador agrega un return null; implícito return null; al final del código return null; , y al agregar su retorno falla. Suponiendo que el límite es 10000, concluimos que la operación return null; toma 2 instrucciones (probablemente esto es algo así como push null; return; ).

Bloques de código anidados

Tomemos algunas medidas más:

Prestemos atención a los siguientes hechos:

• Agregar una variable a un bloque requiere una operación adicional.
• Cuando se "declara una variable nuevamente", la segunda declaración se cumple como una asignación normal.
• Pero al mismo tiempo, la variable dentro del bloque no es visible desde el exterior (ver el último ejemplo).

Es fácil entender que se gasta una operación adicional para eliminar de la pila las variables locales declaradas en el bloque. En consecuencia, cuando no hay variables locales, no es necesario eliminar nada.

Objetos, Métodos, Llamadas API

Analicemos los resultados. Puede notar que crear una cadena y una matriz / objeto vacío requiere 2 operaciones, al igual que cargar un número. Al crear una matriz u objeto no vacío, se agregan las operaciones dedicadas a cargar elementos de la matriz / objeto. Esto sugiere que la creación directa de un objeto ocurre en una operación. Al mismo tiempo, no se pierde tiempo descargando nombres de propiedades; por lo tanto, descargarlos es parte de la operación de creación del objeto.

Con la llamada al método API, todo también es bastante común: cargar una unidad, realmente llamar al método, pop resultado (puede notar que el nombre del método se procesa como un todo y no como propiedades de toma). Pero los últimos tres ejemplos parecen interesantes.

• "".substr(0, 0); - cargando una cadena, cargando cero, cargando cero, resultado pop . Por una razón, hay 2 instrucciones para llamar a un método (por alguna razón, ver más abajo).
• var j={};jx=1; - crear un objeto, cargar un objeto, cargar una unidad, pop unit después de la asignación. Nuevamente, hay 2 instrucciones para la asignación.
• var j={x:1};delete jx; - cargar una unidad, crear un objeto, cargar un objeto, eliminar. Hay 3 instrucciones por operación de eliminación.

Semántica de objetos VKScript

Los numeros

Volviendo a la pregunta original: ¿VKScript es un subconjunto de JavaScript u otro idioma? Hagamos una prueba simple:

 return 1000000000 + 2000000000; 

 {"response": -1294967296}; 

Como podemos ver, la suma de enteros conduce al desbordamiento, a pesar de que JavaScript no tiene enteros como tales. También es fácil verificar que dividir por 0 conduce a un error y no devuelve Infinity .

Los objetos

 return {}; 

 {"response": []} 

¿Detener qué? ¿Devolvemos un objeto y obtenemos una matriz ? Si lo es. En VKScript, las matrices y los objetos están representados por el mismo tipo, en particular, un objeto vacío y una matriz vacía son uno y lo mismo. En este caso, la propiedad de length del objeto funciona y devuelve el número de propiedades.

¿Es interesante ver cómo se comportan los métodos de lista si los llama a un objeto?

 return {a:1, b:2, c:3}.pop(); 

 3 

El método pop devuelve la última propiedad declarada, que, sin embargo, es lógica. Cambiar el orden de las propiedades:

 return {b:1, c:2, a:3}.pop(); 

 3 

Aparentemente, los objetos en VKScript recuerdan el orden en que se asignan las propiedades. Intentemos usar propiedades numéricas:

 return {'2':1,'1':2,'0':3}.pop(); 

 3 

Ahora veamos cómo funciona push:

 var a = {'2':'a','1':'b','x':'c'}; a.push('d'); return a; 

 {"1": "b", "2": "a", "3": "d", "x": "c"}; 

Como puede ver, el método de inserción ordena las teclas numéricas y agrega un nuevo valor después de la última tecla numérica. Los "agujeros" no se rellenan en este caso.

Ahora intente combinar estos dos métodos:

 var a = {'2':'a','1':'b','x':'c'}; a.push(a.pop()); return a; 

 {"1": "b", "2": "a", "3": "c", "x": "c"}; 

Como vemos, el elemento no se ha eliminado de la matriz. Sin embargo, si ponemos push y pop en diferentes líneas, el error desaparecerá. ¡Necesitamos ir más profundo!

Almacenamiento de objetos

 var x = {}; var y = x; xy = 'z'; return y; 

 {"response": []} 

Al final resultó que, los objetos en VKScript se almacenan por valor, a diferencia de JavaScript. Ahora vemos el extraño comportamiento de la cadena a.push(a.pop()); - aparentemente, el valor anterior de la matriz se guardó en la pila, desde donde se tomó más tarde.

Sin embargo, ¿cómo se almacenan los datos en el objeto si el método lo modifica? Aparentemente, la instrucción "extra" cuando se llama al método está diseñada específicamente para escribir cambios en el objeto.

Métodos de matriz

Conclusión

VKScript no es JavaScript. A diferencia de JavaScript, los objetos que contiene se almacenan por valor, no por referencia, y tienen una semántica completamente diferente. Sin embargo, cuando se utiliza VKScript para el propósito para el que está destinado, la diferencia no se nota.

PS Semántica de operadores

Los comentarios mencionaron la combinación de objetos a través de + . En este sentido, decidí agregar información sobre el trabajo de los operadores.

Para operaciones con números (excepto bit), si los operandos son int y double , int se double en double . Si ambos operandos son int , se realiza una operación en enteros de 32 bits con signo (con desbordamiento).