问题标签 [type-annotation]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
2 回答
9478 浏览

python - Python:类型注释,如何定义元组的元素?

这是一个最小的案例。

能够编写-> tuple(:int, :int)不是有效格式的内容非常诱人。在这种情况下是否有正确的方法,或者它仍然是一个灰色区域,直到 python 在类型注释道路上进一步移动?

编辑:显然可以做类似的事情

0 投票
1 回答
268 浏览

java - ASM 如何通知我有关强制类型转换和构造函数调用的类型注释

我正在分析以下两段代码使用 ASM (Api Version 5.0)

而且我正在尝试找到要覆盖的正确访问者/方法,以获取有关两种类型注释的通知。

我设法获得了各种类型的注释,但不是这两个......

我该怎么做呢?

0 投票
1 回答
184 浏览

java - 什么 ASM 访问者方法被调用以在 catch 上进行类型注释

我有以下代码片段,我使用 ASM 对其进行分析

我找不到为注释调用的正确方法。我认为MethodVisitor.visitTryCatchAnnotation可以解决问题,但它没有被调用。

那么:使用的正确方法是什么?提到的方法被调用了什么样的代码?

0 投票
1 回答
149 浏览

clojure - 错误的类型仍然使用 clojure core.typed 编译?

项目文件:

编码:

lein compile完全没有错误。

0 投票
1 回答
505 浏览

maven - Delombok Java 8 类型注解

我正在开发一个 Java 8 Spring 项目,并希望使用 Lombok 来减少样板代码。因为我需要一个 Javadoc,所以我设置了 lombok-maven-plugin 和 maven-javadoc-plugin。

运行 lombok:delombok 目标后,源将生成到 target/generated-sources/delombok,正如我指定的那样。但是代码很乱。对于验证,我使用了 Java 8s 类型注释,例如:

这将导致:

这当然不适用于 javadoc 生成。我相信代码生成器不知道如何解释这些类型注释。

有没有办法让 delombok 与类型注释一起工作,如果是这样,怎么做?

提前致谢

0 投票
2 回答
2157 浏览

swift - Swift 对类型注解的定义

在 Swift 编程语言指南中,它对类型注释有以下定义:“类型注释显式指定变量表达式的类型。”

我们都知道如何指定变量的类型,但具体如何指定表达式的类型呢?

0 投票
2 回答
95 浏览

java - 在省略号之前键入注释

我在JLS 第 8.4 节中看到,省略号之前可以有注释:

我的问题很简单:这是什么意思?

特别是,有什么区别:

0 投票
0 回答
622 浏览

python - Pycharm:工厂方法的类型注释不提供自动完成功能

我正在尝试为 PyCharm 中的正确自动完成写出类型注释。请参阅此精炼代码示例:

代码工作并打印7输出。但是 PyCharm-> TestClass用红色下划线并Unresolved reference 'TestClass'在鼠标悬停时显示提示。...make_new_with_a(7).方法返回类型 ( + )的字段的自动完成<ctrl+space>功能不起作用。

类似的问题:

0 投票
1 回答
1047 浏览

java-8 - 如果是 varargs 参数,@Nullable 注释指的是哪里?

对于以下签名:

@Nullable 注解指的是哪里?到数组还是到它的元素?是否有可能注释两个选项(数组/元素)?

Java 7 和 Java 8(类型注释)之间有区别吗?

0 投票
0 回答
111 浏览

java - 是否可以将 Eclipse 空值分析与 Lombok 结合使用?

我们在 Java 代码库中大量使用Eclipse 空值分析。最近,越来越多的团队开始使用Lombok

我很难让两者一起工作。例如,在使用@Builder注解时,其生成的函数缺少@Nullable注解。(来自 Eclipse)的概念NonNullByDefault在 Lombok 中也是有问题的。

我想知道是否可以将 Eclipse 空值分析与 Lombok 结合使用?目前,我的印象是这是不可能的,但我希望我错过了一些东西。

自从升级到 Java 8 后,我们切换到@Nullable 类型注释,这也是 Lombok 替代AutoValue的问题。如果 Lombok 支持旧的 Java 7 样式注解,但不支持基于JSR 308@Nullable注解,那么它在我们的代码库中将没有用处。

旁注:虽然问题是 Eclipse 特定的,因为它指的是 Eclipse 的 null 分析,但我个人主要使用 IDEA。因此,如果可以让 IntelliJ 的 null 分析与 Lombok 一起使用,那也会很有趣。