Una Nueva y completa Implementación de Intellisense Genérico

¿Cómo (en detalle) Microsoft implementa su Intellisense mientras escribe?

Puedo describirlo a cualquier nivel de detalle que quiera nombrar, pero no tengo tiempo para más que una breve explicación. Te explicaré cómo lo hacemos en Roslyn.

Primero, construimos un modelo inmutable del flujo de tokens utilizando una estructura de datos que puede representar eficientemente ediciones, ya que obviamente las ediciones son precisamente lo que va a haber mucho.

El la información clave para hacer que sea eficiente para la reutilización persistente es representar las longitudes de caracteres de los tokens, pero no sus posiciones de caracteres en el búfer de edición; recuerde, un token al final del archivo va a cambiar de posición en cada edición, pero la longitud del token no cambia. Debe minimizar a toda costa el número total de re-lexings si desea ser eficiente en archivos extremadamente grandes.

Una vez que tenga un modelo inmutable que pueda manejar inserciones y eliminaciones para construir un flujo de token inmutable sin volver a lexar todo el archivo cada vez, entonces tiene que hacer lo mismo , pero para el análisis gramatical. Esto es en la práctica un problema considerablemente más difícil. Te recomiendo que obtengas un título de pregrado o posgrado en ciencias de la computación con énfasis en la teoría del analizador si aún no lo has hecho. Obtuvimos la ayuda de personas con doctorado que hicieron sus tesis sobre la teoría del analizador para diseñar este poco en particular de algoritmo.

Entonces, obviamente, construya un analizador gramatical que pueda analizar C#. Recuerde, tiene que analizar rotoC#, no correcto C#; IntelliSense tiene que funcionar mientras el programa no está compilando. Así que comience por llegar a modificaciones a la gramática que tienen buenas características de recuperación de errores.

OK, así que ahora tienes un analizador que puede hacer análisis gramatical de manera eficiente sin volver a lexing o volver a analizar nada más que la región editada, la mayoría del tiempo, lo que significa que puede hacer el trabajo entre pulsaciones de teclado. Olvidé mencionar que, por supuesto, tendrá que llegar a algún mecanismo para no bloquear el subproceso de interfaz de usuario mientras realiza todos estos análisis si el análisis tarda más que el tiempo entre dos pulsaciones de teclas. La nueva característica" async/await " de C# 5 debería ayudar con eso. (Te lo puedo decir por experiencia personal: ten cuidado con la proliferación de tareas y tokens de cancelación. Si eres descuidado, es es posible llegar a un estado donde hay decenas de miles de tareas canceladas pendientes, y eso es no rápido.)

Ahora que tienes un análisis gramatical necesitas construir un analizador semántico. Dado que solo está haciendo IntelliSense, no necesita ser un analizador semántico particularmente sofisticado. (Nuestro analizador semántico debe hacer un análisis adecuado para generar código a partir de programas correctos y corregir el análisis de errores de programas incorrectos.) Pero por supuesto, una vez más, tiene que hacer un buen análisis semántico en programas rotos, lo que aumenta la complejidad considerablemente.

Mi consejo es comenzar por construir un analizador semántico de "nivel superior", nuevamente usando un modelo inmutable que pueda persistir el estado de los tipos declarados en el código fuente de edición a edición. El analizador de nivel superior se ocupa de todo lo que es no una declaración o expresión: declaraciones de tipos, directivas, espacios de nombres, declaraciones de métodos, constructores, destructores, etc. Las cosas que conforman la "forma" del programa cuando el compilador genera metadatos.

Metadatos! Me olvidé de los metadatos. Necesitarás un lector de metadatos. Es necesario ser capaz de producir IntelliSense en expresiones que se refieren a tipos en bibliotecas, obviamente. Recomiendo usar las bibliotecas CCI como lector de metadatos, y no como Reflejo. Dado que solo está haciendo IntelliSense, obviamente no necesita un escritor de metadatos.

De todos modos, una vez que tenga un analizador semántico de nivel superior, a continuación, puede escribir un analizador semántico de sentencias y expresiones que analice los tipos de expresiones en una sentencia dada. Preste especial atención a los algoritmos búsqueda de nombres y resolución de sobrecarga. La inferencia del tipo de método será particularmente complicada, especialmente dentro de consultas LINQ.

Una vez que tenga todo eso, un motor IntelliSense debería ser fácil; simplemente calcule el tipo de expresión en la posición actual del cursor y muestre un menú desplegable adecuadamente.

¿Qué tan difícil sería para mí crear el mío propio del mismo estándar?

Bueno, tenemos un equipo de, llámalo diez personas, y probablemente tomará, llámalo cinco años todos juntos para conseguir todo el asunto hecho de principio a fin. Pero tenemos mucho más que hacer que solo el motor IntelliSense. Eso es tal vez sólo el 40% del trabajo. Y la mitad de esa gente trabaja en VB, ahora que lo pienso. Pero esas personas tienen en promedio probablemente cinco o diez años experiencia en hacer este tipo de trabajo, por lo que son más rápidos en ello de lo que será si nunca has hecho esto antes.

Así que digamos que debería tomar alrededor de diez a veinte años de trabajo a tiempo completo, trabajando solo, para construir un motor IntelliSense de calidad Roslyn para C# que pueda hacer un análisis aceptablemente cercano a correcto de programas grandes en el tiempo entre pulsaciones de teclas.

Más si necesitas hacer ese doctorado primero, obviamente.

O, simplemente usar Roslyn, ya que es para qué sirve . Eso te llevará probablemente unas horas, pero no tienes la diversión de hacerlo tú mismo. Y es divertido!

Puede descargar la versión preliminar aquí:

Http://www.microsoft.com/download/en/details.aspx?id=27746