SISTEMA GESTOR DE BASES DE DATOS.NET

Transcripción

1 Sistemas Infrmátics Curs SISTEMA GESTOR DE BASES DE DATOS.NET Presentad pr: Javier Gnzález Chacón, Jsé María Marín del Valle e Irene Parrón Carrascal Dirigid pr: Luis Hernández Yáñez Facultad de Infrmática Universidad Cmplutense de Madrid

2 Abstract The tpic The prject deals with the research and develpment f an applicatin which prvides a tensile and handling tl fr access t Data Bases. It has Windws and Web Interfaces. And it is independent f Data Bases which it is used. It has been develped with Framewrk SDK 2,0 f.net and Visual Studi.NET. Why.NET? Because.NET is the new bet f Micrsft fr creating a new develpment platfrm f sftware which emphasize the transparency f netwrks, platfrm-independent and that allws rapid develpment f applicatins. In answer t the increasing market f the Web businesses, and able t cmpete t the Java platfrm f Sun Micrsystems. We thught that it was time t enter.nets wrld and we began t learn its language, the C #, a great stranger fr us althugh it invlved an additinal effrt. Because the platfrm NET accepts several languages, (C #, VISUAL BASIC, C++, Nemerle, FORTRAN, Java, Pythn etc), and it has enugh capacity t accept practically any language. C# is an Object Oriented language which was used t develp the. NET platfrm s it is the nly ne that allws t use all its ptential. It is als certain that it is "a clean" language in the sense that it has been able t design it with mre freedm and simplicity because it hasn t been necessary t prvide backward -cmpatibility. In rder t create applicatins fr the platfrm.net, bth Web services and traditinal applicatins (applicatins f cnsle, applicatins f windws, services f Windws NT, etc.), Micrsft has published a kit f sftware develpment knwn as.net Framewrk SDK, that includes the necessary tls fr its develpment as its distributin and Sistemas Infrmátics (Facultad de Infrmática UCM) Página 2

3 executin. And Visual Studi.NET which permits the same but made thrugh a visual interface based n windws. These tls, that we have cmmented previusly, are what we have used t carry ut the develpment f ur applicatin. Key wrds:.net, C#, ASP.net, Visual Studi.Net, Data Base, Micrsft Temática del pryect. Resumen El pryect trata de la investigación y el desarrll de una aplicación que prprcine una herramienta extensible y de fácil manej para el acces a bases de dats a través de interfaz Windws Web. Y que sea independiente de la base de dats utilizada. Ha sid íntegramente desarrllada cn Framewrk SDK 2.0 de.net y Visual Studi.NET.2005 Pr qué.net? Prque.NET es la nueva apuesta multiplatafrma de Micrsft para crear una nueva platafrma de desarrll de sftware cn énfasis en transparencia de redes y que permita un rápid desarrll de aplicacines, en respuesta al creciente mercad de ls negcis en entrns Web, cm cmpetencia a la platafrma Java de Sun Micrsystems. Ns pareció interesante entrar en el mund.net y cmenzar a aprender su lenguaje, C#, un gran descncid para nstrs, a pesar del esfuerz adicinal que est llevaba cnsig. Prque la platafrma.net acepta varis lenguajes. Pr ahra, C#, Visual Basic, C++ gestinad, Nemerle, FORTRAN, Java, Pythn, etc, y tiene capacidad suficiente para aceptar prácticamente cualquier lenguaje. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 3

4 Es C# el nuev lenguaje rientad a bjets cn el que se diseñó la platafrma.net y es el únic capaz de utilizar td su ptencial. También es ciert que es un lenguaje limpi en el sentid de que al n tener que prprcinar cmpatibilidad hacia atrás se ha tenid más libertad en el diseñ y se ha puest especial hincapié en la simplicidad. Para crear aplicacines para la platafrma.net, tant servicis Web cm aplicacines tradicinales (aplicacines de cnsla, aplicacines de ventanas, servicis de Windws NT, etc.), Micrsft ha publicad el denminad kit de desarrll de sftware cncid cm.net Framewrk SDK, que incluye las herramientas necesarias tant para su desarrll cm para su distribución y ejecución y Visual Studi.NET, que permite hacer td la anterir desde una interfaz visual basada en ventanas. Estas herramientas, que ya hems cmentad anterirmente, sn las que hems emplead para llevar a cab el desarrll de nuestra aplicación. Lista de palabras clave:.net, C#, ASP.net, Visual Studi.Net, Base de Dats, Micrsft. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 4

5 ÍNDICE DE CONTENIDOS Descripción técnica del prces del pryect 1-.Entrn de trabaj. 8 Micrsft.NET. 8 Cmmn Language Runtime (CLR)... 8 Micrsft Intermediate Language (MSIL). 13 Metadats Ensamblads.. 19 Bibliteca de clase base (BCL). 24 Cmmn Type System (CTS).. 26 Cmmn Language Specificatin (CLS) 27 Origen y necesidad de un nuev lenguaje 29 Características de C# Idea inicial del pryect Planificación de tareas y tempral Prcess y actividades intermedias Familiarización cn el lenguaje y entrn de trabaj Especificación de ls requisits de la aplicación.. 40 Definición de requisits funcinales 40 Sistemas Infrmátics (Facultad de Infrmática UCM) Página 5

6 Definición de requisits de perativa 44 Definición de requisits de administrabilidad Cnexión cn base de dats.. 51 Diseñ de la cnexión a base de dats:.. 51 Prblemática encntrad en el desarrll del la cnexión a base de dats: Interfaz Windws Desarrll de la Interfaz Web Resultad final Aplicación práctica.. 64 Cnclusines 66 La independencia de bases de dats en.net. 66 Las similitudes entre J2EE y.net. 66 Cmparand J2EE y.net.. 67 El futur 69 Psibles extensines del pryect. 71 Ampliar ls lenguajes sprtads: 71 Ampliar las bases de dats sprtadas: Generación de códig: 71 Hacer us de AJAX en la interfaz Web: Sistemas Infrmátics (Facultad de Infrmática UCM) Página 6

7 Bibligrafía Anex. 76 Manual de usuari de la aplicación.. 76 Instalación. 76 Interfaz Windws.76 Interfaz Web..92 Sistemas Infrmátics (Facultad de Infrmática UCM) Página 7

