zhouzhongping/wiki
1
0
Fork 0
Code

C++：基本语法

Browse Source
This commit is contained in:
周中平 2022-04-28 11:10:10 +08:00
parent 09fe779747
commit 8a919916ca
No known key found for this signature in database
GPG Key ID: B1DF9DD42D8E00DC
4 changed files with 21 additions and 998 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

135
docs/开发/C++/基本语法.md
View File

@ -2,138 +2,5 @@
id: 基本语法 id: 基本语法
title: 基本语法 title: 基本语法
sidebar_position: 2 sidebar_position: 2
data: 2022年2月18日 data: 2022年2月17日
--- ---
## 基本语法
C++ 程序可以定义为对象的集合，这些对象通过调用彼此的方法进行交互。
- **对象 -** 对象具有状态和行为。例如：一只狗的状态 - 颜色、名称、品种，行为 - 摇动、叫唤、吃。对象是类的实例。
- **类 -** 类可以定义为描述对象行为/状态的模板/蓝图。
- **方法 -** 从基本上说，一个方法表示一种行为。一个类可以包含多个方法。可以在方法中写入逻辑、操作数据以及执行所有的动作。
- **即时变量 -** 每个对象都有其独特的即时变量。对象的状态是由这些即时变量的值创建的。
### 示例
输出单词 *Hello World*
```cpp
#include <iostream>
using namespace std;
// main() 是程序开始执行的地方
int main(){
// 输出 Hello World
cout << "Hello World";
return 0;
}
```
1. C++ 语言定义了一些头文件，这些头文件包含了程序中必需的或有用的信息。上面这段程序中，包含了头文件
2. 行 **using namespace std;** 告诉编译器使用 std 命名空间。命名空间是 C++ 中一个相对新的概念。
3. **// main() 是程序开始执行的地方** 是一个单行注释。单行注释以 // 开头，在行末结束。
4. **int main()** 是主函数，程序从这里开始执行。
5. **cout << "Hello World";** 会在屏幕上显示消息 "Hello World"。
6. **return 0;** 终止 main( )函数，并向调用进程返回值 0。
### 分号
语句结束符；每个语句必须以分号结束，表明一个逻辑实体的结束。 C++ 不以行末作为结束符的标识，一行上可以放置多个语句。
```cpp
// 三个不同的语句
x = y;
y = y+1;
add(x, y);
// 放置多行语句
x = y;y = y+1;add(x, y);
```
### 空格
在 C++ 中，空格用于描述空白符、制表符、换行符和注释。空格分隔语句的各个部分，让编译器能识别语句中的某个元素（比如 int）在哪里结束，下一个元素在哪里开始。
```cpp
/*
* int 和 age 之间必须至少有一个空格字符（通常是一个空白符）
* 这样编译器才能够区分它们。
*/
int age;
/*
* fruit 和 =，或者 = 和 apples 之间的空格字符不是必需的
* 但是为了增强可读性，您可以根据需要适当增加一些空格
*/
fruit = apples + oranges; // 获取水果的总数
```
### 注释
C++ 支持单行注释和多行注释。注释中的所有字符会被 C++ 编译器忽略。
```cpp
// 单行注释
/*
* 多行注释
*/
```
### 语句块
一组使用大括号括起来的按逻辑连接的语句。
```cpp
// 语句块
{
cout << "Hello World";
// 输出 Hello World
return 0;
}
```
### 标识符
C++ 标识符是用来标识变量、函数、类、模块，或任何其他用户自定义项目的名称。
**一个标识符以字母 A-Z 或 a-z 或下划线 _ 开始，后跟零个或多个字母、下划线和数字（0-9）**。
C++ 标识符内不允许出现标点字符，比如 @、$ 和 %。C++ 是**区分大小写**的编程语言。因此，在 C++ 中，**Manpower** 和 **manpower** 是两个不同的标识符。
```cpp
// 标识符示例
mohd zara abc move_name a_123myname50 _temp j a23b9 retVal
```
### 关键字
关键字不能作为常量名、变量名或其他标识符名称。
| | | | |
| ------------ | --------- | ---------------- | -------- |
| asm | else | new | this |
| auto | enum | operator | throw |
| bool | explicit | private | true |
| break | export | protected | try |
| case | extern | public | typedef |
| catch | false | register | typeid |
| char | float | reinterpret_cast | typename |
| class | for | return | union |
| const | friend | short | unsigned |
| const_cast | goto | signed | using |
| continue | if | sizeof | virtual |
| default | inline | static | void |
| delete | int | static_cast | volatile |
| do | long | struct | wchar_t |
| double | mutable | switch | while |
| dynamic_cast | namespace | template | |

32
docs/开发/C++/简介.md
View File

