Python空括号()、[]、{}默认创建什么数据类型？

一、终端快速验证：三对括号的实际类型

我们可以在 Python 交互式命令行（REPL）中直接调用内置函数 type()，依次查看三种空括号字面量生成的对象类型。这是最直接、也是最具说服力的验证方式：

# 启动 python 终端执行以下交互命令
>>> type(())
<class 'tuple'>

>>> type([])
<class 'list'>

>>> type({})
<class 'dict'>

测试结果非常直观：() 返回 tuple，[] 返回 list，{} 返回 dict。 很多初学者在刚学习 Python 时容易产生一种朴素的对称性预期：既然 {1, 2, 3} 是集合（set），而 {'a': 1, 'b': 2} 是字典（dict），它们有内容时都共享花括号，那么空花括号 {} 为什么没有各占一半，或者为什么不能代表空集合？

要理解这种“不对称设计”，需要从 Python 的语法解析机制以及语言的历史演进谈起。

二、为什么 {} 默认是字典而不是集合？

在数学符号体系中，花括号 $\{ \}$ 常用于表示集合（Set）。然而在 Python 中，{} 却毫不犹豫地交给了字典（dict）。这种语法选择并不是开发团队的疏忽，而是由历史演进顺序和语言核心基础设施的依赖程度双重决定的。

1. 历史沿革：字典是元老，集合是后起之秀

Python 从 1991 年发布最初的 0.9.0 版本开始，字典（Dictionary）就已经是语言中最基础的内置数据结构之一。从一开始，花括号 {} 就被用来声明字典，例如 {'name': 'Alice'} 和空字典 {}。

相比之下，集合（set）出现的时间要晚得多：

• 在 Python 2.3 之前，标准库中根本没有集合类型；
• Python 2.3 首先通过标准库模块 sets.Set 试验性地引入集合概念；
• Python 2.4 正式将 set 和 frozenset 提升为内置类型，但当时依然只能通过 set([1, 2, 3]) 这种显式函数调用来构建；
• 直到 Python 2.7 和 Python 3.0，PEP 3143（Set Literals）才正式为集合引入了带元素的字面量语法，例如 {1, 2, 3}。

当集合字面量在 2008 年前后正式进入语法规范时，{} 表示空字典的写法已经在全世界数以百万计的现有代码库中平稳运行了将近二十年。如果将 {} 更改为空集合，或者赋予其二义性，将引发毁灭性的代码后向兼容破坏。

2. 基础设施依赖：字典是 Python 解释器的“基石”

在 Python 内部实现中，字典不仅是一种常见的数据结构，更是整个运行时的核心基石：

• 模块的作用域全局变量（globals()）底层是一个字典；
• 函数调用中的局部符号表与动态参数（**kwargs）使用字典传递；
• 所有类、实例的属性空间（__dict__）都是字典。

字典的使用频次远远高于集合。在必须做出排他性二选一的语法裁决时，将简洁无歧义的空字面量 {} 分配给最高频、最根本的字典，是极其合理且符合工程效益的决定。

三、括号语法中的常见“陷阱”与辨析

1. 单元素元组的逗号陷阱：(1) 不是元组

既然空圆括号 () 是元组，许多人自然认为 (1) 就是包含一个数字 1 的元组。但事实并非如此：

>>> a = ()
>>> type(a)
<class 'tuple'>   # 空括号创建元组

>>> b = (1)
>>> type(b)
<class 'int'>     # 注意：这里的括号被视作数学算术优先级符号！

>>> c = (1,)
>>> type(c)
<class 'tuple'>   # 必须追加逗号，才是单元素元组

在 Python 的语法设计中，圆括号 () 同时承载了函数调用、算术表达式优先级和元组语法三重职责。 真正赋予多个对象“元组”属性的其实是逗号（,），而不是外层的圆括号。只有在表达“空元组”这种无法书写逗号的特殊场景时，空圆括号 () 才作为特例字面量存在。

2. 误用 {} 当作空集合导致的属性报错

在开发数据清洗、唯一性过滤逻辑时，常见的初学者 Bug 是用 s = {} 初始化集合，随后试图调用集合专有的 add() 方法：

# 典型错误示例
items = ['apple', 'banana', 'apple']
seen = {}  # 错误意图：想建一个空集合排重

for item in items:
    seen.add(item)  # 抛出 AttributeError: 'dict' object has no attribute 'add'

由于 seen 实际是一个字典（dict），字典没有 add() 方法（字典添加键值用赋值或 setdefault()），程序直接崩溃。正确的写法必须是：

seen = set()  # 正确创建空集合的标准做法
seen.add('apple')

四、字面量括号 vs 构造函数：底层字节码与执行效率

在 Python 中，不仅可以使用括号字面量 ()、[]、{}，还可以调用对应的内建类型构造函数 tuple()、list()、dict()、set()。 这两者在表面上都能生成空容器，但底层的执行机制存在本质差别。

我们可以通过标准库 dis 模块反编译对应的 Python 代码，观察 CPython 虚拟机执行的字节码：

import dis

# 对比列表创建
dis.dis("[]")
# 输出:
#   1           0 BUILD_LIST               0
#               2 RETURN_VALUE

dis.dis("list()")
# 输出:
#   1           0 PUSH_NULL
#               2 LOAD_NAME                0 (list)
#               4 CALL                     0
#               6 RETURN_VALUE

从反汇编结果可以清晰地看到：

• 字面量写法 []、{}、()：直接对应虚拟机底层专有指令 BUILD_LIST 0、BUILD_MAP 0、BUILD_TUPLE 0。解释器在 C 语言层面瞬间完成容器内存分配，没有任何额外的命名查找或函数调用开销。
• 构造函数写法 list()、dict()、tuple()：必须先通过 LOAD_NAME 在局部或全局符号表（以及 __builtins__）中查找名称，确认没有被开发者自定义变量覆盖后，再通过 CALL 指令压栈执行函数调用。

因此，在不需要类型转换的常规代码中，应始终优先使用字面量 []、{}、()。而对于集合，因为没有空字面量，调用 set() 则是不可避免的标准途径。

五、总结与四种核心容器速查表

综合以上分析，Python 在括号与容器语法的安排上，虽然因为数学习惯可能让初学者稍有迟疑，但其背后的逻辑高度自洽。 为了方便日常编码与技术选型，下表对 Python 的四种基础内置容器进行了全面横向对比：

在记忆这些规则时，只需牢记一条最核心的经验法则：空圆括号得元组，空方括号得列表，空花括号独占给字典；一旦需要空集合，务必呼叫 set()。