8 Descripción técnica del prces del pryect 1-.Entrn de trabaj Micrsft.NET Micrsft.NET es el cnjunt de nuevas tecnlgías en las que Micrsft ha estad trabajand durante ls últims añs cn el bjetiv de btener una multiplafrma sencilla y ptente para distribuir el sftware en frma de servicis que puedan ser suministrads remtamente y que puedan cmunicarse y cmbinarse uns cn trs de manera ttalmente independiente de la platafrma, lenguaje de prgramación y mdel de cmpnentes cn ls que hayan sid desarrllads. Ésta es la llamada platafrma.net, y a ls servicis antes cmentads se les denmina servicis Web. Para crear aplicacines para la platafrma.net, tant servicis Web cm aplicacines tradicinales, Micrsft ha publicad el denminad kit de desarrll de sftware.net Framewrk SDK, y Visual Studi.NET. Ambas herramientas pueden descargarse gratuitamente desde El cncept de Micrsft.NET también incluye al cnjunt de nuevas aplicacines que Micrsft y tercers han ( están) desarrlland para ser utilizadas en la platafrma.net. Entre ellas pdems destacar aplicacines desarrlladas pr Micrsft tales cm Windws.NET, Hailstrm, Visual Studi.NET, MSN.NET, Office.NET, y ls nuevs servidres para empresas de Micrsft (SQL Server.NET, Exchange.NET, etc.) Cmmn Language Runtime (CLR) Es el núcle de la platafrma.net. Es el mtr encargad de gestinar la ejecución de las aplicacines para ella desarrlladas y a las que frece numerss servicis que Sistemas Infrmátics (Facultad de Infrmática UCM) Página 8

9 simplifican su desarrll y favrecen su fiabilidad y seguridad. Las principales características y servicis que frece CLR sn: Mdel de prgramación cnsistente: A tds ls servicis y facilidades frecids pr CLR se accede de la misma frma: a través de un mdel de prgramación rientad a bjets. Est es una diferencia imprtante respect al md de acces a ls servicis frecids pr alguns sistemas perativs actuales (pr ejempl, ls de la familia Windws), en ls que a alguns servicis se accede a través de llamadas a funcines glbales definidas en DLLs y a trs a través de bjets (bjets COM en el cas de la familia Windws). Mdel de prgramación sencill: Cn CLR desaparecen muchs elements cmplejs incluids en ls sistemas perativs actuales (registr de Windws, GUIDs, HRESULTS, IUnknwn, etc.). CLR n es que abstraiga al prgramadr de ests cncepts, sin que sn cncepts que n existen en la platafrma.net. Eliminación del infiern de las DLLs : En la platafrma.net desaparece el prblema cncid cm infiern de las DLLs que se da en ls sistemas perativs actuales de la familia Windws, prblema que cnsiste en que al sustituirse versines viejas de DLLs cmpartidas pr versines nuevas puede que aplicacines que fuern diseñadas para ser ejecutadas usand las viejas dejen de funcinar si las nuevas n sn 100% cmpatibles cn las anterires. En la platafrma.net las versines nuevas de las DLLs pueden cexistir cn las viejas, de md que las aplicacines diseñadas para ejecutarse usand las viejas pdrán seguir usándlas tras la instalación de las nuevas. Est, bviamente, simplifica much la instalación y desinstalación de sftware. Ejecución multiplatafrma: CLR actúa cm una máquina virtual, encargándse de ejecutar las aplicacines diseñadas para la platafrma.net. Es decir, cualquier platafrma para la que exista una versión del CLR pdrá ejecutar cualquier aplicación Sistemas Infrmátics (Facultad de Infrmática UCM) Página 9

10 .NET. Micrsft ha desarrllad versines del CLR para la mayría de las versines de Windws: Windws 95, Windws 98, Windws ME, Windws NT 4.0, Windws 2000, Windws XP y Windws CE (que puede ser usad en CPUs que n sean de la familia x86). Pr tr lad Micrsft ha firmad un acuerd cn Crel para prtar CLR a Linux y también hay tercers que están desarrlland de manera independiente versines de libre distribución de CLR para Linux. Asimism, dad que la arquitectura de CLR está ttalmente abierta, es psible que en el futur se diseñen versines del mism para trs sistemas perativs. Integración de lenguajes: Desde cualquier lenguaje para el que exista un cmpiladr que genere códig para la platafrma.net es psible utilizar códig generad para la misma usand cualquier tr lenguaje tal y cm si de códig escrit usand el primer se tratase. Micrsft ha desarrllad un cmpiladr de C# que genera códig de este tip, así cm versines de sus cmpiladres de Visual Basic (Visual Basic.NET) y C++ (C++ cn extensines gestinadas) que también l generan y una versión del intérprete de JScript (JScript.NET) que puede interpretarl. La integración de lenguajes es tal que es psible escribir una clase en C# que herede de tra escrita en Visual Basic.NET que, a su vez, herede de tra escrita en C++ cn extensines gestinadas. Gestión de memria: CLR incluye un reclectr de basura que evita que el prgramadr tenga que tener en cuenta cuánd ha de destruir ls bjets que dejen de serle útiles. Este reclectr es una aplicación que se activa cuand se quiere crear algún bjet nuev y se detecta que n queda memria libre para hacerl, cas en que el reclectr recrre la memria dinámica asciada a la aplicación, detecta qué bjets hay en ella que n puedan ser accedids pr el códig de la aplicación, y ls elimina para limpiar la memria de bjets basura y permitir la creación de trs nuevs. Gracias a este reclectr se evitan errres de prgramación muy cmunes cm intents de brrad de bjets ya brrads, agtamient de memria pr lvid de eliminación de bjets inútiles slicitud de acces a miembrs de bjets ya destruids. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 10

11 Seguridad de tips: CLR facilita la detección de errres de prgramación difíciles de lcalizar cmprband que tda cnversión de tips que se realice durante la ejecución de una aplicación.net se haga de md que ls tips rigen y destin sean cmpatibles. Aislamient de prcess: CLR asegura que desde códig perteneciente a un determinad prces n se pueda acceder a códig dats pertenecientes a tr, l que evita errres de prgramación muy frecuentes e impide que uns prcess puedan atacar a trs. Est se cnsigue gracias al sistema de seguridad de tips antes cmentad, pues evita que se pueda cnvertir un bjet a un tip de mayr tamañ que el suy prpi, ya que al tratarl cm un bjet de mayr tamañ pdría accederse a espacis en memria ajens a él que pdrían pertenecer a tr prces. También se cnsigue gracias a que n se permite acceder a psicines arbitrarias de memria. Tratamient de excepcines: En CLR tds ls errres que se puedan prducir durante la ejecución de una aplicación se prpagan de igual manera: mediante excepcines. Est es muy diferente a cm se venía haciend en ls sistemas Windws hasta la aparición de la platafrma.net, dnde cierts errres se transmitían mediante códigs de errr en frmat Win32, trs mediante HRESULTs y trs mediante excepcines. CLR permite que excepcines lanzadas desde códig para.net escrit en un ciert lenguaje se puedan capturar en códig escrit usand tr lenguaje, e incluye mecanisms de depuración que pueden saltar desde códig escrit para.net en un determinad lenguaje a códig escrit en cualquier tr. Pr ejempl, se puede recrrer la pila de llamadas de una excepción aunque ésta incluya métds definids en trs móduls usand trs lenguajes. Sprte multihil: CLR es capaz de trabajar cn aplicacines divididas en múltiples hils de ejecución que pueden ir evlucinand pr separad en paralel intercalándse, según el númer de prcesadres de la máquina sbre la que se ejecuten. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 11

