Was ist Typ-Sicherheit?

Question

Ich hatte eine Prüfung vor kurzem Brainbench, bekam hohe Marke, aber es gab ein paar Fragen, die schwer für mich waren. Vielleicht ist es, weil Englisch nicht meine Muttersprache ist ... Eine der Fragen lautet:

Welche der folgenden beschreibt Sicherheit geben?

1. Ein Programmierkonstrukt verwendet, um die Sicherheit von Referenz- und Werttypen in der CLR
zu gewährleisten
2. Der Schutz von Speicherlecks infolge von disallowing nicht verwalteten Zugriff
3. Die CLR-spezifische Funktion bietet Gewähr, dass Typen Speicher nicht außerhalb ihrer eigenen AppDomain
zugreifen
4. Ein Mechanismus geschaffen Baugruppen und deren Typen zu schützen, indem die Verwendung von starken Namen Tasten
5. Das Konzept mit Versicherungen tun hat, die Objekte werden immer in kompatibelen Arten zugegriffen zugewiesen

Ich denke, es ist 1 oder 5, aber sie klingen seltsam für mich jedenfalls: (

Was denken Sie?

Answer 1

Eigentlich denke ich, es ist Wahl 5, weil Art Sicherheit nichts mit Sicherheit zu tun hat.

Answer 2

Typ Sicherheit das Merkmal einer Sprache ist entworfen, um gut auf [Robin Milner] [1] 's berühmten Slogan über ML-Programmierung: gut getippt Programme können nicht falsch liegen .

Der Slogan etwas auspacken muss, bevor es richtig verstanden werden kann, aber es bedeutet im Grunde, dass Programme nicht wegen eines Laufzeittyp Fehler fehlschlagen können, das heißt, wenn die verwendeten Parameter Konstruktor oder eine Funktionswerte von inkompatiblen Typ haben.

Betrachten wir eine Sprache, die ganzen Zahlen, integer Funktionen als First-Class-Werte, Funktions Abstraktion und Teilfunktion Anwendung ermöglicht, und die definiert, die üblichen ganzzahligen arithmetischen Operatoren als binäre Funktionen. Die Eigenschaft des Typ Sicherheit ist das, was der Compiler, dass mit dem Additionsoperator sowohl die Argumente, um sicherzustellen, erzwingt Ausdrücke sind, die auf ganze Zahlen und nicht auf Funktionen reduzieren. Wenn ein Programm gut getippt, dann kann der Compiler ein ausführbares Objekt für sie emittiert. Ansonsten ist es markiert die Programmierfehler und bricht.

Answer 3

Nach dem Msdn Link unten zur Verfügung gestellt, http://msdn.microsoft.com/en-us/library/hbzz1a9a.aspx

Typ sicheren Code greift nur auf die Speicherplätze sie zugreifen darf. (Für diese Diskussion Typsicherheit bezieht sich speziell auf Speichertyp Sicherheit und sollte nicht mit Typsicherheit in einem breiteren Respekt verwechselt werden.) Zum Beispiel typsichere Code nicht lesen können Werte aus anderen privaten Bereichen des Objekts. Es greift auf Typen nur in gut definierten, zulässigen Möglichkeiten.

Answer 4

  

Auswahl 5   Das Konzept mit Versicherungen zu tun, die Objekte zugeordnet ist immer in kompatibelen Arten zugegriffen

Typ-Sicherheit beschäftigt sich mit dafür, dass, wenn Sie einen Foo erstellen, können Sie es als Bar nicht behandeln können. Wenn Sie nicht wissen, welche Art es ist (oder sind nicht garantiert), können Sie den Code einfach schreiben möglicherweise nicht wie erwartet.

Answer 5

Typsichere Sprachen werden sicher machen (zur Compile-Zeit), die Sie auf einer Art inkompatible Methoden nicht nennen, z.B. length () auf einem int-Typ. Nicht typsichere Sprachen wird es zur Laufzeit herauszufinden. So choice 5.

Answer 6

Wie auch schon andere gesagt haben, choice 5 ...

In der Regel - für .NET, besuchen Sie das Common Type System (CTS), die sprachübergreifende Material und Typsicherheit ermöglicht.

Check out: http://en.wikipedia.org/wiki/Type_safety . ..

Answer 7

Es ist Option # 5. Typsicherheit ist eine Zusicherung, nicht eine konkrete Sache. Es ist möglich, .NET-Code zu nicht Typ sicher sein ... sagt in dem Fall, dass eine Baugruppe unsicheren Code verwendet unmanaged Anrufe (PInvoke) auszuführen. Während JIT wird ein Prozess durchgeführt, dass die Arten sind prüft jitted wird, in der Tat, Typ sicher. Ich bin keine Kenntnis von Einzelheiten über diesen Prozess, aber wenn ein jitted Typ passiert, dann ist es considerd nachprüfbar sicher geben.