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

推荐订阅源

H
Help Net Security
博客园 - Franky
GbyAI
GbyAI
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
爱范儿
爱范儿
IT之家
IT之家
酷 壳 – CoolShell
酷 壳 – CoolShell
aimingoo的专栏
aimingoo的专栏
博客园_首页
MongoDB | Blog
MongoDB | Blog
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
Recent Announcements
Recent Announcements
Scott Helme
Scott Helme
有赞技术团队
有赞技术团队
M
MIT News - Artificial intelligence
C
CERT Recently Published Vulnerability Notes
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
Jina AI
Jina AI
F
Fortinet All Blogs
N
Netflix TechBlog - Medium
L
LangChain Blog
L
LINUX DO - 最新话题
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
H
Hacker News: Front Page
MyScale Blog
MyScale Blog
P
Palo Alto Networks Blog
G
Google Developers Blog
Google DeepMind News
Google DeepMind News
AI
AI
T
Troy Hunt's Blog
Microsoft Azure Blog
Microsoft Azure Blog
阮一峰的网络日志
阮一峰的网络日志
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
Vercel News
Vercel News
Microsoft Security Blog
Microsoft Security Blog
罗磊的独立博客
S
Secure Thoughts
大猫的无限游戏
大猫的无限游戏
博客园 - 叶小钗
人人都是产品经理
人人都是产品经理
Blog — PlanetScale
Blog — PlanetScale
博客园 - 司徒正美
Apple Machine Learning Research
Apple Machine Learning Research
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
博客园 - 三生石上(FineUI控件)
S
Security @ Cisco Blogs
Cloudbric
Cloudbric
E
Exploit-DB.com RSS Feed
Attack and Defense Labs
Attack and Defense Labs

博客园 - 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++技术文档上经常会遇到下面几个术语,通过对网上的资料进行综合,总结出以下的解释:

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

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

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