12 Las aplicacines pueden lanzar nuevs hils, destruirls, suspenderls pr un tiemp hasta que les llegue una ntificación, enviarles ntificacines, sincrnizarls, etc. Distribución transparente: CLR frece la infraestructura necesaria para crear bjets remts y acceder a ells de manera cmpletamente transparente a su lcalización real, tal y cm si se encntrasen en la máquina que ls utiliza. Seguridad avanzada: CLR prprcina mecanisms para restringir la ejecución de cierts códigs ls permiss asignads a ls misms según su prcedendecia el usuari que ls ejecute. Es decir, puede n darse el mism nivel de cnfianza a códig prcedente de Internet que a códig instalad lcalmente prcedente de una red lcal; puede n darse ls misms permiss a códig prcedente de un determinad fabricante que a códig de tr; y puede n darse ls misms permiss a un mism códig según el usuari que l esté ejecutand según el rl que éste desempeñe. Est permite asegurar al administradr de un sistema que el códig que se esté ejecutand n pueda pner en peligr la integridad de sus archivs, la del registr de Windws, etc. Interperabilidad cn códig antigu: CLR incrpra ls mecanisms necesaris para pder acceder desde códig escrit para la platafrma.net a códig escrit previamente a la aparición de la misma y, pr tant, n preparad para ser ejecutand dentr de ella. Ests mecanisms permiten tant el acces a bjets COM cm el acces a funcines sueltas de DLLs preexistentes (cm la API Win32). Cm se puede deducir de las características cmentadas, CLR l que hace es gestinar la ejecución de las aplicacines diseñadas para la platafrma.net. Pr esta razón, al códig de estas aplicacines se le suele llamar códig gestinad, y al códig n escrit para ser ejecutad directamente en la platafrma.net se le suele llamar códig n gestinad. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 12

13 Micrsft Intermediate Language (MSIL) Ningun de ls cmpiladres que generan códig para la platafrma.net prduce códig máquina para CPUs x86 ni para ningún tr tip de CPU cncreta, sin que genera códig escrit en el lenguaje intermedi cncid cm Micrsft Intermediate Lenguage (MSIL), CLR da a las aplicacines la sensación de que se están ejecutand sbre una máquina virtual, y precisamente MSIL es el códig máquina de esa máquina virtual. Es decir, MSIL es el únic códig que es capaz de interpretar CLR, y pr tant cuand se dice que un cmpiladr genera códig para la platafrma.net l que se está diciend es que genera MSIL. MSIL ha sid cread pr Micrsft tras cnsultar a numerss especialistas en la escritura de cmpiladres y lenguajes tant del mund académic cm empresarial. Es un lenguaje de un nivel de abstracción much más alt que el de la mayría de ls códigs máquina de las CPUs existentes, e incluye instruccines que permiten trabajar directamente cn bjets (crearls, destruirls, inicializarls, llamar a métds virtuales, etcétera.), tablas y excepcines (lanzarlas, capturarlas y tratarlas). Ya se cmentó que el cmpiladr de C# cmpila directamente el códig fuente a MSIL, que Micrsft ha desarrllad nuevas versines de sus lenguajes Visual Basic (Visual Basic.NET) y C++ (C++ cn extensines gestinadas) cuys cmpiladres generan MSIL, y que ha desarrllad un intérprete de JScript (JScript.NET) que genera códig MSIL. Pues bien, también hay numerss tercers que han anunciad estar realizand versines para la platafrma.net de trs lenguajes cm APL, CAML, Cbl, Eiffel, Frtran, Haskell, Java (J#), Mercury, ML, Mndrian, Obern, Oz, Pascal, Perl, Pythn, RPG, Scheme y Smalltalk. La principal ventaja del MSIL es que facilita la ejecución multiplatafrma y la integración entre lenguajes al ser independiente de la CPU y prprcinar un frmat cmún para el códig máquina generad pr tds ls cmpiladres que generen códig para.net. Sin embarg, dad que las CPUs n pueden ejecutar directamente MSIL, antes de ejecutarl Sistemas Infrmátics (Facultad de Infrmática UCM) Página 13

14 habrá que cnvertirl al códig nativ de la CPU sbre la que se vaya a ejecutar. De est se encarga un cmpnente CLR cncid cm cmpiladr JIT (Just-In-Time) jitter que va cnvirtiend dinámicamente el códig MSIL a ejecutar en códig nativ según sea necesari. Este jitter se distribuye en tres versines: jitter nrmal: Es el que se suele usar pr defect y sól cmpila el códig MSIL a códig nativ a medida que va siend necesari, pues así se ahrra tiemp y memria al evitarse tener que cmpilar innecesariamente códig que nunca se ejecute. Para cnseguir est, el cargadr de clases CLR sustituye inicialmente las llamadas a métds de las nuevas clases que vaya cargand pr llamadas a funcines auxiliares (stubs) que se encarguen de cmpilar el verdader códig del métd. Una vez cmpilad, la llamada al stub es sustituida pr una llamada directa al códig ya cmpilad, cn l que psterires llamadas al mism n necesitarán cmpilación. jitter ecnómic: Funcina de frma similar al jitter nrmal sl que n realiza ninguna ptimización de códig al cmpilar sin que traduce cada instrucción MSIL pr su equivalente en el códig máquina sbre la que se ejecute. Esta especialmente pensad para ser usad en dispsitivs emptrads que dispngan de pca ptencia de CPU y pca memria, pues aunque genere códig más ineficiente es menr el tiemp y memria que necesita para cmpilar. Es más, para ahrrar memria este jitter puede descargar códig ya cmpilad que lleve ciert tiemp sin ejecutarse y sustituirl de nuev pr el stub aprpiad. Pr estas raznes, este es el jitter usad pr defect en Windws CE, sistema perativ que se suele incluir en ls dispsitivs emptrads antes mencinads. Otra utilidad del jitter ecnómic es que facilita la adaptación de la platafrma.net a nuevs sistemas prque es much más sencill de implementar que el nrmal. De este md, gracias a él es psible desarrllar rápidamente una versión de CLR que pueda ejecutar aplicacines gestinadas aunque sea de una frma pc eficiente, y una vez Sistemas Infrmátics (Facultad de Infrmática UCM) Página 14

