Undefined Behavior 3 We will learn: ● What is Undefined Behavior – And what it is not – UB vs implementation-defined behavior vs unspecified behavior ● Why have UB in programming languages? ● How compilers ● How to avoid UB? ● How to take advantage of UB in your own programs?Undefined Behavior 4 What is Undefined Behavior (UB) in C++? ● The concept is defined in the standard int f(int k) { return k + 10; } ● According to the standard, if k > INT_MAX-10, the result is undefined – “The program is not well-defined” language is also used ● The standard imposes no requirements or restrictions

function Dijkstras(Graph, source, target): for each vertex v in Graph.Vertices: prev[v] ← UNDEFINED # predecessors of v (visited set) create (vertex, vertex, dist) # predecessor (p) if prev[u] is not UNDEFINED: # if we have visited (u), ignore continue prev[u] ← p # end if we are at the target vertex break for each neighbor v of u with prev[v] is UNDEFINED: dist_v ← dist_u + Graph.Edge(u, v) # compute distance to (v) Q.add_with_priority((u

Modifications on environments after the first template was loaded will lead to surprising effects and undefined behavior. Here are the possible initialization parameters: block_start_string The string marking the extensions documentation. optimized should the optimizer be enabled? Default is True. undefined Undefined or a subclass of it that is used to represent unde- fined values in the template. finalize environment may not shine through. undefined([hint, obj, name, exc]) Creates a new Undefined object for name. This is useful for filters or func- tions that may return undefined objects for some operations.

t 解释程序必须判断该值是原始类型 还是引用类型。ECMAScript 解释程序在处理原始类型和引用类型的变量赋值机制上，采用了 不同的方式。 ECMAScript 的原始类型包括 Undefined、Null、Boolean、Number 和 String 五大类型。因 此，ECMAScript 解释程序在为变量赋值时，就会先判断该值是否为这五大原始类型。而 Ecma-262 规范对 中是作为原始类型来处理的。自然，ECMAScript 字符串的 处理速度会更快。 2.3.3 原始类型 ECMAScript 语法定义五种原始类型（primitive type），即前文中提到的 Undefined、Null、 Boolean、Number 和 String。根据 ECMA-262 规范中的描述，将术语“类型（type）”定义为“值 的一个集合”，其中每种原始类型均定义了其所包含值的范围及其字面量的表示形式。 设计人 员不但可以用该运算符判断一个值是否表示一种原始类型，还可以判断出其具体表示哪种原始 类型。在 JS 脚本中使用“typeof”运算符将返回下列值之一： � undefined：如果变量是 Undefined 类型的会返回该类型； � boolean：如果变量是 Boolean 类型的会返回该类型； � number：如果变量是 Number 类型的会返回该类型； �

命令会发生”变量提升“现象，即变量可以在声明之前使用，值 为 undefined 。这种现象多多少少是有些奇怪的，按照一般的逻辑，变量应该在 声明语句之后才可以使用。 为了纠正这种现象， let 命令改变了语法行为，它所声明的变量一定要在声明后 使用，否则报错。 // var 的情况 console.log(foo); // 输出undefined var foo = 2; // let 的情况 报错ReferenceError let bar = 2; 上面代码中，变量 foo 用 var 命令声明，会发生变量提升，即脚本开始运行时， 变量 foo 已经存在了，但是没有值，所以会输出 undefined 。变 量 bar 用 let 命令声明，不会发生变量提升。这表示在声明它之前，变 量 bar 是不存在的，这时如果用到它，就会抛出一个错误。 暂时性死区 let 和 const ReferenceError console.log(tmp); // ReferenceError let tmp; // TDZ结束 console.log(tmp); // undefined tmp = 123; console.log(tmp); // 123 } 上面代码中，在 let 命令声明变量 tmp 之前，都属于变量 tmp 的“死区”。 “暂时性死区”也意味着

