Qual è il tipo di sicurezza?

Question

Ho avuto un brainbench esame recentemente ottenuto il marchio alto, ma c'erano un paio di domande che erano difficili per me.Forse è perché l'inglese non è la mia lingua madre...Una delle domande è:

Quale delle seguenti descrive il tipo di sicurezza?

1. Un costrutto di programmazione utilizzato per garantire la sicurezza di riferimento e i tipi di valore in CLR
2. La protezione dalla perdita di memoria come risultato della impedendo l'accesso non gestito
3. CLR-specifica funzione di fornire la garanzia che i tipi non può accedere alla memoria al di fuori del proprio dominio di applicazione
4. Un meccanismo creato per proteggere gli assembly e i tipi di l'utilizzo del forte-chiavi
5. Il concetto di negoziazione con la garanzia che gli oggetti allocati sono sempre accessibili in modi compatibili

Penso che sia 1 o 5, ma hanno un suono strano per me comunque :(

Voi cosa ne pensate?

Answer 1

In realtà penso che sia Scelta 5 perché la sicurezza di tipo non ha niente a che fare con la sicurezza.

Answer 2

Tipo di sicurezza è la caratteristica di un linguaggio progettato per fare bene su [Robin Milner] [1] 's famoso slogan sulla programmazione ML: programmi ben tipizzati-non si può sbagliare .

Lo slogan bisogno di qualche disimballaggio prima che possa essere ben compresa, ma in pratica significa che i programmi non possono riuscire a causa di un errore di tipo runtime, cioè quando i parametri applicati al costruttore o una funzione hanno valori di tipo incompatibile.

Si consideri un linguaggio che permette interi, funzioni come valori interi prima classe, funzione di astrazione e applicazione funzione parziale, e che definisce le usuali operatori aritmetici interi come funzioni binarie. La proprietà di sicurezza tipo è ciò che il compilatore impone per garantire che entrambi gli argomenti l'operatore di addizione sono espressioni che riducono a numeri interi e non alle funzioni. Se un programma è ben digitato-, quindi il compilatore può emettere un oggetto eseguibile per esso. In caso contrario, le bandiere l'errore di programmazione e si interrompe.

Answer 3

Secondo msdn link sotto indicato, http://msdn.microsoft.com/en-us/library/hbzz1a9a.aspx

Tipo-il codice di sicurezza che accede solo le posizioni di memoria è autorizzato ad accedere.(Per questa discussione, tipo di sicurezza si riferisce specificamente al tipo di memoria di sicurezza e non deve essere confuso con il tipo di sicurezza in una prospettiva più ampia rispetto.) Ad esempio, digitare il codice di sicurezza che non possono leggere i valori di un altro oggetto campi privati.Si accede solo tipi ben definiti, ammissibile di modi.

Answer 4

  

Scelta 5   Il concetto si occupano di assicurazioni che allocati gli oggetti sono sempre accessibili in modi compatibili

tipo di sicurezza si occupa di garantire che quando si crea un Foo, non è possibile trattarlo come un bar. Se non si sa che tipo è (o non sono garantiti), il codice si scrive semplicemente non potrebbe funzionare come previsto.

Answer 5

type-safe lingue saranno assicurati (a tempo di compilazione), che non si chiama metodi incompatibili su un tipo, per esempio lunghezza () su un tipo int. Non-type-safe lingue saranno capirlo in fase di esecuzione. Quindi, la scelta 5.

Answer 6

Come altri hanno già detto, la scelta 5 ...

In generale - per NET, controlla il tipo comune di sistema (CTS), che consente roba cross-lingua e la sicurezza tipo.

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

Answer 7

E 'opzione # 5. di sicurezza di tipo è una garanzia, non una cosa concreta. E 'possibile per il codice .NET per non al sicuro tipo ... dire che nel caso in cui un gruppo utilizza il codice non sicuro per eseguire chiamate non gestite (PInvoke). Durante JIT, un processo viene eseguito che verifica i tipi essendo jitted sono, infatti, di tipo sicuro. Non sono a conoscenza di eventuali particolari su questo processo, ma se un tipo jitted passa, allora è considerd verificabile SICURO tipo.