15 desarrllada es psible centrarse en desarrllar el jitter nrmal para ptimizar la ejecución de las mismas. prejitter: Se distribuye cm una aplicación en línea de órdenes llamada ngen.exe mediante la que es psible cmpilar cmpletamente cualquier ejecutable bibliteca (cualquier ensamblad en general, aunque este cncept se verá más adelante) que cntenga códig gestinad y cnvertirl a códig nativ, de md que psterires ejecucines del mism se harán usand esta versión ya cmpilada y n se perderá tiemp en hacer la cmpilación dinámica. La actuación de un jitter durante la ejecución de una aplicación gestinada puede dar la sensación de hacer que ésta se ejecute más lentamente debid a que ha de invertirse tiemp en las cmpilacines dinámicas. Est es ciert, per hay que tener en cuenta que es una slución much más eficiente que la usada en tras platafrmas cm Java, ya que en.net cada códig n es interpretad cada vez que se ejecuta sin que sól es cmpilad la primera vez que se llama al métd al que pertenece. Es más, el hech de que la cmpilación se realice dinámicamente permite que el jitter tenga acces a mucha más infrmación sbre la máquina en que se ejecutará la aplicación del que tendría cualquier cmpiladr tradicinal, cn l que puede ptimizar el códig para ella generad (pr ejempl, usand las instruccines especiales del Pentium III si la máquina las admite, usand registrs extra, incluyend códig inline, etc.) Además, cm el reclectr de basura de.net mantiene siempre cmpactada la memria dinámica las reservas de memria se harán más rápid, sbre td en aplicacines que n agten la memria y, pr tant, n necesiten de una reclección de basura. Pr estas raznes, ls ingeniers de Micrsft piensan que futuras versines de sus jitters pdrán inclus cnseguir que el códig gestinad se ejecute más rápid que el n gestinad. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 15

16 Metadats En la platafrma.net se distinguen ds tips de móduls de códig cmpilad: ejecutables (extensión.exe) y biblitecas de enlace dinámic (extensión.dll generalmente) Ambs sn fichers que cntienen definicines de tips de dats, y la diferencia entre ells es que sól ls primers dispnen de un métd especial que sirve de punt de entrada a partir del que es psible ejecutar el códig que cntienen haciend una llamada desde la línea de cmands del sistema perativ. A ambs tips de móduls se les suele llamar ejecutables prtables (PE), ya que su códig puede ejecutarse en cualquiera de ls diferentes sistemas perativs de la familia Windws para ls que existe alguna versión de CLR. El cntenid de un módul n es sól MSIL, sin que también cnsta de tras ds áreas muy imprtantes: la cabecera de CLR y ls metadats: La cabecera de CLR es un pequeñ blque de infrmación que indica que se trata de un módul gestinad e indica es la versión del CLR que necesita, cuál es su firma digital, cuál es su punt de entrada (si es un ejecutable), etc. Ls metadats sn un cnjunt de dats rganizads en frma de tablas que almacenan infrmación sbre ls tips definids en el módul, ls miembrs de ésts y sbre cuáles sn ls tips externs al módul a ls que se les referencia en el módul. Ls metadats de cada mdul ls genera autmáticamente el cmpiladr al crearl, y entre sus tablas se incluyen 1 : Sistemas Infrmátics (Facultad de Infrmática UCM) Página 16

17 Tabla Descripción MduleDef Define las características del módul. Cnsta de un únic element que almacena un identificadr de versión de módul (GUID cread pr el cmpiladr) y el nmbre de ficher que se di al módul al cmpilarl (así este nmbre siempre estará dispnible, aunque se renmbre el ficher). TypeDef Define las características de ls tips definids en el módul. De cada tip se almacena su nmbre, su tip padre, sus mdificadres de acces y referencias a ls elements de las tablas de miembrs crrespndientes a sus miembrs. MethdDef Define las características de ls métds definids en el módul. De cada métd se guarda su nmbre, signatura (pr cada parámetr se incluye una referencia al element aprpiad en la tabla ParamDef), mdificadres y psición del módul dnde cmienza el códig MSIL de su cuerp. ParamDef Define las características de ls parámetrs definids en el módul. De cada parámetr se guarda su nmbre y mdificadres. FieldDef Define las características de ls camps definids en el módul. De cada un se almacena infrmación sbre cuál es su nmbre, tip y mdificadres. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 17

18 PrpertyDef Define las características de las prpiedades definidas en el módul. De cada una se indica su nmbre, tip, mdificadres y referencias a ls elements de la tabla MethdDef crrespndientes a sus métds set/get. EventDef Define las características de ls events definids en el módul. De cada un se indica su nmbre, tip, mdificadres. y referencias a ls elements de la tabla MethdDef crrespndientes a sus métds add/remve. AssemblyRef Indica cuáles sn ls ensamblads externs a ls que se referencia en el módul. De cada un se indica cuál es su nmbre de ficher (sin extensión), versión, idima y marca de clave pública. MduleRef Indica cuáles sn ls trs móduls del mism ensamblad a ls que referencia el módul. De cada un se indica cuál es su nmbre de ficher. TypeRef Indica cuáles sn ls tips externs a ls que se referencia en el módul. De cada un se indica cuál es su nmbre y, según dnde estén definids, una referencia a la psición adecuada en la tabla AssemblyRef en la tabla MduleRef. MemberRef Indican cuáles sn ls miembrs definids externamente a ls que se referencia en el módul. Ests miembrs pueden ser camps, métds, prpiedades events; y Sistemas Infrmátics (Facultad de Infrmática UCM) Página 18