目 录 致谢 介绍 前言 入门篇 导论 历史 基本语法 数据类型 概述 null，undefined 和布尔值 数值 字符串 对象 函数 数组 运算符 算术运算符 比较运算符 布尔运算符 二进制位运算符 其他运算符，运算顺序 语法专题 数据类型的转换 错误处理机制 编程风格 console 对象与控制台 标准库 Object 对象 属性描述对象 起，实际的步骤是下面这样。 1. var a; 2. a = 1; 如果只是声明变量而没有赋值，则该变量的值 是 undefined 。 undefined 是一个 JavaScript 关键字，表示“无定 义”。 1. var a; 2. a // undefined 变量 概念 基本语法 - 34 - 本文档使用 书栈(BookStack.CN) 构建 如果变量赋值的时候，忘了写 var a; 2. console.log(a); 3. a = 1; 变量提升 基本语法 - 36 - 本文档使用 书栈(BookStack.CN) 构建 最后的结果是显示 undefined ，表示变量 a 已声明，但还未赋值。 标识符（identifier）指的是用来识别各种值的合法名称。最常见的 标识符就是变量名，以及后面要提到的函数名。JavaScript 语言的 标识符对大小写敏感，所以

getElementById 总是成功的，因此我们要使用 as 语法告诉TypeScript这点。 TypeScript还有一种感叹号（ ! ）结尾的语法，它会从前面的表达式里移 除 null 和 undefined 。 所以我们也_可以_写成 document.getElementById('root')! ，但 在这里我们想写的更清楚些。 通过我们的设置为一个组件添加样式很容易。 若要设置 Hello 种情况的地方，并给出一个错误。 默认地，TypeScript把 null 和 undefined 当做属于任何类型。 这就是说，声明 为 number 类型的值可以为 null 和 undefined 。 因为在JavaScript和TypeScript 里， null 和 undefined 经常会导致BUG的产生，所以TypeScript包含 了 strictNullChecks strictNullChecks ， null 和 undefined 获得了它们自己各自的类 型 null 和 undefined 。 当任何值_可能_为 null ，你可以使用联合类型。 比如，某值可能 为 number 或 null ，你可以声明它的类型为 number | null 。 假设有一个值TypeScript认为可以为 null 或 undefined ，但是你更清楚它的类型，你可以使

String Literals and Character Literals Escape Sequences Multiline String Literals Assignment undefined Variables Global Variables Thread Local Variables Local Variables Integers Integer Literals Compile-Time Known Numbers Implicit Cast: unions and enums Implicit Cast: Zero Bit Types Implicit Cast: undefined Explicit Casts Peer Type Resolution Zero Bit Types void Pointers to Zero Bit Types Result Location @unionInit @Vector Build Mode Debug ReleaseFast ReleaseSafe ReleaseSmall Single Threaded Builds Undefined Behavior Reaching Unreachable Code Index out of Bounds Cast Negative Number to Unsigned Integer

String Literals and Character Literals Escape Sequences Multiline String Literals Assignment undefined Variables Global Variables Thread Local Variables Local Variables Integers Integer Literals Compile-Time Known Numbers Implicit Cast: unions and enums Implicit Cast: Zero Bit Types Implicit Cast: undefined Explicit Casts Peer Type Resolution Zero Bit Types void Pointers to Zero Bit Types comptime @typeOf @Vector Build Mode Debug ReleaseFast ReleaseSafe ReleaseSmall Single Threaded Builds Undefined Behavior Reaching Unreachable Code Index out of Bounds Cast Negative Number to Unsigned Integer

and false bool values null used to set an optional type to null undefined used to leave a value unspecified See also: Optionals undefined String Literals and Character Literals String literals are single-item x: i32; ^ undefined Use undefined to leave variables uninitialized: test.zig const expect = @import("std").testing.expect; test "init with undefined" { var x: i32 = undefined; x = 1; test "init with undefined"... OK All 1 tests passed. undefined can be coerced to any type. Once this happens, it is no longer possible to detect that the value is undefined. undefined means the value