@ -19,19 +19,25 @@ C++ 是 C 的一个超集，事实上，任何合法的 C 程序都是合法的
### 标准化 ### 标准化
| 发布时间 | 文档 | 通称 | 备注 | | 发布时间 | 通称 | 备注 |
| -------- | --------------------- | ------ | ------------------- | | :------- | :---------------------- | :------------------------- |
| 2017 | ISO/IEC 14882:2017 | C++17 | 第五个C++标准 | | 2017 | C++17 | 第五个C++标准 |
| 2015 | ISO/IEC TS 19570:2015 | - | 用于并行计算的扩展 | | 2017 | coroutines TS | 协程库扩展 |
| 2015 | ISO/IEC TS 18822:2015 | - | 文件系统 | | 2017 | ranges TS | 提供范围机制 |
| 2014 | ISO/IEC 14882:2014 | C++14 | 第四个C++标准 | | 2017 | library fundamentals TS | 标准库扩展 |
| 2011 | ISO/IEC TR 24733:2011 | - | 十进制浮点数扩展 | | 2016 | concurrency TS | 用于并发计算的扩展 |
| 2011 | ISO/IEC 14882:2011 | C++11 | 第三个C++标准 | | 2015 | concepts TS | 概念库，用于优化编译期信息 |
| 2010 | ISO/IEC TR 29124:2010 | - | 数学函数扩展 | | 2015 | TM TS | 事务性内存操作 |
| 2007 | ISO/IEC TR 19768:2007 | C++TR1 | C++技术报告：库扩展 | | 2015 | parallelism TS | 用于并行计算的扩展 |
| 2006 | ISO/IEC TR 18015:2006 | - | C++性能技术报告 | | 2015 | filesystem TS | 文件系统 |
| 2003 | ISO/IEC 14882:2003 | C++03 | 第二个C++标准 | | 2014 | C++14 | 第四个C++标准 |
| 1998 | ISO/IEC 14882:1998 | C++98 | 第一个C++标准 | | 2011 | - | 十进制浮点数扩展 |
| 2011 | C++11 | 第三个C++标准 |
| 2010 | - | 数学函数扩展 |
| 2007 | C++TR1 | C++技术报告：库扩展 |
| 2006 | - | C++性能技术报告 |
| 2003 | C++03 | 第二个C++标准 |
| 1998 | C++98 | 第一个C++标准 |
### 发展历程 ### 发展历程

766
docs/开发/C++/语言元素.md
View File