19 de cada un de ells se almacena infrmación sbre su nmbre y signatura, así cm una referencia a la psición de la tabla TypeRef dnde se almacena infrmación relativa al tip del que es miembr. Tabla 1: Principales tablas de metadats. Nótese que el significad de ls metadats es similar al de tras tecnlgías previas a la platafrma.net cm l sn ls fichers IDL. Sin embarg, ls metadats tienen ds ventajas imprtantes sbre éstas: cntiene más infrmación y siempre se almacenan incrustads en el módul al que describen, haciend impsible la separación entre ambs. Además, cm se verá más adelante, es psible tant cnsultar ls metadats de cualquier módul a través de las clases del espaci de nmbres System.Reflectin de la BCL cm añadirles infrmación adicinal mediante atributs (se verá más adelante) Ensamblads Un ensamblad es una agrupación lógica de un más móduls fichers de recurss (fichers.gif,.html, etcétera.) que se englban baj un nmbre cmún. Un prgrama puede acceder a infrmación códig almacenads en un ensamblad sin tener que cncer cuál es el ficher en cncret dnde se encuentran, pr l que ls ensamblads ns permiten abstraerns de la ubicación física del códig que ejecutems de ls recurss que usems. Pr ejempl, pdems incluir tds ls tips de una aplicación en un mism ensamblad per clcand ls más frecuentemente usads en un ciert módul y ls mens usads en tr, de md que sól se descarguen de Internet ls últims si es que se van a usar. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 19

20 Td ensamblad cntiene un manifiest, que sn metadats cn infrmación sbre las características del ensamblad. Este manifiest puede almacenarse en cualquiera de ls móduls que frmen el ensamblad en un específicamente cread para ell, siend l últim necesari cuand sól cntiene recurss (ensamblad satélite). Las principales tablas incluidas en ls manifiests sn las siguientes: Tabla Descripción AssemblyDef Define las características del ensamblad. Cnsta de un únic element que almacena el nmbre del ensamblad sin extensión, versión, idima, clave pública y tip de algritm de dispersión usad para hallar ls valres de dispersión de la tabla FileDef. FileDef Define cuáles sn ls archivs que frman el ensamblad. De cada un se da su nmbre y valr de dispersión. Nótese que sól el módul que cntiene el manifiest sabrá qué fichers que frman el ensamblad, per el rest de fichers del mism n sabrán si pertenecen n a un ensamblad (n cntienen metadats que les indique si pertenecen a un ensamblad). ManifestResurceDef Define las características de ls recurss incluids en el módul. De cada un se indica Sistemas Infrmátics (Facultad de Infrmática UCM) Página 20

21 su nmbre y mdificadres de acces. Si es un recurs incrustad se indica dónde empieza dentr del PE que l cntiene, y si es un ficher independiente se indica cuál es el element de la tabla FileDef crrespndiente a dich ficher. ExprtedTypesDef Indica cuáles sn ls tips definids en el ensamblad y accesibles desde fuera del mism. Para ahrrar espaci sól recgen ls que n pertenezcan al módul dnde se incluye el manifiest, y de cada un se indica su nmbre, la psición en la tabla FileDef del ficher dnde se ha implementad y la psición en la tabla TypeDef crrespndiente a su definición. AssemblyPrccesrDef Indica en qué prcesadres se puede ejecutar el ensamblad, l que puede ser útil saberl si el ensamblad cntiene móduls cn códig nativ (pdría hacerse usand C++ cn extensines gestinadas) Suele estar vacía, l que indica que se puede ejecutar en cualquier prcesadr; per si estuviese llena, cada element indicaría un tip de prcesadr admitid según el frmat de identificadres de prcesadr del ficher WinNT.h incluid cn Visual Studi.NET (pr ejempl, 586 = Pentium, 2200 = Arquitectura IA64, etc.) Sistemas Infrmátics (Facultad de Infrmática UCM) Página 21

22 AssemblyOSDef Indica baj qué sistemas perativs se puede ejecutar el ensamblad, l que puede ser útil si cntiene móduls cn tips métds dispnibles sól en cierts sistemas. Suele estar vacía, l que indica que se puede ejecutar en cualquier prcesadr; per si estuviese llena, indicaría el identificadr de cada un de ls sistemas admitids siguiend el frmat del WinNT.h de Visual Studi.NET (pr ejempl, 0 = familia Windws 9X, 1 = familia Windws NT, etc.) y el númer de la versión del mism a partir de la que se admite. Tabla 2: Principales tablas de un manifiest. Para asegurar que n se haya alterad la infrmación de ningún ensamblad se usa el criptsistema de clave pública RSA. L que se hace es calcular el códig de dispersión SHA-1 del módul que cntenga el manifiest e incluir tant este valr cifrad cn RSA (firma digital) cm la clave pública necesaria para descifrarl en algún lugar del módul que se indicará en la cabecera de CLR. Cada vez que se vaya a cargar en memria el ensamblad se calculará su valr de dispersión de nuev y se cmprbará que es igual al resultad de descifrar el riginal usand su clave pública. Si n fuese así se detectaría que se ha adulterad su cntenid. Para asegurar también que ls cntenids del rest de fichers que frmen un ensamblad n hayan sid alterads l que se hace es calcular el códig de dispersión de ésts antes de cifrar el ensamblad y guardarl en el element crrespndiente a cada ficher en la tabla FileDef del manifiest. El algritm de cifrad usad pr defect es Sistemas Infrmátics (Facultad de Infrmática UCM) Página 22

23 SHA-1, aunque en este cas también se da la psibilidad de usar MD5. En ambs cass, cada vez que se accede al ficher para acceder a un tip recurs se calculará de nuev su valr de dispersión y se cmprbará que cincida cn el almacenad en FileDef. Dad que las claves públicas sn valres que cupan muchs bytes (2048 bits), l que se hace para evitar que ls metadats sean excesivamente grandes es n incluir en las referencias a ensamblads externs de la tabla AssemblyRef las claves públicas de dichs ensamblads, sin sól ls 64 últims bits resultantes de aplicar un algritm de dispersión a dichas claves. A este valr recrtad se le llama marca de clave pública. Hay ds tips de ensamblads: ensamblads privads y ensamblads cmpartids. Ls privads se almacenan en el mism directri que la aplicación que ls usa y sól puede usarls ésta, mientras que ls cmpartids se almacenan en un caché de ensamblad glbal (GAC) y pueden usarls cualquiera que haya sid cmpilada referenciándls. Ls cmpartids han de cifrase cn RSA ya que l que ls identifica es en el GAC es su nmbre (sin extensión) más su clave pública, l que permite que en el GAC puedan instalarse varis ensamblads cn el mism nmbre y diferentes claves públicas. Es decir, es cm si la clave pública frmase parte del nmbre del ensamblad, razón pr la que a ls ensamblads así cifrads se les llama ensamblads de nmbre fuerte. Esta plítica permite reslver ls cnflicts derivads de que se intente instalar en un mism equip varis ensamblads cmpartids cn el mism nmbre per prcedentes de distintas empresas, pues éstas tendrán distintas claves públicas. También para evitar prblemas, en el GAC se pueden mantener múltiples versines de un mism ensamblad. Así, si una aplicación fue cmpilada usand una cierta versión de un determinad ensamblad cmpartid, cuand se ejecute sól pdrá hacer us de esa versión del ensamblad y n de alguna tra más mderna que se hubiese instalad en el GAC. De esta frma se slucina el prblema del infiern de las DLL cmentad al principi del tema. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 23

