首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >Java密封接口允许通用类型: gradle抱怨,eclipse不允许

Java密封接口允许通用类型: gradle抱怨,eclipse不允许
EN

Stack Overflow用户
提问于 2022-08-22 09:39:28
回答 1查看 104关注 0票数 1

我有三种类型,ABC,定义如下:

代码语言:javascript
复制
public sealed interface A extends Comparable<A> permits B<?>, C { ...
    
public non-sealed interface B<T> extends A { ...
    
public record C(String s, int i) implements A { ...

在Eclipse中,一切都很好地编译和工作。现在,当我运行一个gradle构建时,在error: '{' expected的起始括号位置得到一个错误的permits B<?>。删除<?>时,类型定义如下(原始类型):

代码语言:javascript
复制
public sealed interface A extends Comparable<A> permits B, C { ...

...then gradle没有抱怨,而且构建是成功的。这是一个gradle错误,还是不允许我使用的类型定义?

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2022-08-22 09:58:13

根据Java语言规范§8.1.6permits类型列表中的项必须没有它们的类型参数。

因此,permits B<?>是不正确的,必须更正为 permits B.。

请确保permits B<?>没有提供编译错误,而permits B<?>确实给出了B is a raw type. References to generic type B<T> should be parameterized警告,已向Eclipse报告

票数 3
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/73443052

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档