@ -1,766 +0,0 @@
---
id: 语言元素
title: 语言元素
sidebar_position: 3
data: 2022年2月18日
---
## 数据类型
### 内置类型
C++ 为程序员提供了种类丰富的内置数据类型和用户自定义的数据类型。下表列出了七种基本的 C++ 数据类型：
| 类型 | 关键字 |
| -------- | ------- |
| 布尔型 | bool |
| 字符型 | char |
| 整型 | int |
| 浮点型 | float |
| 双浮点型 | double |
| 无类型 | void |
| 宽字符型 | wchar_t |
一些基本类型可以使用一个或多个类型修饰符进行修饰：
- signed
- unsigned
- short
- long
下表显示了各种变量类型在内存中存储值时需要占用的内存，以及该类型的变量所能存储的最大值和最小值。
| 类型 | 位 | 范围 |
| ------------------ | ------------- | ------------------------------------------------------- |
| char | 1 个字节 | -128 到 127 或者 0 到 255 |
| unsigned char | 1 个字节 | 0 到 255 |
| signed char | 1 个字节 | -128 到 127 |
| int | 4 个字节 | -2147483648 到 2147483647 |
| unsigned int | 4 个字节 | 0 到 4294967295 |
| signed int | 4 个字节 | -2147483648 到 2147483647 |
| short int | 2 个字节 | -32768 到 32767 |
| unsigned short int | 2 个字节 | 0 到 65,535 |
| signed short int | 2 个字节 | -32768 到 32767 |
| long int | 8 个字节 | -9,223,372,036,854,775,808 到 9,223,372,036,854,775,807 |
| signed long int | 8 个字节 | -9,223,372,036,854,775,808 到 9,223,372,036,854,775,807 |
| unsigned long int | 8 个字节 | 0 to 18,446,744,073,709,551,615 |
| float | 4 个字节 | +/- 3.4e +/- 38 (~7 个数字) |
| double | 8 个字节 | +/- 1.7e +/- 308 (~15 个数字) |
| long double | 8 个字节 | +/- 1.7e +/- 308 (~15 个数字) |
| wchar_t | 2 或 4 个字节 | 1 个宽字符 |
从上表可得知，变量的大小会根据编译器和所使用的电脑而有所不同。下面实例会输出您电脑上各种数据类型的大小。
```cpp
#include <iostream>
using namespace std;
int main()
{
cout << "Size of char : " << sizeof(char) << endl;
cout << "Size of int : " << sizeof(int) << endl;
cout << "Size of short int : " << sizeof(short int) << endl;
cout << "Size of long int : " << sizeof(long int) << endl;
cout << "Size of float : " << sizeof(float) << endl;
cout << "Size of double : " << sizeof(double) << endl;
cout << "Size of wchar_t : " << sizeof(wchar_t) << endl;
return 0;
}
```
### typedef 声明
### 枚举类型
枚举类型(enumeration)是C++中的一种派生数据类型，它是由用户定义的若干枚举常量的集合。
创建枚举，需要使用关键字 **enum**。枚举类型的一般形式为：
```cpp
enum enum-name
{
list of names
} var-list;
```
例如，下面的代码定义了一个颜色枚举，变量 c 的类型为 color。最后，c 被赋值为 "blue"。
```cpp
enum color
{
red,
green,
blue
} c;
c = blue;
```
默认情况下，第一个名称的值为 0，第二个名称的值为 1，第三个名称的值为 2，以此类推。但是，您也可以给名称赋予一个特殊的值，只需要添加一个初始值即可。
例如，在下面的枚举中，**green** 的值为 5。
```cpp
enum color
{
red,
green=5,
blue
};
```
## 变量类型
| 类型 | 描述 |
| ------- | -------------------------------------------------- |
| bool | 存储值 true 或 false。 |
| char | 通常是一个八位字节（一个字节）。这是一个整数类型。 |
| int | 对机器而言，整数的最自然的大小。 |
| float | 单精度浮点值。 |
| double | 双精度浮点值。 |
| void | 表示类型的缺失。 |
| wchar_t | 宽字符类型。 |
C++ 也允许定义各种其他类型的变量，比如**枚举、指针、数组、引用、数据结构、类**等等。
### 声明
变量声明向编译器保证变量以给定的类型和名称存在，这样编译器在不需要知道变量完整细节的情况下也能继续进一步的编译。变量声明只在编译时有它的意义，在程序连接时编译器需要实际的变量声明。
当您使用多个文件且只在其中一个文件中定义变量时（定义变量的文件在程序连接时是可用的），变量声明就显得非常有用。您可以使用 **extern** 关键字在任何地方声明一个变量。虽然您可以在 C++ 程序中多次声明一个变量，但变量只能在某个文件、函数或代码块中被定义一次。
```cpp
#include <iostream>
using namespace std;
// 变量声明
extern int a, b;
extern int c;
extern float f;
int main ()
{
// 变量定义
int a, b;
int c;
float f;
// 实际初始化
a = 10;
b = 20;
c = a + b;
cout << c << endl;
f = 70.0/3.0;
cout << f << endl;
return 0;
}
```
### 定义
变量定义就是告诉编译器在何处创建变量的存储，以及如何创建变量的存储。
```cpp
// 变量定义
// type variable_list;
// 指定一个初始值
// type variable_name = value;
// 示例
char ch;
float f;
int d = 3, f = 5;
```
### 左值（Lvalues）和右值（Rvalues）
C++ 中有两种类型的表达式：
- **左值（lvalue）：**指向内存位置的表达式被称为左值（lvalue）表达式。左值可以出现在赋值号的左边或右边。
- **右值（rvalue）：**术语右值（rvalue）指的是存储在内存中某些地址的数值。右值是不能对其进行赋值的表达式，也就是说，右值可以出现在赋值号的右边，但不能出现在赋值号的左边。
变量是左值，因此可以出现在赋值号的左边。数值型的字面值是右值，因此不能被赋值，不能出现在赋值号的左边。下面是一个有效的语句：
```cpp
int g = 20;
```
但是下面这个就不是一个有效的语句，会生成编译时错误：
```cpp
10 = 20;
```
## 变量作用域
用域是程序的一个区域，一般来说有三个地方可以声明变量：
- 局部变量：在函数或一个代码块内部声明的变量。
- 形式参数：在函数参数的定义中声明的变量。
- 全局变量：在所有函数外部声明的变量。
### 局部变量
在函数或一个代码块内部声明的变量，称为局部变量。
```cpp
#include <iostream>
using namespace std;
int main (){
// 局部变量声明
int a, b;
int c;
// 实际初始化
a = 10;
b = 20;
c = a + b;
cout << c;
return 0;
}
// 输出 30
```
### 全局变量
在所有函数外部定义的变量（通常是在程序的头部），称为全局变量。全局变量的值在程序的整个生命周期内都是有效的。
全局变量可以被任何函数访问。也就是说，全局变量一旦声明，在整个程序中都是可用的。下面的实例使用了全局变量和局部变量：
```cpp
#include <iostream>
using namespace std;
// 全局变量声明
int g;
int main ()
{
// 局部变量声明
int a, b;
// 实际初始化
a = 10;
b = 20;
g = a + b;
cout << g;
return 0;
}
// 输出 30
```
在程序中，局部变量和全局变量的名称可以相同，但是在函数内，**局部变量的值会覆盖全局变量的值。**
```cpp
#include <iostream>
using namespace std;
// 全局变量声明
int g = 20;
int main (){
// 局部变量声明
int g = 10;
cout << g;
return 0;
}
// 输出 10
```
### 初始化局部变量和全局变量
当局部变量被定义时，系统不会对其初始化，您必须自行对其初始化。定义全局变量时，系统会自动初始化为下列值：
| 数据类型 | 初始化默认值 |
| -------- | ------------ |
| int | 0 |
| char | '\0' |
| float | 0 |
| double | 0 |
| pointer | NULL |
正确地初始化变量是一个良好的编程习惯，否则有时候程序可能会产生意想不到的结果。
## 常量
常量是固定值，在程序执行期间不会改变。这些固定的值，又叫做**字面量**。
常量可以是任何的基本数据类型，可分为整型数字、浮点数字、字符、字符串和布尔值。
常量就像是常规的变量，只不过常量的值在定义后不能进行修改。
### 整数常量
整数常量可以是十进制、八进制或十六进制的常量。前缀指定基数：0x 或 0X 表示十六进制，0 表示八进制，不带前缀则默认表示十进制。
整数常量也可以带一个后缀，后缀是 U 和 L 的组合，U 表示无符号整数（unsigned），L 表示长整数（long）。后缀可以是大写，也可以是小写，U 和 L 的顺序任意。
```cpp
85
// 十进制
0213
// 八进制
0x4b
// 十六进制
30
// 整数
30u
// 无符号整数
30l
// 长整数
30ul
// 无符号长整数
```
### 浮点常量
浮点常量由整数部分、小数点、小数部分和指数部分组成。您可以使用小数形式或者指数形式来表示浮点常量。
当使用小数形式表示时，必须包含整数部分、小数部分，或同时包含两者。当使用指数形式表示时， 必须包含小数点、指数，或同时包含两者。带符号的指数是用 e 或 E 引入的。
```cpp
3.14159
// 合法的
314159E-5L
// 合法的
510E
// 非法的：不完整的指数
210f
// 非法的：没有小数或指数
.e55
// 非法的：缺少整数或分数
```
### 布尔常量
布尔常量共有两个，它们都是标准的 C++ 关键字：
- **true** 值代表真。
- **false** 值代表假。
我们不应把 true 的值看成 1，把 false 的值看成 0。
### 字符常量
字符常量是括在单引号中。如果常量以 L（仅当大写时）开头，则表示它是一个宽字符常量（例如 L'x'），此时它必须存储在 **wchar_t** 类型的变量中。否则，它就是一个窄字符常量（例如 'x'），此时它可以存储在 **char** 类型的简单变量中。
字符常量可以是一个普通的字符（例如 'x'）、一个转义序列（例如 '\t'），或一个通用的字符（例如 '\u02C0'）。
在 C++ 中，有一些特定的字符，当它们前面有反斜杠时，它们就具有特殊的含义，被用来表示如换行符（\n）或制表符（\t）等。下表列出了一些这样的转义序列码：
| 转义序列 | 含义 |
| ---------- | -------------------------- |
| \ | \ 字符 |
| ' | ' 字符 |
| " | " 字符 |
| ? | ? 字符 |
| \a | 警报铃声 |
| \b | 退格键 |
| \f | 换页符 |
| \n | 换行符 |
| \r | 回车 |
| \t | 水平制表符 |
| \v | 垂直制表符 |
| \ooo | 一到三位的八进制数 |
| \xhh . . . | 一个或多个数字的十六进制数 |
### 字符串常量
字符串字面值或常量是括在双引号 "" 中的。一个字符串包含类似于字符常量的字符：普通的字符、转义序列和通用的字符。
您可以使用空格做分隔符，把一个很长的字符串常量进行分行。
下面的实例显示了一些字符串常量。下面这三种形式所显示的字符串是相同的。
```cpp
"quot;hello, dear"
"hello, \dear"
"hello, " "d" "ear"
```
### 定义常量
在 C++ 中，有两种简单的定义常量的方式：
- 使用 **#define** 预处理器。
- 使用 **const** 关键字。
### #define 预处理器
使用 #define 预处理器定义常量的形式：
```cpp
#define identifier value
```
实例：
```cpp
#include <iostream>
using namespace std;
#define LENGTH 10
#define WIDTH 5
#define NEWLINE '\n'
int main()
{
int area;
area = LENGTH * WIDTH;
cout << area;
cout << NEWLINE;
return 0;
}
// 输出 50
```
### const 关键字
可以使用 **const** 前缀声明指定类型的常量，如下所示：
```cpp
const type variable = value;
```
具体请看下面的实例：
```cpp
#include <iostream>
using namespace std;
int main()
{
const int LENGTH = 10;
const int WIDTH = 5;
const char NEWLINE = '\n';
int area;
area = LENGTH * WIDTH;
cout << area;
cout << NEWLINE;
return 0;
}
// 输出 50
```
*请注意，把常量定义为大写字母形式，是一个很好的编程实践。*
## 修饰符类型
C++ 允许在 **char、int 和 double** 数据类型前放置修饰符。修饰符用于改变基本类型的含义，所以它更能满足各种情境的需求。
下面列出了数据类型修饰符：
- signed
- unsigned
- long
- short
修饰符 **signed、unsigned、long 和 short** 可应用于整型，**signed** 和 **unsigned** 可应用于字符型，**long** 可应用于双精度型。
修饰符 **signed** 和 **unsigned** 也可以作为 **long** 或 **short** 修饰符的前缀。例如：**unsigned long int**。
C++ 允许使用速记符号来声明**无符号短整数**或**无符号长整数**。您可以不写 int，只写单词 **unsigned、short** 或 **unsigned、long**，int 是隐含的。例如，下面的两个语句都声明了无符号整型变量。
```cpp
unsigned x;
unsigned int y;
```
代码示例
```cpp
#include <iostream>
using namespace std;
/*
* 这个程序演示了有符号整数和无符号整数之间的差别
*/
int main()
{
short int i; // 有符号短整数
short unsigned int j; // 无符号短整数
j = 50000;
i = j;
cout << i << " " << j;
return 0;
}
// 输出 -15536 50000
```
### 类型限定符
类型限定符提供了变量的额外信息。
| 限定符 | 含义 |
| -------- | ------------------------------------------------------------ |
| const | **const** 类型的对象在程序执行期间不能被修改改变。 |
| volatile | 修饰符 **volatile** 告诉编译器，变量的值可能以程序未明确指定的方式被改变。 |
| restrict | 由 **restrict** 修饰的指针是唯一一种访问它所指向的对象的方式。只有 C99 增加了新的类型限定符 restrict。 |
## 存储类
存储类定义 C++ 程序中变量/函数的范围（可见性）和生命周期。这些说明符放置在它们所修饰的类型之前。下面列出 C++ 程序中可用的存储类：
- auto
- register
- static
- extern
- mutable
- thread_local (C++11)
从 C++ 11 开始，auto 关键字不再是 C++ 存储类说明符，且 register 关键字被弃用。
### auto 存储类
自 C++ 11 以来，**auto** 关键字用于两种情况：声明变量时根据初始化表达式自动推断该变量的类型、声明函数时函数返回值的占位符。
C++98标准中auto关键字用于自动变量的声明，但由于使用极少且多余，在 C++17 中已删除这一用法。
根据初始化表达式自动推断被声明的变量的类型，如：
```cpp
auto f=3.14; //double
auto s("hello"); //const char*
auto z = new auto(9); // int*
auto x1 = 5, x2 = 5.0, x3='r';//错误，必须是初始化为同一类型
```
### register 存储类
**register** 存储类用于定义存储在寄存器中而不是 RAM 中的局部变量。这意味着变量的最大尺寸等于寄存器的大小（通常是一个词），且不能对它应用一元的 '&' 运算符（因为它没有内存位置）。
```cpp
{
register int miles;
}
```
寄存器只用于需要快速访问的变量，比如计数器。还应注意的是，定义 'register' 并不意味着变量将被存储在寄存器中，它意味着变量可能存储在寄存器中，这取决于硬件和实现的限制。
### static 存储类
**static** 存储类指示编译器在程序的生命周期内保持局部变量的存在，而不需要在每次它进入和离开作用域时进行创建和销毁。因此，使用 static 修饰局部变量可以在函数调用之间保持局部变量的值。
static 修饰符也可以应用于全局变量。当 static 修饰全局变量时，会使变量的作用域限制在声明它的文件内。
在 C++ 中，当 static 用在类数据成员上时，会导致仅有一个该成员的副本被类的所有对象共享。
```cpp
#include <iostream>
// 函数声明
void func(void);
static int count = 10; /* 全局变量 */
int main()
{
while(count--)
{
func();
}
return 0;
}
// 函数定义
void func( void )
{
static int i = 5; // 局部静态变量
i++;
std::cout << "变量 i 为 " << i ;
std::cout << " , 变量 count 为 " << count << std::endl;
}
/* 输出
变量 i 为 6 , 变量 count 为 9
变量 i 为 7 , 变量 count 为 8
变量 i 为 8 , 变量 count 为 7
变量 i 为 9 , 变量 count 为 6
变量 i 为 10 , 变量 count 为 5
变量 i 为 11 , 变量 count 为 4
变量 i 为 12 , 变量 count 为 3
变量 i 为 13 , 变量 count 为 2
变量 i 为 14 , 变量 count 为 1
变量 i 为 15 , 变量 count 为 0
*/
```
### extern 存储类
**extern** 存储类用于提供一个全局变量的引用，全局变量对所有的程序文件都是可见的。当您使用 'extern' 时，对于无法初始化的变量，会把变量名指向一个之前定义过的存储位置。
当您有多个文件且定义了一个可以在其他文件中使用的全局变量或函数时，可以在其他文件中使用 *extern* 来得到已定义的变量或函数的引用。可以这么理解，*extern* 是用来在另一个文件中声明一个全局变量或函数。
extern 修饰符通常用于当有两个或多个文件共享相同的全局变量或函数的时候，如下所示：
```cpp
// main.cpp
#include <iostream>
int count ;
extern void write_extern();
int main()
{
count = 5;
write_extern();
}
// support.cpp
#include <iostream>
extern int count;
void write_extern(void)
{
std::cout << "Count is " << count << std::endl;
}
// shell
$ g++ main.cpp support.cpp -o write
$ ./write
Count is 5
```
### mutable 存储类
**mutable** 说明符仅适用于类的对象，这将在本教程的最后进行讲解。它允许对象的成员替代常量。也就是说，mutable 成员可以通过 const 成员函数修改。
### thread_local 存储类
使用 thread_local 说明符声明的变量仅可在它在其上创建的线程上访问。 变量在创建线程时创建，并在销毁线程时销毁。 每个线程都有其自己的变量副本。
thread_local 说明符可以与 static 或 extern 合并。
可以将 thread_local 仅应用于数据声明和定义，thread_local 不能用于函数声明或定义。
以下演示了可以被声明为 thread_local 的变量：
```cpp
hread_local int x; // 命名空间下的全局变量
class X
{
static thread_local std::string s; // 类的static成员变量
};
static thread_local std::string X::s; // X::s 是需要定义的
void foo()
{
thread_local std::vector<int> v; // 本地变量
}
```
## 运算符
运算符是一种告诉编译器执行特定的数学或逻辑操作的符号。C++ 内置了丰富的运算符，并提供了以下类型的运算符：
- 算术运算符
- 关系运算符
- 逻辑运算符
- 位运算符
- 赋值运算符
- 杂项运算符
### 算术运算符
| 运算符 | 描述 | 实例 |
| ------ | ------------------------------------------------------------ | ---------------- |
| + | 把两个操作数相加 | A + B 将得到 30 |
| - | 从第一个操作数中减去第二个操作数 | A - B 将得到 -10 |
| * | 把两个操作数相乘 | A * B 将得到 200 |
| / | 分子除以分母 | B / A 将得到 2 |
| % | 取模运算符，整除后的余数 | B % A 将得到 0 |
| ++ | [自增运算符](https://edu.aliyun.com/cplusplus/cpp-increment-decrement-operators.html)，整数值增加 1 | A++ 将得到 11 |
| -- | [自减运算符](https://edu.aliyun.com/cplusplus/cpp-increment-decrement-operators.html)，整数值减少 1 | A-- 将得到 9 |
### 关系运算符
| 运算符 | 描述 | 实例 |
| ------ | ------------------------------------------------------------ | ----------------- |
| == | 检查两个操作数的值是否相等，如果相等则条件为真。 | (A == B) 不为真。 |
| != | 检查两个操作数的值是否相等，如果不相等则条件为真。 | (A != B) 为真。 |
| > | 检查左操作数的值是否大于右操作数的值，如果是则条件为真。 | (A > B) 不为真。 |
| < | 检查左操作数的值是否小于右操作数的值，如果是则条件为真。 | (A < B) 为真。 |
| >= | 检查左操作数的值是否大于或等于右操作数的值，如果是则条件为真。 | (A >= B) 不为真。 |
| <= | 检查左操作数的值是否小于或等于右操作数的值，如果是则条件为真。 | (A <= B) 为真。 |
### 逻辑运算符
| 运算符 | 描述 | 实例 |
| ------ | ------------------------------------------------------------ | ----------------- |
| && | 称为逻辑与运算符。如果两个操作数都非零，则条件为真。 | (A && B) 为假。 |
| \|\| | 称为逻辑或运算符。如果两个操作数中有任意一个非零，则条件为真。 | (A \|\| B) 为真。 |
| ! | 称为逻辑非运算符。用来逆转操作数的逻辑状态。如果条件为真则逻辑非运算符将使其为假。 | !(A && B) 为真。 |
### 位运算符
| 运算符 | 描述 | 实例 |
| ------ | ------------------------------------------------------------ | ------------------------------------------------------------ |
| & | 如果同时存在于两个操作数中，二进制 AND 运算符复制一位到结果中。 | (A & B) 将得到 12，即为 0000 1100 |
| \| | 如果存在于任一操作数中，二进制 OR 运算符复制一位到结果中。 | (A \| B) 将得到 61，即为 0011 1101 |
| ^ | 如果存在于其中一个操作数中但不同时存在于两个操作数中，二进制异或运算符复制一位到结果中。 | (A ^ B) 将得到 49，即为 0011 0001 |
| ~ | 二进制补码运算符是一元运算符，具有"翻转"位效果，即0变成1，1变成0。 | (~A ) 将得到 -61，即为 1100 0011，一个有符号二进制数的补码形式。 |
| << | 二进制左移运算符。左操作数的值向左移动右操作数指定的位数。 | A << 2 将得到 240，即为 1111 0000 |
| >> | 二进制右移运算符。左操作数的值向右移动右操作数指定的位数。 | A >> 2 将得到 15，即为 0000 1111 |
### 赋值运算符
| 运算符 | 描述 | 实例 |
| ------ | ------------------------------------------------------------ | ------------------------------- |
| = | 简单的赋值运算符，把右边操作数的值赋给左边操作数 | C = A + B 将把 A + B 的值赋给 C |
| += | 加且赋值运算符，把右边操作数加上左边操作数的结果赋值给左边操作数 | C += A 相当于 C = C + A |
| -= | 减且赋值运算符，把左边操作数减去右边操作数的结果赋值给左边操作数 | C -= A 相当于 C = C - A |
| *= | 乘且赋值运算符，把右边操作数乘以左边操作数的结果赋值给左边操作数 | C *= A 相当于 C = C * A |
| /= | 除且赋值运算符，把左边操作数除以右边操作数的结果赋值给左边操作数 | C /= A 相当于 C = C / A |
| %= | 求模且赋值运算符，求两个操作数的模赋值给左边操作数 | C %= A 相当于 C = C % A |
| <<= | 左移且赋值运算符 | C <<= 2 等同于 C = C << 2 |
| >>= | 右移且赋值运算符 | C >>= 2 等同于 C = C >> 2 |
| &= | 按位与且赋值运算符 | C &= 2 等同于 C = C & 2 |
| ^= | 按位异或且赋值运算符 | C ^= 2 等同于 C = C ^ 2 |
| \|= | 按位或且赋值运算符 | C \|= 2 等同于 C = C \| 2 |
### 杂项运算符
| 运算符 | 描述 |
| -------------------- | ------------------------------------------------------------ |
| sizeof | sizeof 运算符返回变量的大小。例如，sizeof(a) 将返回 4，其中 a 是整数。 |
| Condition ? X : Y | 条件运算符。如果 Condition 为真 ? 则值为 X : 否则值为 Y。 |
| , | 逗号运算符会顺序执行一系列运算。整个逗号表达式的值是以逗号分隔的列表中的最后一个表达式的值。 |
| .（点）和 ->（箭头） | 成员运算符用于引用类、结构和共用体的成员。 |
| Cast | 强制转换运算符把一种数据类型转换为另一种数据类型。例如，int(2.2000) 将返回 2。 |
| & | 指针运算符 & 返回变量的地址。例如 &a; 将给出变量的实际地址。 |
| * | 指针运算符\*指向一个变量。例如，*var; 将指向变量 var。 |
### 运算符优先级
| 类别 | 运算符 | 结合性 |
| ---------- | --------------------------------- | -------- |
| 后缀 | () [] -> . ++ - - | 从左到右 |
| 一元 | + - ! ~ ++ - - (type)* & sizeof | 从右到左 |
| 乘除 | * / % | 从左到右 |
| 加减 | + - | 从左到右 |
| 移位 | << >> | 从左到右 |
| 关系 | < <= > >= | 从左到右 |
| 相等 | == != | 从左到右 |
| 位与 AND | & | 从左到右 |
| 位异或 XOR | ^ | 从左到右 |
| 位或 OR | \| | 从左到右 |
| 逻辑与 AND | && | 从左到右 |
| 逻辑或 OR | \|\| | 从左到右 |
| 条件 | ?: | 从右到左 |
| 赋值 | = += -= *= /= %=>>= <<= &= ^= \|= | 从右到左 |
| 逗号 | , | 从左到右 |

84
docs/开发/Java/概述.md
View File

@ -1,84 +0,0 @@
---
id: 概述
title: 概述
sidebar_position: 1
data: 2022年4月25日
---
## Java 是什么
Java 是世界上使用最广泛的编程语言之一。
Java 最初由 Sun Microsystems 在 1990 年代开发，用于开发从 Web 应用程序到移动应用程序，再到批处理应用程序的所有内容。Java 最初是一种纯粹的面向对象的语言，但现在已经发展成为一种多范例语言，可以高度适应任何情况。拥有庞大的开发人员社区和支持库，Java 是开发几乎所有类型的应用程序的理想选择。
Java 是最初由开发 James Gosling (詹姆斯·高斯林，他被称为 Java 编程语言之父)在 Sun Microsystems 公司（现已被 Oracle 收购），并于1995年发布了作为 Sun 公司的一个核心组成部分 Java 平台。
James Gosling (詹姆斯·高斯林)，Mike Sheridan (迈克·谢里丹)和 Patrick Naughton (帕特里克·诺顿)于 1991 年 6月启动了 Java 语言项目。Java 最初是为交互式电视设计的，但在当时的数字有线电视行业来说太先进了。该语言最初是在 James Gosling (詹姆斯·高斯林)办公室外的一棵橡树之后被称为 Oak 的。
后来，该项目以 *Green* 命名，并最终从 Java coffee (印度尼西亚的一种咖啡)重命名为 *Java*。
### Java SE
**Java SE（Java Platform Standard Edition，Java 平台标准版）**以前称为 J2SE，它允许开发和部署在桌面、服务器、嵌入式环境和实时环境中使用的 Java 应用程序。Java SE 包含了支持 Java Web 服务开发的类，并为 Java EE 提供基础，如 Java 语言基础、JDBC 操作、I/O 操作、网络通信以及多线程等技术。
### Java EE
**Java EE（Java Platform Enterprise Edition，Java 平台企业版）**以前称为 J2EE。企业版本帮助开发和部署可移植、健壮、可伸缩且安全的服务器端 Java 应用程序。Java EE 是在 Java SE 基础上构建的，它提供 Web 服务、组件模型、管理和通信 API，可以用来实现企业级的面向服务体系结构（Service Oriented Architecture，SOA）和 Web 2.0 应用程序。
### Java ME
**Java ME（Java Platform Micro Edition，Java 平台微型版）**以前称为 J2ME，也叫 K-JAVA。 Java ME 为在移动设备和嵌入式设备（比如手机、PDA、电视机顶盒和打印机）上运行的应用程序提供一个健壮且灵活的环境。
Java ME 包括灵活的用户界面、健壮的安全模型、丰富的内置网络协议以及对可以动态下载的联网和离线应用程序。基于 Java ME 规范的应用程序 只需编写一次就可以用于许多设备，而且可以利用每个设备的本机功能。
## Java 的特点
### 简单
Java 语言的风格很像 C 语言和 C++ 语言，是一种纯粹的面向对象语言，它继承了 C++ 语言面向对象的技术核心，但是拋弃了 C++ 的一些缺点，比如说容易引起错误的指针以及多继承等，同时也增加了垃圾回收机制，释放掉不被使用的内存空间，解决了管理内存空间的烦恼。
### 面对对象
Java 是一种面向对象的语言，它对对象中的类、对象、继承、封装、多态、接口、包等均有很好的支持。为了简单起见，Java 只支持类之间的单继承，但是可以使用接口来实现多继承。使用 Java 语言开发程序，需要采用面向对象的思想设计程序和编写代码。
### 平台独立性
平台独立性的具体表现在于，Java 是“**一次编写，到处运行（Write Once，Run any Where）**”的语言，因此采用 Java 语言编写的程序具有很好的可移植性，而保证这一点的正是 Java 的虚拟机机制。在引入虚拟机之后，Java 语言在不同的平台上运行不需要重新编译。
### 可移植性
Java 基本数据类型的数据大小都做了统一的规定，没有“与具体实现相关”的概念。所以 .jar 文件能够同时在 Windows、Mac OS、Linux 系统下运行，不需要再次编译。
### 多线程
Java 语言是容易实现多线程的，这也是 Java 语言的一大特性，它必须由 Thread 类和它的子类来创建。Java 支持多个线程同时执行，并提供多线程之间的同步机制。任何一个线程都有自己的 run() 方法，要执行的方法就写在 run() 方法体内。实现多线程的方式主要有下面这几种：
- 用户空间中实现多线程
- 内核空间中实现多线程
- 用户和内核空间中混合实现线程
### 高性能
编写的代码，经过 javac 编译器编译为字节码（bytecode），经过 JVM 内嵌的解释器将字节码转为机器码，这是解释执行，这种效率相对较低。但部分 JVM 的实现比如 Hotspot JVM 都提供了 **JIT（Just in Time）动态编译器**，JIT 能够在运行时将热点代码编译机器码。随着 JIT（Just in Time）的发展，Java 的运行速度也越来越高。
### 健壮性
Java 的强类型机制、异常处理、垃圾回收机制等都是 Java 健壮性的重要保证。对指针的丢弃是 Java 的一大进步。另外，Java 的异常机制也是健壮性的一大体现。
### 分布式
Java 语言支持 Internet 应用的开发，在 Java 的基本应用编程接口中就有一个网络应用编程接口，它提供了网络应用编程的类库，包括 URL、URLConnection、Socket 等。Java 的 RIM 机制也是开发分布式应用的重要手段。
### 安全性
Java 通常被用在网络环境中，为此，Java 提供了一个安全机制以防恶意代码的攻击。除了 Java 语言具有的许多安全特性以外，Java 对通过网络下载的类具有一个安全防范机制（类 ClassLoader），如分配不同的名字空间以防替代本地的同名类、字节代码检查，并提供安全管理机制（类 SecurityManager）让 Java 应用设置安全哨兵。
## Java 的开发环境
### JDK
JDK（Java Development Kit）称为 Java 开发包或 Java 开发工具，是一个编写 Java 的 Applet 小程序和应用程序的程序开发环境。JDK 是整个 java 的核心，包括了 Java 运行环境（Java Runtime Environment），一些 Java 工具和 Java 的核心类库（Java API）。
### JRE
JRE（Java Runtime Environment）是个运行环境，运行 Java 程序的时候就需要 JRE。JDK 里面包含 JRE，因此只要安装了 JDK 就可以编辑、运行 Java 程序。如果只是运行普通的 java 程序无须安装 JDK，只需要安装 JRE 即可。