Python 的“八大类型”并非官方术语，而是社区对**内置核心数据类型**的归纳总结，指代 Python 中最基础、最常用、语义明确且具有显著行为差异的八类对象。根据多份权威参考资料 [ref_1][ref_5][ref_6]，这八大类型统一为： > `int` / `float` / `complex`（统称 **Number**）、`str`、`list`、`tuple`、`dict`、`set`、`bool`、`NoneType` 其中 `bool` 是 `int` 的子类，`NoneType` 仅含唯一实例 `None`；而 `Number` 类型在实际教学与工程中常被整体视为一类。下文严格依据 Python 3.12+ 语义，结合语法特性、内存模型、可变性、哈希性、典型操作及应用场景，**逐类结构化详解**，并以表格对比收束。 --- ### 🔢 1. 数字类型（`Number`）：`int`、`float`、`complex` - **语法字面量**：`42`（`int`）、`3.14`（`float`）、`2+3j`（`complex`） - **核心特性**： - ✅ **不可变**：所有运算返回新对象（`a = 5; b = a + 1` → `a` 不变） - ✅ **可哈希**：可用于 `dict` 键或 `set` 元素 - ✅ 支持算术运算符 `+`, `-`, `*`, `/`, `//`, `%`, `**`, 位运算（仅 `int`） - **关键函数/方法**： ```python # 类型转换与精度控制 int("123") # → 123 float(42) # → 42.0 round(3.14159, 2) # → 3.14 abs(-5) # → 5 bin(255) # → '0b11111111' （仅 int） ``` --- ### 📜 2. 字符串（`str`） - **语法字面量**：`"hello"`、`'world'`、`"""multi-line"""`、`r"raw\path"` - **核心特性**： - ✅ **不可变**：`s = "abc"; s[0] = "x"` → `TypeError` - ✅ **可哈希**：`{"key": "value"}` 合法 - ✅ 支持索引、切片、拼接、格式化 - **高频操作函数**（全部返回新字符串）： ```python s = " PyThOn " s.strip() # → "PyThOn" s.lower() # → " python " s.replace("P", "p") # → " pyThOn " s.split() # → ["PyThOn"] （默认按空白分割） " | ".join(["a","b"]) # → "a | b" f"Hello {s.strip()}!" # f-string 格式化（Python 3.6+） ``` --- ### 📋 3. 列表（`list`） - **语法字面量**：`[1, "a", True]`、`[]` - **核心特性**： - ❌ **可变**：支持增删改（`append`, `pop`, `insert`, `sort`） - ❌ **不可哈希**：不能作为 `dict` 键或 `set` 元素 - ✅ **有序、可重复、索引访问** - **核心方法**（就地修改，无返回值或返回 `None`）： ```python lst = [1, 2] lst.append(3) # → [1, 2, 3] lst.extend([4,5]) # → [1, 2, 3, 4, 5] lst.pop() # → 5, lst=[1,2,3,4] lst.sort(reverse=True) # → [4,3,2,1] ``` --- ### 📦 4. 元组（`tuple`） - **语法字面量**：`(1, "a")`、`("single",)`（单元素必须加逗号）、`()` - **核心特性**： - ✅ **不可变**：内容与长度均不可变（但若含可变对象，其内部可变） - ✅ **可哈希**：`{(1,2): "pair"}` 合法 → **唯一能作字典键的序列类型** - ✅ 支持解包：`a, b = (1, 2)` → `a=1, b=2` - **典型用途**：函数多返回值、字典键、命名元组基础。 ```python def get_name_age(): return "Alice", 30 name, age = get_name_age() # 自动解包为 tuple ``` --- ### 📚 5. 字典（`dict`） - **语法字面量**：`{"name": "Alice", "age": 30}`、`{}` - **核心特性**： - ✅ **可变**：支持动态增删键值对 - ✅ **无序（Python 3.7+ 保证插入顺序）** - ✅ **键必须可哈希，值任意** - **核心操作**： ```python d = {"a": 1} d["b"] = 2 # 增/改 d.get("c", 0) # 安全取值（缺省返回 0） list(d.keys()) # → ["a", "b"] d.items() # → dict_items([('a', 1), ('b', 2)]) {k: v*2 for k,v in d.items()} # 字典推导式 ``` --- ### 🧩 6. 集合（`set`） - **语法字面量**：`{1, 2, 3}`、`set()`（空集合不能用 `{}`，那是 dict！） - **核心特性**： - ✅ **可变、无序、不重复、不可索引** - ✅ **可哈希？否！但其元素必须可哈希** - ✅ 天然支持集合运算 - **核心方法**： ```python s1 = {1, 2}; s2 = {2, 3} s1 | s2 # 并集 → {1,2,3} s1 & s2 # 交集 → {2} s1 - s2 # 差集 → {1} s1.add(4) # → {1,2,4} ``` --- ### 🔍 7. 布尔类型（`bool`） - **语法字面量**：`True`、`False`（首字母大写！） - **本质**：`int` 子类，`True == 1`, `False == 0` - **真值测试规则**（`if x:` 判断依据）： - Falsy：`None`, `False`, `0`, `0.0`, `0j`, `""`, `[]`, `{}`, `set()`, `range(0)` - 其余均为 Truthy --- ### ⚪ 8. 空类型（`NoneType`） - **唯一实例**：`None` - **语义**：显式表示“无值”、“未定义”、“函数无返回值时的默认返回” - **关键事实**： - ✅ 单例对象（所有 `None` 指向同一内存地址） - ✅ 可用于类型提示：`def func() -> None: ...` - ✅ 在比较中应使用 `is None`（而非 `== None`） --- ### 📊 八大类型核心属性对比表 | 类型 | 可变性 | 可哈希 | 有序 | 允许重复 | 典型用途 | |------|--------|--------|------|-----------|------------| | `int` / `float` / `complex` | ✅ 不可变 | ✅ | — | — | 数值计算、计数、标识 | | `str` | ✅ 不可变 | ✅ | ✅ | ✅ | 文本处理、标识符、路径 | | `list` | ❌ 可变 | ❌ | ✅ | ✅ | 动态序列、栈/队列、中间数据容器 | | `tuple` | ✅ 不可变 | ✅ | ✅ | ✅ | 函数返回值、字典键、配置元组 | | `dict` | ❌ 可变 | ❌ | ✅（3.7+） | ❌（键唯一） | 键值映射、缓存、配置表 | | `set` | ❌ 可变 | ❌ | ❌ | ❌ | 去重、成员检测、集合运算 | | `bool` | ✅ 不可变 | ✅ | — | — | 条件判断、状态标志 | | `NoneType` | ✅ 不可变 | ✅ | — | — | 空值占位、函数无返回值 | > 所有类型均继承自 `object`，可通过 `isinstance(x, type)` 或 `type(x) is type` 进行精确判断 [ref_5]。可变性直接决定是否支持 `id()` 相同性追踪；可哈希性是能否进入哈希容器（`dict`, `set`）的硬性门槛 [ref_6]。 --- ✅ **延伸实践建议**： - 使用 `collections.namedtuple` 替代简单 `tuple` 提升可读性； - 用 `frozenset` 替代 `set` 获得不可变哈希集合； - 对大型数值计算，优先用 `numpy.ndarray` 替代嵌套 `list`； - `dict` 和 `set` 底层基于哈希表，平均时间复杂度 O(1)，是 Python 高效的核心基石 [ref_1]。