C++[未定义行为/undefined][未确定行为/unspecified][实现定义行为/implementation-defined]

简单地说: 实现定义意味着实现必须选择某种行为并提供文档。未明确意味着实现必须选择某种行为但不必提供文档。未定义意味着任何事情都可能发生。标准在任何情况下都不强加需求; 前两种情况下, 它有时建议一组可能的行为(也可能要求从中选择一种)。 注意，既然标准对无定义行为没有强制要求, 编译器就绝对可以做任何事情。特别地, 对程序其它部分的正常运行没有任何保证; 参见问题3.2, 有一个相对简单的

转载地址：http://hi.baidu.com/thewillreigns/blog/item/67e665c4296e69c038db492d.html char 和 unsigned char是无符号的 两者都作为字符用的话是没有区别的，但当整数用时有区别： char 整数范围为-128到127( 0x80__0x7F)， 而unsigned char 整数范围为0到255(

<br />未定义行为：没有定义那样做有什么意义的行为。<br />注意：不要依赖未定义行为。<br />c++中的未定义行为有：<br />1、连接字符串字面值和宽字符串字面值。<br />2、使用在函数体内定义的未初始化的变量（非用作赋值操作符的左操作数）。<br />3、获取不存在的元素也是未定义行为。例如：数组、string、vector等通过下标操作符获取超过该对象的长度的元素。<br />所谓的“缓冲区溢出”问题就是对不存在的元素进行下标操作的结果。这样的缺陷往往导致PC机和其他应用中最常见的安

浅析一下C++当中的UB，以及UB遇到编译期优化的时的情况

c / c++ 编程当中会遇到一些未定义的行为 这些行为多数和c/c++标准当中的定义不明确有关系 第一种，操作数的执行顺序 标准当中，只有四个操作数有过明确的执行顺序： 逻辑运算符&&和｜｜ 从左到右，短路测试 ？：条件运算符 先执行？前面的表达式 逗号运算符，从左到右 其他的运算符，都没有定义执行顺序，也就是说 v =...

在C++中，未定义行为被称为UB，这是因为C++标准中有很多行为没有被明确定义，而是留给编译器或操作系统的实现来决定。这些未定义的行为包括指针运算、类型转换、溢出、多线程同步等。由于这些行为没有被明确定义，因此它们的结果是不确定的，可能会导致程序崩溃或产生错误的结果。在计算机科学中，未定义行为（Undefined Behavior，简称UB）是指程序在运行时的行为没有被编程语言或标准所定义，因此其结果是不确定的。这意味着，当程序出现未定义行为时，它可能会产生任何结果，包括崩溃、错误的输出、安全漏洞等。

从今天开始，各书的读书笔记就陆陆续续开展了哈（本书为《C语言程序设计现代方法（第二版）》）（一本书一个专栏，订阅会第一时间推荐更新哈），主要会把作者认为比较重要或者比较新奇的知识点记录下来。但是要想真的了解一本书，自己去看可能才会有更深的体会哈。

规范未规定，如char有符号还是无符号，需要编译器对此作出明确规定，记录在文档中。规范未规定，编译器可以自行决定，无需记录，如函数调用的实参表达式按什么顺序求值。不正确的，规范未规定，编译器可能也不处理，如数组越界访问。

首先看下C标准中“未明确定义”的三种类型Implementation-defined、Unspecified和Undefined。（以下内容部分摘自宋劲彬老师的文章） Implementation-defined 的情况，是C 标准没有明确规定，但是要求编译器必须对此做出明确规定，并写在编译器的文档中。 Unspecified的情况，往往有几种可选的处理方式，C 标准没有明

实现定义行为是指程序的行为依赖于具体的实现，而标准要求实现必须为每种行为提供文档说明。例如，int类型在不同环境下的大小可能不同，标准要求至少为 16 位，而大多数环境下为 32 位。未定义行为则是对程序行为没有任何限制，标准不要求程序产生任何合法或有意义的结果。例如，访问非法内存就是未定义行为。当然可以，下面是对之前代码的修改和未定义行为检测方法的详细说明。C/C++ 的设计目标之一是高效，因此未定义行为的存在使得编译器能够优化程序。

原文出处：http://blog.chinaunix.net/space.php?uid=53564&do=blog&id=2099623 读ANSI C标准, 或K&R, 或C: A reference manual时, 往往会碰到对某个语言特性这样的描述. 这三者到底是什么意思, 我的粗略印象, 从implement-defined, 到unspecified, 到undefined

<br />未定义（undefined）行为，也就是说，C++标准没有定义这种行为。<br /> <br />C++Primer第四版中的解释：<br />          使用了未定义行为的程序都是错误的，即使程序能够运行，也只是巧合。未定义行为源于编译器不能检测到的程序错误或太麻烦以至无法检测的错误。<br />          不幸的是，含有未定义行为的程序在有些环境或编译器中可以正确执行，但并不能保证同一程序在不同编译器中甚至在当前编译器的后继版本中会继续正确运行，也不能保证程序在一组输入上可以

未定义行为是指 C 语言标准中没有明确规定其行为的操作。由于编译器和硬件的不同，未定义行为可能导致程序崩溃、数据损坏，甚至看似正常运行但在其他条件下失败。例如，访问数组超出范围的元素或修改同一变量多次可能触发未定义行为。研究表明，未定义行为的存在允许编译器进行更激进的优化，并给编译器实现者提供处理边缘情况的灵活性。这有助于提高性能，但也增加了程序员的责任，确保代码不触发未定义行为。

嗷嗷的话: 　　这都是一些细枝末节的东西，我想不做编译器的话，大部分都很难碰到。研究学习这些只是出于对C语言一种偏执狂。 写出来是为了找到和我一样的偏执狂。 在随后的的文章中，首先我写一写191种undefined behavior。不一定是对的，只是我自己的理解。参考的标准是C99. undefined behavior简单来说就是，如果你的程序违反了C标准中某些准则...

unspecified（非原创） unspecified把没有指定分发方法的请求分发。

在C++中，动态内存的管理是通过一对运算符来完成的：new，在动态内存中为对象分配空间并返回一个指向该对象的指针，可以选择对对象进行初始化；delete，接受一个动态对象的指针，销毁该对象，并释放与之关联的内存。 动态内存的使用很容易出问题，因为确保在正确的时间释放内存是极其困难的。有时会忘记释放内存，在这种情况下会产生内存泄露；有时在尚有指针引用内存的情况下就释放了它，在这种情况下就会产生引用...