24 En realidad es psible mdificar tant las plíticas de búsqueda de ensamblads (pr ejempl, para buscar ensamblads privads fuera del directri de la aplicación) cm la plítica de aceptación de ensamblads cmpartids (pr ejempl, para que se haga autmáticamente us de las nuevas versines que se instalen de DLLs cmpartidas) incluyend en el directri de instalación de la aplicación un ficher de cnfiguración en frmat XML cn las nuevas reglas para las mismas. Este ficher ha de llamarse igual que el ejecutable de la aplicación per ha de tener extensión.cfg. Bibliteca de clase base (BCL) La Bibliteca de Clase Base (BCL) es una bibliteca incluida en el.net Framewrk frmada pr cients de tips de dats que permiten acceder a ls servicis frecids pr CLR y a las funcinalidades más frecuentemente usadas a la hra de escribir prgramas. Además, a partir de estas clases prefabricadas el prgramadr puede crear nuevas clases que mediante herencia extiendan su funcinalidad y se integren a la perfección cn el rest de clases de la BCL. Pr ejempl, implementand cierts interfaces pdems crear nuevs tips de cleccines que serán tratadas exactamente igual que cualquiera de las cleccines incluidas en la BCL. Esta bibliteca está escrita en MSIL, pr l que puede usarse desde cualquier lenguaje cuy cmpiladr genere MSIL. A través de las clases suministradas en ella es psible desarrllar cualquier tip de aplicación, desde las tradicinales aplicacines de ventanas, cnsla servici de Windws NT hasta ls nvedss servicis Web y páginas ASP.NET. Es tal la riqueza de servicis que frece que inclus es psible crear lenguajes que carezcan de librería de clases prpia y sól se basen en la BCL -cm C#. Dada la amplitud de la BCL, ha sid necesari rganizar las clases en ella incluida en espacis de nmbres que agrupen clases cn funcinalidades similares. Pr ejempl, ls espacis de nmbres más usads sn: Sistemas Infrmátics (Facultad de Infrmática UCM) Página 24

25 Espaci de nmbres Utilidad de ls tips de dats que cntiene System Tips muy frecuentemente usads, cm ls ls tips básics, tablas, excepcines, fechas, númers aleatris, reclectr de basura, entrada/salida en cnsla, etc. System.Cllectins Cleccines de dats de us cmún cm pilas, clas, listas, diccinaris, etc. System.Data Manipulación de bases de dats. Frman la denminada arquitectura ADO.NET. System.IO Manipulación de fichers y trs flujs de dats. System.Net Realización de cmunicacines en red. System.Reflectin Acces a ls metadats que acmpañan a ls móduls de códig. System.Runtime.Remting Acces a bjets remts. System.Security Acces a la plítica de seguridad en Sistemas Infrmátics (Facultad de Infrmática UCM) Página 25

26 que se basa CLR. System.Threading Manipulación de hils. System.Web.UI.WebCntrls Creación de interfaces de usuari basadas en ventanas para aplicacines Web. System.Windws.Frms Creación de interfaces de usuari basadas en ventanas para aplicacines estándar. System.XML Acces a dats en frmat XML. Tabla 3: Espacis de nmbres de la BCL más usads. Cmmn Type System (CTS) Cmmn Type System (CTS) Sistema de Tip Cmún es el cnjunt de reglas que han de seguir las definicines de tips de dats para que CLR las acepte. Es decir, aunque cada lenguaje gestinad dispnga de su prpia sintaxis para definir tips de dats, en el MSIL resultante de la cmpilación de sus códigs fuente se han de cumplir las reglas del CTS. Alguns ejempls de estas reglas sn: Cada tip de dat puede cnstar de cer más miembrs. Cada un de ests miembrs puede ser un camp, un métd, una prpiedad un event. N puede haber herencia múltiple, y td tip de dat ha de heredar directa indirectamente de System.Object. Ls mdificadres de acces admitids sn: Sistemas Infrmátics (Facultad de Infrmática UCM) Página 26

27 Mdificadr Códig desde el que es accesible el miembr public Cualquier códig private Códig del mism tip de dat family Códig del mism tip de dat de hijs de éste. assembly Códig del mism ensamblad family and assembly Códig del mism tip de hijs de éste ubicad en el mism ensamblad family r assembly Códig del mism tip de hijs de éste, códig ubicad en el mism ensamblad Tabla 4: Mdificadres de acces a miembrs admitids pr el CTS. Cmmn Language Specificatin (CLS) Cmmn Language Specificatin (CLS) Especificación del Lenguaje Cmún es un cnjunt de reglas que han de seguir las definicines de tips que se hagan usand un determinad lenguaje gestinad si se desea que sean accesibles desde cualquier tr lenguaje gestinad. Obviamente, sól es necesari seguir estas reglas en las definicines Sistemas Infrmátics (Facultad de Infrmática UCM) Página 27

28 de tips y miembrs que sean accesibles externamente, y n la en las de ls privads. Además, si n imprta la interperabilidad entre lenguajes tampc es necesari seguirlas. A cntinuación se listan algunas de reglas significativas del CLS: Ls tips de dats básics admitids sn bl, char, byte, shrt, int, lng, flat, duble, string y bject Nótese pues que n tds ls lenguajes tienen prqué admitir ls tips básics enters sin sign el tip decimal cm l hace C#. Las tablas han de tener una más dimensines, y el númer de dimensines de cada tabla ha de ser fij. Además, han de indexarse empezand a cntar desde 0. Se pueden definir tips abstracts y tips sellads. Ls tips sellads n pueden tener miembrs abstracts. Las excepcines han de derivar de System.Exceptin, ls delegads de System.Delegate, las enumeracines de System.Enum, y ls tips pr valr que n sean enumeracines de System.ValueType. Ls métds de acces a prpiedades en que se traduzcan las definicines get/set de éstas han de llamarse de la frma get_x y set_x respectivamente, dnde X es el nmbre de la prpiedad; ls de acces a indizadres han de traducirse en métds get_item y set_item; y en el cas de ls events, sus definicines add/remve han de traducirse en métds add_x y remve_x. En las definicines de atributs sól pueden usarse enumeracines dats de ls siguientes tips: System.Type, string, char, bl, byte, shrt, int, lng, flat, duble y bject. En un mism ámbit n se pueden definir varis identificadres cuys nmbres sól difieran en la capitalización usada. De este md se evitan prblemas al acceder a ells usand lenguajes n sensibles a mayúsculas. Sistemas Infrmátics (Facultad de Infrmática UCM) Página 28

