類型安全 的英文怎麼說
中文拼音 [lèixíngānquán]
類型安全
英文
type safety-
These type - safe operations are cls - compliant
這些對于類型安全的操作是符合cls的。Doing this requires a type - unsafe operation, particularly with structures, which could result in unverifiable code
這樣做會導致非類型安全的操作（對于結構尤其如此） ，因而會產生無法驗證的代碼。Determines whether the jit compilation process can verify the type safety of the assembly
確定jit編譯過程是否可以驗證程序集的類型安全。The title attribute can be one of a finite set of possible values - mr, ms, and mrs - so you intend to implement a
Title屬性是由可能值mr 、 ms和mrs組成的有限集合中的一個值，所以準備用typesafe enumeration （類型安全的枚舉）設計模式來實現一個Inland navigation vessels. wheelhouse and control position. types, safety requirements
內河航行船舶.舵手室和控制臺.類型安全要求When a uml model element is type - safe, its structure and behavior closely match its specification or, in other words, it has been developed specifically for its purpose
當uml模型元素是類型安全的時，其結構和行為貼切地與其規范相匹配，或者換句話說，它是明確地為其用途開發的。In the managed environment, application domains which you can think of as logical processes and contexts provide isolation and security at less cost and with greater ability to scale well than an operating - system process by relying on, among other things, the fact that managed code is verifiably type - safe
在託管環境中，應用程序域（可以視為邏輯進程）和上下文以比操作系統進程更低的成本提供隔離和安全性，並具有更強的伸縮能力，這依賴于託管代碼的許多優點，特別是託管代碼被證明是類型安全的。The common language runtime relies on the type - safe execution of application code to help enforce security and isolation mechanisms
公共語言運行庫依賴應用程序代碼以類型安全的模式執行，幫助強制實現安全性和隔離機制。C, which is an evolution of c and c, is type safe and object oriented
C #由c和c + +演變而來，是一種類型安全和面向對象的語言。To ensure the well - formed of wscg model, we have developed an algorithm to check the type - safety of wscg model, in which data edges of wscg model can be used to check whether the export messages of an edge ' s source node is matched with the import messages of the edge ' s target node, and to determine whether the import messages of a node is self - contained. we also develop another algorithm, which is based on wscg dependence graph that simulates the wscg dynamic behaviors, to eliminate the deadlock of wscg model
在wscg模型的基礎上，針對目前web服務復合模型缺乏良構性驗證的問題，在wscg模型的靜態特性驗證方面，我們定義了wscg模型的類型安全性，並給出了相應的wscg模型全局類型安全性的驗證演算法，解決了驗證wscg模型中輸入輸出消息集合的類型是否匹配以及輸入消息是否是完備的問題；在wscg模型的動態特性方面，我們主要分析了wscg模型的可達性、活鎖和死鎖問題。You can then treat each named value as an instance of that class, providing you with compile - time type safety that a named set of integers can t
然後，可以將每個指定的值看作是那個類的一個實例，這為您提供了指定的整數集合所無法提供的編譯時類型安全。Performs a process called verification that examines code and attempts to determine whether the code is type - safe
執行稱為驗證的過程，該過程檢查代碼並嘗試確定該代碼是否為類型安全代碼。During this compilation, code must pass a verification process that examines the msil and metadata to find out whether the code can be determined to be type safe
在此編譯過程中，代碼必須通過驗證過程，該過程檢查msil和元數據以查看是否可以將代碼確定為類型安全。Verification examines msil and metadata to find out whether the code is type safe, which means that it only accesses the memory locations it is authorized to access
驗證過程檢查msil和元數據以確定代碼是否是類型安全的，這意味著它僅訪問它已被授權訪問的內存位置。Additionally, verification inspects code to determine whether the msil has been correctly generated, because incorrect msil can lead to a violation of the type safety rules
另外，驗證過程檢查代碼以確定msil是否已正確生成，這是因為不正確的msil會導致違反類型安全規則。During just - in - time compilation, an optional verification process examines the metadata and microsoft intermediate language msil of a method to be jit - compiled into native machine code to verify that they are type safe
在實時（ jit ）編譯期間，可選的驗證過程檢查要實時編譯為本機代碼的方法的元數據和microsoft中間語言（ msil ） ，以驗證它們是否為類型安全。Code that passes the verification test is said to be type - safe
通過此驗證測試的代碼將被認為是類型安全的。To maintain type safety and security, by default c does not support pointer arithmetic
為了保持類型安全，默認情況下， c #不支持指針運算。Typed safe access to table columns
對表列的類型安全訪問Generated typed resultset objects provide type - safe access to the database table much like typed
生成的類型化resultset對象提供對數據庫表的類型安全訪問，這與類型化分享友人