CppCon 2020 Template Metaprogramming: Type Traits Part 1 Jody Hagins jhagins@maystreet.com coachhagins@gmail.com ## CppCon 2020 Template Metaprogramming: Type Traits Introduction ## I ntended Audience Not necessarily beginner to C++, but beginner to traditional template metaprogramming techniques • Type traits part of standard library for ~10 years ## I ntended Audience • Beginner/Intermediate • Gentle Not necessarily beginner to C++, but beginner to traditional template metaprogramming techniques • Type traits part of standard library for ~10 years • Fundamentals have been in use for ~20 years ## I

# Java 应用与开发 JSP (Java Server Page) 王晓东 wangxiaodong@ouc.edu.cn 中国海洋大学 December 3, 2018   ## 大纲 ## 接下来… ## JSP 基本概念 JSP(Java Server Page)，即 Java 服务器页面。 JSP 是 Servlet 的扩展。 JSP 将使用 Java 类编写动态 Web 组件的方式转变为使用文本编写（采用标记型语法和过程性语法混合），降低了开发的难度。 指令不会产生任何的输出到当前输出流中。 ## JSP 指令 page 指令，用于定义 JSP 页面级的其他元素特征。 include 指令，用于嵌入另一个文本文件的内容到本页面。 ▶ taglib 指令，用于引入第三方 JSP 扩展标记类库。 ## JSP 指令的语法 <%@ 指令名 属性名="值" 属性名="值" %> ## page 指令 page 指令定义应用于整个页面的属性。

Database Page Header ..... 5 4. Database Header Page — Type 0x01 ..... 7 5. Page Inventory Page — Type 0x02 ..... 14 6. Transaction Inventory Page — Type 0x03 ..... 16 7. Pointer Page — Type 0x04 ..... 18 8. Data Page — Type 0x05 ..... 21 8.1. Record Header ..... 22 8.2. Record Data ..... 24 8.3. A Worked Example ..... 24 8.4. Examining The Data ..... 28 8.4.1. Compressed Data .... 4.3. Null ..... 31 8.4.4. NULL status bitmap ..... 31 9. Index Root Page — Type 0x06 ..... 36 10. Index B-Tree Page — Type 0x07 — YOU ARE HERE ..... 41 10.1. B-Tree Header ..... 41 10.2. Index

file and default title block ..... 3 Output file ..... 3 Theory of operations ..... 4 Basic page layout items properties: ..... 4 Coordinates definition ..... 4 Reference corners and coordinates: Format symbols: ..... 8 Multi-line texts: ..... 10 Multi-line texts in Page Setup dialog: ..... 11 Constraints ..... 12 Page 1 constraint ..... 12 Text full size constraint ..... 13 Invoking PI_Editor Pl_Editor is a page layout editor tool to create custom title blocks, and frame references. The title block, associated to frame references, and other graphic items (logos) is called here a page layout. Basic

file and default title block ..... 3 Output file ..... 3 Theory of operations ..... 4 Basic page layout items properties: ..... 4 Coordinates definition ..... 4 Reference corners and coordinates: Format symbols: ..... 8 Multi-line texts: ..... 10 Multi-line texts in Page Setup dialog: ..... 11 Constraints ..... 12 Page 1 constraint ..... 12 Text full size constraint ..... 13 Invoking PI_Editor Pl_Editor is a page layout editor tool to create custom title blocks, and frame references. The title block, associated to frame references, and other graphic items (logos) is called here a page layout. Basic

file and default title block ..... 3 Output file ..... 3 Theory of operations ..... 4 Basic page layout items properties: ..... 4 Coordinates definition ..... 4 Reference corners and coordinates: Format symbols: ..... 8 Multi-line texts: ..... 10 Multi-line texts in Page Setup dialog: ..... 11 Constraints ..... 12 Page 1 constraint ..... 12 Text full size constraint ..... 13 Invoking PI_Editor Pl_Editor is a page layout editor tool to create custom title blocks, and frame references. The title block, associated to frame references, and other graphic items (logos) is called here a page layout. Basic

manipulated like any other value. The standard example is the type of lists of a given length $ ^{1} $ , Vect n a, where a is the element type and n is the length of the list and can be an arbitrary term contain values, and where those values describe properties, for example the length of a list, the type of a function can begin to describe its own properties. Take for example the concatenation of two list's length is the sum of the lengths of the two input lists. We can therefore give the following type to the app function, which concatenates vectors: app : Vect n a -> Vect m a -> Vect (n + m)

Tokens 19 1.3 Syntax grammar 23 1.4 Documentation comments 42 2 Type system 43 Glossary 43 Introduction 44 2.1 Type kinds 45 2.1.1 Built-in types 46 kotlin.Any 46 kotlin.Nothing 46 types 48 2.1.3 Type parameters ..... 50 Function type parameters ..... 51 Mixed-site variance ..... 51 Declaration-site variance ..... 52 Use-site variance ..... 54 2.1.4 Type capturing .... . 55 2.1.5 Type containment ..... 60 2.1.6 Function types ..... 61 Suspending function types ..... 62 2.1.7 Flexible types ..... 63 Dynamic type ..... 64 Platform types ..... 64 2.1.8 Nullable

1 Input file and default title block 2 2.2 Output file 2 3 Theory of operations 3 3.1 Basic page layout items properties: 3 3.2 Coordinates definition 3 3.3 Reference corners and coordinates: 4.1 Format symbols: 7 4.2 Multi-line texts: 9 4.3 Multi-line texts in Page Setup dialog: 10 5 Constraints 11 5.1 Page 1 constraint 11 5.2 Text full size constraint 12 6 Invoking Pl_Editor 14 Pl_Editor is a page layout editor tool to create custom title blocks, and frame references. The title block, associated to frame references, and other graphic items (logos) is called here a page layout. Basic

1 Input file and default title block 2 2.2 Output file 2 3 Theory of operations 3 3.1 Basic page layout items properties: 3 3.2 Coordinates definition 3 3.3 Reference corners and coordinates: 4.1 Format symbols: 7 4.2 Multi-line texts: 9 4.3 Multi-line texts in Page Setup dialog: 10 5 Constraints 11 5.1 Page 1 constraint 11 5.2 Text full size constraint 12 6 Invoking Pl_Editor 14 Pl_Editor is a page layout editor tool to create custom title blocks, and frame references. The title block, associated to frame references, and other graphic items (logos) is called here a page layout. Basic