29 Las enumeracines n pueden implementar interfaces, y tds sus camps han de ser estátics y del mism tip. El tip de ls camps de una enumeración sól puede ser un de ests cuatr tips básics: byte, shrt, int lng. Origen y necesidad de un nuev lenguaje C# (leíd en inglés C Sharp y en españl C Almhadilla ) es el nuev lenguaje de prpósit general diseñad pr Micrsft para su platafrma.net. Sus principales creadres sn Sctt Wiltamuth y Anders Hejlsberg, éste últim también cncid pr haber sid el diseñadr del lenguaje Turb Pascal y la herramienta RAD Delphi. Aunque es psible escribir códig para la platafrma.net en muchs trs lenguajes, C# es el únic que ha sid diseñad específicamente para ser utilizad en ella, pr l que prgramarla usand C# es much más sencill e intuitiv que hacerl cn cualquiera de ls trs lenguajes ya que C# carece de elements heredads innecesaris en.net. Pr esta razón, se suele decir que C# es el lenguaje nativ de.net. La sintaxis y estructuración de C# es muy parecida a la de C++ Java, puest que la intención de Micrsft es facilitar la migración de códigs escrits en ests lenguajes a C# y facilitar su aprendizaje a ls desarrlladres habituads a ells. Sin embarg, su sencillez y el alt nivel de prductividad sn cmparables cn ls de Visual Basic. Un lenguaje que hubiese sid ideal utilizar para ests menesteres es Java, per debid a prblemas cn la empresa creadra del mism -Sun-, Micrsft ha tenid que desarrllar un nuev lenguaje que añadiese a las ya prbadas virtudes de Java las mdificacines que Micrsft tenía pensad añadirle para mejrarl aún más y hacerl un lenguaje rientad al desarrll de cmpnentes. En resumen, C# es un lenguaje de prgramación que tma las mejres características de lenguajes preexistentes cm Visual Basic, Java C++ y las cmbina en un sl. El hech Sistemas Infrmátics (Facultad de Infrmática UCM) Página 29

30 de ser relativamente reciente n implica que sea inmadur, pues Micrsft ha escrit la mayr parte de la BCL usándl, pr l que su cmpiladr es el más depurad y ptimizad de ls incluids en el.net Framewrk SDK. Características de C# Cn la idea de que ls prgramadres más experimentads puedan btener una visión general del lenguaje, a cntinuación se recge de manera resumida las principales características de C# Alguna de las características aquí señaladas n sn exactamente prpias del lenguaje sin de la platafrma.net en general, y si aquí se cmentan es prque tienen una repercusión directa en el lenguaje: Sencillez: C# elimina muchs elements que trs lenguajes incluyen y que sn innecesaris en.net. Pr ejempl: El códig escrit en C# es autcntenid, l que significa que n necesita de archivs adicinales al prpi fuente tales cm ls de cabecera IDL. El tamañ de ls tips de dats básics es fij e independiente del cmpiladr, sistema perativ máquina para quienes se cmpile (n cm en C++), l que facilita la prtabilidad del códig. N se incluyen elements pc útiles de lenguajes cm C++ tales cm macrs, herencia múltiple la necesidad de un peradr diferente del punt (.) acceder a miembrs de espacis de nmbres (::). Mdernidad: C# incrpra en el prpi lenguaje elements que a l larg de ls añs ha id demstrándse sn muy útiles para el desarrll de aplicacines y que en trs lenguajes cm Java C++ hay que simular, cm un tip básic decimal que permita realizar peracines de alta precisión cn reales de 128 bits (muy útil en el mund financier), la inclusión de una instrucción freach que permita recrrer cleccines cn Sistemas Infrmátics (Facultad de Infrmática UCM) Página 30

31 facilidad y es ampliable a tips definids pr el usuari, la inclusión de un tip básic string para representar cadenas la distinción de un tip bl específic para representar valres lógics. Orientación a bjets: Cm td lenguaje de prgramación de prpósit general actual, C# es un lenguaje rientad a bjets, aunque es es más bien una característica del CTS que de C#. Una diferencia de este enfque rientad a bjets respect al de trs lenguajes cm C++ es que el de C# es más pur en tant que n admiten ni funcines ni variables glbales sin que td el códig y dats han de definirse dentr de definicines de tips de dats, l que reduce prblemas pr cnflicts de nmbres y facilita la legibilidad del códig. C# sprta tdas las características prpias del paradigma de prgramación rientada a bjets: encapsulación, herencia y plimrfism. En l referente a la encapsulación es imprtante señalar que aparte de ls típics mdificadres public, private y prtected, C# añade un cuart mdificadr llamad internal, que puede cmbinarse cn prtected e indica que al element a cuya definición precede sól puede accederse desde su mism ensamblad. Respect a la herencia a diferencia de C++ y al igual que Java- C# sól admite herencia simple de clases ya que la múltiple prvca más quebraders de cabeza que facilidades y en la mayría de ls cass su utilidad puede ser simulada cn facilidad mediante herencia múltiple de interfaces. De tds mds, est vuelve a ser más bien una característica prpia de CTS que de C#. Pr tr lad y a diferencia de Java, en C# se ha ptad pr hacer que tds ls métds sean pr defect sellads y que ls redefinibles hayan de marcarse cn el mdificadr virtual (cm en C++), l que permite evitar errres derivads de redefinicines accidentales. Además, un efect secundari de est es que las llamadas a ls métds serán más eficientes pr defect al n tenerse que buscar en la tabla de funcines Sistemas Infrmátics (Facultad de Infrmática UCM) Página 31

