在 Python 中，`def fun(var: str = "str")` 这样的语法被称为类型注解¹²³。类型注解的主要作用是为变量或函数参数提供预期的类型信息¹²³。这可以帮助开发者理解函数应该如何使用，同时也可以帮助 IDE 和一些工具（如 `mypy`）进行类型检查，从而在代码编写阶段就发现潜在的错误¹²³。

然而，你需要注意的是，Python 的类型注解并不会在运行时强制检查类型¹²³。也就是说，即使你给 `var` 参数注解为 `str` 类型，你仍然可以传入任何类型的值给 `var`，Python 在运行时并不会因此抛出错误¹²³。希望这个信息对你有所帮助！

源: 与必应的对话， 2023/12/9

(1) Python类型注解，你需要知道的都在这里了 - 知乎. https://zhuanlan.zhihu.com/p/419955374.

(2) Python作为一个动态类型语言，为何要加入类型标注？ - 知乎. https://www.zhihu.com/question/438934312.

(3) python学习笔记----变量的类型注解（自用） - 知乎. https://zhuanlan.zhihu.com/p/647905435.

(4) typing —— 对类型提示的支持 — Python 3.12.0 文档. https://docs.python.org/zh-cn/3/library/typing.html.