惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
J
Java Code Geeks
I
InfoQ
V
Visual Studio Blog
M
MIT News - Artificial intelligence
H
Help Net Security
博客园_首页
Blog — PlanetScale
Blog — PlanetScale
F
Fortinet All Blogs
Apple Machine Learning Research
Apple Machine Learning Research
人人都是产品经理
人人都是产品经理
G
Google Developers Blog
A
About on SuperTechFans
腾讯CDC
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
Last Week in AI
Last Week in AI
小众软件
小众软件
aimingoo的专栏
aimingoo的专栏
罗磊的独立博客
大猫的无限游戏
大猫的无限游戏
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
云风的 BLOG
云风的 BLOG
S
SegmentFault 最新的问题
WordPress大学
WordPress大学

博客园 - Cool_IT_Cool_Man

如何向MyEclipse项目的文件夹中添加JSP页面? JavaScript调试工具 MyEclipse中如何安装插件(以Subclipse为例)[转] s:textarea中的文本内容在什么时候才能被赋值给Action中的属性? 由 s:hidden 引起的文本框内容不能传到 struts的Action中 在Eclipse工作空间中移除再添加项目的方法 在Eclipse工作空间中创建新项目的方法 Visual Studio 使用常见问题 如何阅读C++源代码 《Ogre 3D 游戏开发框架指南》配套光盘的一个小瑕疵 Orz游戏开发框架阅读笔记(一) 如何使用Eclipse从Subversion源码服务器下载源码? UltraEdit不能对Matlab的M文件进行语法高亮显示问题的解决 JessDE 在 Eclipse中不能正确安装的问题 UltraEdit的语法高亮文件网址 如何配置SWRLJess Tab? 编程经验小结 如何在Protege3.4中安装graphviz以便在protege中使用OwlvizTab? 语义网的学习资源大汇集(转载)
类型安全·异常安全·线程安全
Cool_IT_Cool_Man · 2011-08-13 · via 博客园 - Cool_IT_Cool_Man

在阅读一些C++技术文档上经常会遇到下面几个术语,通过对网上的资料进行综合,总结出以下的解释:

类型安全 --- 是有关类型操作的一种规范。这种规范限制了不同类型的数据之间的相互转化,使数据类型之间的转换不会导致数据破坏。另外,对于不同的类型,总能进行正确的处理。在处理时对数据类型有严格要求,类型不正确的数据不能通过编译。或者说,类型安全性就是严格区分数据的类型,不同的类型不同的处理,类型之间的转换遵循严格的规范,保证不发生类型错误。

异常安全 --- 包括三个层次,最基本的层次是:如果一个异常被抛出,程序中相关的数据、变量和对象都处于合法状态,没有对象或数据结构被破坏,而且所有类不变量都被满足。更高级的层次是:如果一个异常被抛出,程序的状态不会发生任何变化。最高的层次是:不抛出异常,异常在代码内部得到合适处理。

线程安全 --- 如果代码所在进程有多个线程在同时运行,而这些线程可能会同时运行该段代码,如果每次运行结果和单线程时的运行结果是一样的,代码中各个变量的值与预期完全一致,那么这段代码就是线程安全的。