32 virtuales la implementación de ls misms a la que se ha de llamar. Otr efect secundari es que permite que las llamadas a ls métds virtuales se puedan hacer más eficientemente al cntribuir a que el tamañ de dicha tabla se reduzca. Orientación a cmpnentes: La prpia sintaxis de C# incluye elements prpis del diseñ de cmpnentes que trs lenguajes tienen que simular mediante cnstruccines más mens cmplejas. Es decir, la sintaxis de C# permite definir cómdamente prpiedades (similares a camps de acces cntrlad), events (asciación cntrlada de funcines de respuesta a ntificacines) atributs (infrmación sbre un tip sus miembrs). Gestión autmática de memria: Cm ya se cmentó, td lenguaje de.net tiene a su dispsición el reclectr de basura de CLR. Est tiene el efect en el lenguaje de que n es necesari incluir instruccines de destrucción de bjets. Sin embarg, dad que la destrucción de ls bjets a través del reclectr de basura es indeterminista y sól se realiza cuand éste se activa ya sea pr falta de memria, finalización de la aplicación slicitud explícita en el fuente, C# también prprcina un mecanism de liberación de recurss determinista a través de la instrucción using. Seguridad de tips: C# incluye mecanisms que permiten asegurar que ls access a tips de dats siempre se realicen crrectamente, l que permite evita que se prduzcan errres difíciles de detectar pr acces a memria n perteneciente a ningún bjet y es especialmente necesari en un entrn gestinad pr un reclectr de basura. Para ell se tman medidas del tip: Sól se admiten cnversines entre tips cmpatibles. Est es, entre un tip y antecesres suys, entre tips para ls que explícitamente se haya definid un peradr de cnversión, y entre un tip y un tip hij suy del que un bjet del primer almacenase una referencia del segund (dwncasting) Obviamente, l últim sól puede cmprbarl en tiemp de ejecución CLR y n el cmpiladr, Sistemas Infrmátics (Facultad de Infrmática UCM) Página 32

33 pr l que en realidad CLR y el cmpiladr clabran para asegurar la crrección de las cnversines. N se pueden usar variables n inicializadas. El cmpiladr da a ls camps un valr pr defect cnsistente en pnerls a cer y cntrla mediante análisis del fluj de cntrl del fuente que n se lea ninguna variable lcal sin que se le haya asignad previamente algún valr. Se cmprueba que td acces a ls elements de una tabla se realice cn índices que se encuentren dentr del interval de la misma. Se puede cntrlar la prducción de desbrdamients en peracines aritméticas, infrmándse de ell cn una excepción cuand curra. Sin embarg, para cnseguirse un mayr rendimient en la aritmética estas cmprbacines n se hacen pr defect al perar cn variables sin sól cn cnstantes (se pueden detectar en tiemp de cmpilación). A diferencia de Java, C# incluye delegads, que sn similares a ls punters a funcines de C++ per siguen un enfque rientad a bjets, pueden almacenar referencias a varis métds simultáneamente, y se cmprueba que ls métds a ls que apunten tengan parámetrs y valr de retrn del tip indicad al definirls. Pueden definirse métds que admitan un númer indefinid de parámetrs de un ciert tip, y a diferencia lenguajes cm C/C++, en C# siempre se cmprueba que ls valres que se les pasen en cada llamada sean de ls tips aprpiads. Instruccines seguras: Para evitar errres muy cmunes, en C# se han impuest una serie de restriccines en el us de las instruccines de cntrl más cmunes. Pr ejempl, la guarda de tda cndición ha de ser una expresión cndicinal y n aritmética, cn l que se evitan errres pr cnfusión del peradr de igualdad (==) cn el de asignación (=); y td cas de un switch ha de terminar en un break gt que indique cuál es la Sistemas Infrmátics (Facultad de Infrmática UCM) Página 33

34 siguiente acción a realizar, l que evita la ejecución accidental de cass y facilita su rerdenación. Sistema de tips unificad: A diferencia de C++, en C# tds ls tips de dats que se definan siempre derivarán, aunque sea de manera implícita, de una clase base cmún llamada System.Object, pr l que dispndrán de tds ls miembrs definids en ésta clase (es decir, serán bjets ). A diferencia de Java, en C# est también es aplicable a ls tips de dats básics. Además, para cnseguir que ell n tenga una repercusión negativa en su nivel de rendimient, se ha incluid un mecanism transparente de bxing y unbxing cn el que se cnsigue que sól sean tratads cm bjets cuand la situación l requiera, y mientras tant puede aplicárseles ptimizacines específicas. El hech de que tds ls tips del lenguaje deriven de una clase cmún facilita enrmemente el diseñ de cleccines genéricas que puedan almacenar bjets de cualquier tip. Extensibilidad de tips básics: C# permite definir, a través de estructuras, tips de dats para ls que se apliquen las mismas ptimizacines que para ls tips de dats básics. Es decir, que se puedan almacenar directamente en pila (lueg su creación, destrucción y acces serán más rápids) y se asignen pr valr y n pr referencia. Para cnseguir que l últim n tenga efects negativs al pasar estructuras cm parámetrs de métds, se da la psibilidad de pasar referencias a pila a través del mdificadr de parámetr ref. Extensibilidad de peradres: Para facilitar la legibilidad del códig y cnseguir que ls nuevs tips de dats básics que se definan a través de las estructuras estén al mism nivel que ls básics predefinids en el lenguaje, al igual que C++ y a diferencia de Java, C# permite redefinir el significad de la mayría de ls peradres incluids Sistemas Infrmátics (Facultad de Infrmática UCM) Página 34

35 ls de cnversión, tant para cnversines implícitas cm explícitas cuand se apliquen a diferentes tips de bjets. Las redefinicines de peradres se hacen de manera inteligente, de md que a partir de una única definición de ls peradres ++ y -- el cmpiladr puede deducir autmáticamente cm ejecutarls de manera prefijas y pstifja; y definiend peradres simples (cm +), el cmpiladr deduce cóm aplicar su versión de asignación cmpuesta (+=) Además, para asegurar la cnsistencia, el cmpiladr vigila que ls peradres cn puest siempre se redefinan pr parejas (pr ejempl, si se redefine ==, también hay que redefinir!=). También se da la psibilidad, a través del cncept de indizadr, de redefinir el significad del peradr [] para ls tips de dat definids pr el usuari, cn l que se cnsigue que se pueda acceder al mism cm si fuese una tabla. Est es muy útil para trabajar cn tips que actúen cm cleccines de bjets. Extensibilidad de mdificadres: C# frece, a través del cncept de atributs, la psibilidad de añadir a ls metadats del módul resultante de la cmpilación de cualquier fuente infrmación adicinal a la generada pr el cmpiladr que lueg pdrá ser cnsultada en tiemp ejecución a través de la librería de reflexión de.net. Est, que más bien es una característica prpia de la platafrma.net y n de C#, puede usarse cm un mecanism para definir nuevs mdificadres. Versinable: C# incluye una plítica de versinad que permite crear nuevas versines de tips sin temr a que la intrducción de nuevs miembrs prvquen errres difíciles de detectar en tips hijs previamente desarrllads y ya extendids cn miembrs de igual nmbre a ls recién intrducids. Si una clase intrduce un nuev métd cuyas redefinicines deban seguir la regla de llamar a la versión de su padre en algún punt de su códig, difícilmente seguirían esta regla miembrs de su misma signatura definids en clases hijas previamente a la Sistemas Infrmátics (Facultad de Infrmática UCM) Página 35