mernst
2019-06-25 00:00
编写诸如这样的类型注释有@NonNull几个目的。
- 它是文档：它比Javadoc文本更简洁，更精确地将方法的合同传达给客户端。
- 它启用了运行时检查 -也就是说，如果有错误的客户端滥用了您的方法，它可以确保程序崩溃并显示有用的错误消息（而不是做更糟的事情）。龙目岛（Lombok）为您做到了这一点，而无需强迫程序员编写运行时检查。该引用的例子显示了两种方法可以做到这一点：有一个
@NonNull注释或明确的程序员编写的检查。“ Vanilla Java”版本要么有错字（流浪@NonNull），要么在Lombok处理后显示了代码。 - 它启用了编译时检查。诸如Checker Framework之类的工具可以保证代码在运行时不会崩溃。诸如NullAway，Error Prone和FindBugs之类的工具是启发式的错误发现器，它们会警告您某些错误使用null的情况，但并不能给您保证。
热门帖子
相关问题
热门github
1
2
3
5
6
7
8
11
13
14
15
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention.
(翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)