用于Python 3 的简单结果类型受Rust启发,完全类型注释。
最新版本:
$ pip install result
最新GitHub main分支版本:
$ pip install git+https://github.com/rustedpy/result
这个想法是,结果值可以是Ok(value)或Err(error),有一种方法来区分这两者。Ok和Err都是封装任意值的类。Result[T, E]是一个泛型类型别名,表示typing.Union[Ok[T], Err[E]]。它将改变以下代码:
def get_user_by_email(email: str) -> Tuple[Optional[User], Optional[str]]: """ 返回用户实例或错误消息。 """ if not user_exists(email): return None, 'User does not exist' if not user_active(email): return None, 'User is inactive' user = get_user(email) return user, None user, reason = get_user_by_email('ueli@example.com') if user is None: raise RuntimeError('Could not fetch user: %s' % reason) else: do_something(user)
变为这样:
from result import Ok, Err, Result, is_ok, is_err def get_user_by_email(email: str) -> Result[User, str]: """ 返回用户实例或错误消息。 """ if not user_exists(email): return Err('User does not exist') if not user_active(email): return Err('User is inactive') user = get_user(email) return Ok(user) user_result = get_user_by_email(email) if is_ok(user_result): # type(user_result.ok_value) == User do_something(user_result.ok_value) else: # type(user_result.err_value) == str raise RuntimeError('Could not fetch user: %s' % user_result.err_value)
请注意,.ok_value只存在于Ok的实例上,.err_value只存在于Err的实例上。
如果您使用的是Python版本3.10或更高版本,您还可以使用优雅的match语句:
from result import Result, Ok, Err def divide(a: int, b: int) -> Result[int, str]: if b == 0: return Err("Cannot divide by zero") return Ok(a // b) values = [(10, 0), (10, 5)] for a, b in values: match divide(a, b): case Ok(value): print(f"{a} // {b} == {value}") case Err(e): print(e)
并非所有方法(https://doc.rust-lang.org/std/result/enum.Result.html)都已实现,只实现了在Python上下文中有意义的方法。所有这些都在一个包中,使得更容易处理可能为"确定"或"不确定"的值,而无需求助于自定义异常。
自动生成的API文档也可在./docs/README.md中找到。
创建实例:
>>> from result import Ok, Err >>> res1 = Ok('yay') >>> res2 = Err('nay')
检查结果是否为Ok或Err:
if is_err(result): raise RuntimeError(result.err_value) do_something(result.ok_value)
或者
if is_ok(result): do_something(result.ok_value) else: raise RuntimeError(result.err_value)
另外,也可以使用isinstance(与类型守卫函数is_ok和is_err可互换使用)。但是,依赖于isinstance可能会导致代码稍微不太可读和不太简洁:
if isinstance(result, Err): raise RuntimeError(result.err_value) do_something(result.ok_value)
您还可以使用OkErr类型检查对象是否为Ok或Err。请注意,此类型仅为方便而设计,不应用于其他任何目的。使用(Ok, Err)也可以work fine:
>>> res1 = Ok('yay') >>> res2 = Err('nay') >>> isinstance(res1, OkErr) True >>> isinstance(res2, OkErr) True >>> isinstance(1, OkErr) False >>> isinstance(res1, (Ok, Err)) True
将Result转换为值或None:
>>> res1 = Ok('yay') >>> res2 = Err('nay') >>> res1.ok() 'yay' >>> res2.ok() None
将Result转换为错误或None:
>>> res1 = Ok('yay') >>> res2 = Err('nay') >>> res1.err() None >>> res2.err() 'nay'
直接访问值,无需任何其他检查:
>>> res1 = Ok('yay') >>> res2 = Err('nay') >>> res1.ok_value 'yay' >>> res2.err_value 'nay'
请注意,这是一个属性,您无法对其进行赋值。结果是不可变的。
当值内部无关紧要时,我们 建议使用None或bool,但您可以自由使用任何您认为最合适的值。Result(Ok或Err)实例中必须始终包含某些内容。如果您正在寻找可能包含值的类型,您可能对maybe感兴趣。
unwrap方法在Ok时返回值,unwrap_err方法在Err时返回错误值,否则会引发UnwrapError:
>>> res1 = Ok('yay') >>> res2 = Err('nay') >>> res1.unwrap() 'yay' >>> res2.unwrap() Traceback (most recent call last): File "<stdin>", line 1, in <module> File "C:\project\result\result.py", line 107, in unwrap return self.expect("Called `Result.unwrap()` on an `Err` value") File "C:\project\result\result.py", line 101, in expect raise UnwrapError(message) result.result.UnwrapError: Called `Result.unwrap()` on an `Err` value >>> res1.unwrap_err() Traceback (most recent call last): ... >>>res2.unwrap_err() 'nay'
你可以使用expect和expect_err来显示自定义错误消息:
>>> res1 = Ok('yay') >>> res2 = Err('nay') >>> res1.expect('not ok') 'yay' >>> res2.expect('not ok') Traceback (most recent call last): File "<stdin>", line 1, in <module> File "C:\project\result\result.py", line 101, in expect raise UnwrapError(message) result.result.UnwrapError: not ok >>> res1.expect_err('not err') Traceback (most recent call last): ... >>> res2.expect_err('not err') 'nay'
可以使用unwrap_or或unwrap_or_else返回默认值:
>>> res1 = Ok('yay') >>> res2 = Err('nay') >>> res1.unwrap_or('default') 'yay' >>> res2.unwrap_or('default') 'default' >>> res1.unwrap_or_else(str.upper) 'yay' >>> res2.unwrap_or_else(str.upper) 'NAY'
unwrap方法会引发UnwrapError。可以使用unwrap_or_raise方法引发自定义异常:
>>> res1 = Ok('yay') >>> res2 = Err('nay') >>> res1.unwrap_or_raise(ValueError) 'yay' >>> res2.unwrap_or_raise(ValueError) ValueError: nay
可以使用map、map_or、map_or_else和map_err对值和错误进行映射:
>>> Ok(1).map(lambda x: x + 1) Ok(2) >>> Err('nay').map(lambda x: x + 1) Err('nay') >>> Ok(1).map_or(-1, lambda x: x + 1) 2 >>> Err(1).map_or(-1, lambda x: x + 1) -1 >>> Ok(1).map_or_else(lambda: 3, lambda x: x + 1) 2 >>> Err('nay').map_or_else(lambda: 3, lambda x: x + 1) 3 >>> Ok(1).map_err(lambda x: x + 1) Ok(1) >>> Err(1).map_err(lambda x: x + 1) Err(2)
为了节省内存,Ok和Err类都是'slotted',即它们定义了__slots__。这意味着为实例分配任意属性将引发AttributeError。
as_result装饰器as_result()装饰器可用于通过指定一个或多个异常类型快速将"普通"函数转换为Result返回函数:
@as_result(ValueError, IndexError) def f(value: int) -> int: if value == 0: raise ValueError # becomes Err elif value == 1: raise IndexError # becomes Err elif value == 2: raise KeyError # raises Exception else: return value # becomes Ok res = f(0) # Err[ValueError()] res = f(1) # Err[IndexError()] res = f(2) # raises KeyError res = f(3) # Ok[3]
可以指定Exception(甚至BaseException)以创建一个"catch all"Result返回类型。这实际上与try后跟except Exception相同,在大多数情况下不被视为良好实践,因此需要显式选择。
由于as_result是一个常规装饰器,它可以用于包装现有函数(包括来自其他库的函数),尽管语法略有不同寻常(没有通常的@):
import third_party x = third_party.do_something(...) # 可能会引发异常,谁知道呢? safe_do_something = as_result(Exception)(third_party.do_something) res = safe_do_something(...) # Ok(...) or Err(...) if is_ok(res): print(res.ok_value)
语法糖是用于一系列and_then()调用的记号记法。
和Rust或Haskell中的等价物类似,但语法有所不同。
与其写x <- Ok(1),不如写for x in Ok(1)。因为语法基于生成器,最终结果必须是第一行,而不是最后一行。
final_result: Result[int, str] = do( Ok(x + y) for x in Ok(1) for y in Ok(2) )
注意,如果你省略了类型注解,
final_result: Result[float, int] = ...,你的类型检查器可能无法推断返回类型。为了避免类型检查器的错误或警告,在使用do函数时应添加类型提示。
这与Rust的m!宏类似:
use do_notation::m; let r = m! { x <- Some(1); y <- Some(2); Some(x + y) };
注意,如果你的do语句有多个for,你可以访问前一个for中绑定的标识符。例如:
my_result: Result[int, str] = do( f(x, y, z) for x in get_x() for y in calculate_y_from_x(x) for z in calculate_z_from_x_y(x, y) )
你可以如下使用do()配合awaited值:
async def process_data(data) -> Result[int, str]: res1 = await get_result_1(data) res2 = await get_result_2(data) return do( Ok(x + y) for x in res1 for y in res2 )
但是,如果你想在表达式中await某些东西,请使用do_async():
async def process_data(data) -> Result[int, str]: return do_async( Ok(x + y) for x in await get_result_1(data) for y in await get_result_2(data) )
故障排除do()调用:
TypeError("Got async_generator but expected generator")
有时常规的do()可以处理async值,但这个错误意味着你遇到了一种它无法处理的情况。这种情况下你应该使用do_async()。


AI一键生成PPT,就用博思AIPPT!
博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。


AI赋能电商视觉革命,一站式智能商拍平台
潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。


企业专属的AI法律顾问
iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。


稳定高效的流量提升解决方案,助力品牌曝光
稳定高效的流量提升解决方案,助力品牌曝光


最新版Sora2模型免费使用,一键生成无水印视频
最新版Sora2模型免费使用,一键生成无水印视频


实时语音翻译/同声传译工具
Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。


选题、配图、成文,一站式创作,让内容运营更高效
讯飞绘文,一个AI集成平台,支持写作、选题、配图、排版和发布。高效生成适用于各类媒体的定制内容,加速品牌传播,提升内容营销效果。


AI辅助编程,代码自动修复
Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。


最强AI数据分析助手
小浣熊家族Raccoon,您的AI智能助手,致力于通过先进的人工智能技术,为用户提供高效、便捷的智能服务。无论是日常咨询还是专业问题解答,小浣熊都能以快速、准确的响应满足您的需求,让您的生活更加智能便捷。


像人一样思考的AI智能体
imini 是一款超级AI智能体,能根据人类指令,自主思考、自主完成、并且交付结果的AI智能体。
最新AI工具、AI资讯
独家AI资源、AI项目落地

微信扫一扫关注公众号