前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >代码出错了,IDE竟然不报错?太诡异了....

代码出错了,IDE竟然不报错?太诡异了....

作者头像
微观技术
发布2024-01-04 13:48:55
1210
发布2024-01-04 13:48:55
举报
文章被收录于专栏:微观技术微观技术

小伙伴好哇,我是Tom哥。

今天分享一个写代码时遇到的诡异问题,如何排查解决的。

从事互联网的人都懂,一般遇到问题时,首先会想用谷歌百度等搜索引擎,看看前辈们是如何解决的。

但有些问题比较抽象,不知道如何来描述,怎么办?或者勉强描述清楚了,搜出来的答案也很难满足要求,整个过程犹如大海捞针。最后求助 ChatGPT 瞬间解决,给大家分享下解决思路

问题的来龙去脉

正在开发一个项目,仓储层有一个接口类(IProductReadRepository),其中一个方法的入参使用了 Java 泛型,具体如下:

代码语言:javascript
复制
List<SpuVO> batchQuerySpuBySpuIdsFromDB(ProductQueryWrapper<List<Long>> req);

在上层的领域服务中,有一处调用这个方法的代码,具体如下:

代码语言:javascript
复制
ProductQueryWrapper productQueryWrapper = ProductQueryWrapper.builder()
        .bizCode(BusinessCodeEnum.SMART.getCode())
        .bizScene(BusinessSceneEnum.RETAIL.getCode())
        .storeId(multiPackageVO.getStoreId())
        .bizParams(spuIds)
        .build();
List<ProductSummaryVO> productSummaryVOS = productReadRepository.batchQuerySpuBySpuIdsFromDB(productQueryWrapper);

if (CollectionUtils.isEmpty(productSummaryVOS)) {
    bizResult.error(BizErrorCode.MULTI_PACKAGE_PRODUCT_NOT_EXIST);
    return bizResult;
}

其中,List<ProductSummaryVO> productSummaryVOS = productReadRepository.batchQuerySpuBySpuIdsFromDB(productQueryWrapper); 这行代码非常诡异

返回的结果List<ProductSummaryVO>并不匹配,但在IDEA中却没有报错,这让我们感到非常困扰。

这是怎么回事?

当时怀疑是错觉,仔细对比了两个方法,确实是对的。

又怀疑是 IDEA 的缓存干扰导致,所以将工程重新 build 了一次还是不行!

接下来,能想到的各种招数都招呼上,比如:

  • 在终端执行 mvn clean install -U,重新编译代码,并强制 Maven 更新所有依赖的快照版本(Snapshot)
  • 手动将 maven 的本地仓库的依赖包全部删除,重新拉取
  • 将本地工程文件中的 target 文件删除
  • .....

最后,使出绝招,将本地的工程代码全部删除,然后重新从 git 上拉取最新代码,编译,导入到 IDEA 工程

但,但,但,问题依然存在,真 TMD 让人崩溃

难道是 IDEA 中的错误检查失效了,于是人为制造了一些错误,发现 IDEA 也都能识别出来。

实在没招了。。。。。。。

最后,还是问下 ChatGPT 吧

首先,先把问题描述清楚,ChatGPT 特懂人情世故,你跟他讲清楚问题,他也会给你一个清楚的答案。

代码语言:javascript
复制
有一个接口内的方法定义如下:

 List<SpuVO> batchQuerySpuBySpuIdsFromDB(ProductQueryWrapper<List<Long>> req);

使用下面的代码来调用 batchQuerySpuBySpuIdsFromDB,返回的 List<SpuVO> 结果并不匹配,但在 IDEA 中没有报错,是什么原因?

ProductQueryWrapper productQueryWrapper = ProductQueryWrapper.builder()
        .bizCode(BusinessCodeEnum.SMART.getCode())
        .bizScene(BusinessSceneEnum.RETAIL.getCode())
        .storeId(multiPackageVO.getStoreId())
        .bizParams(spuIds)
        .build();
List<ProductSummaryVO> productSummaryVOS = productReadRepository.batchQuerySpuBySpuIdsFromDB(productQueryWrapper);

if (CollectionUtils.isEmpty(productSummaryVOS)) {
    bizResult.error(BizErrorCode.MULTI_PACKAGE_PRODUCT_NOT_EXIST);
    return bizResult;
}

ChatGPT 很快就给出了答案

问题可能出在泛型擦除和编译时类型检查上。由于Java泛型的擦除机制,在运行时无法获取泛型的实际类型,这可能导致类型不匹配的问题。

那我们就按照它的思路来,将这行代码 ProductQueryWrapper productQueryWrapper = ProductQueryWrapper.builder()

修改为 ProductQueryWrapper<List<Long>> productQueryWrapper = ProductQueryWrapper.<List<Long>>builder()

在构建 ProductQueryWrapper 对象时, 指定泛型参数的具体类型,以便在运行时能够正确地识别参数类型。

然后,问题真的解决了。

如下图所示,第二处红框位置的代码开始报错。因为接口的规范(返回结果)调整了,此处确实应该报错提示。

后面,我们根据错误提示,将 ProductSummaryVO 类替换成 SpuVO 类。

最终,不但编译不报错,单元测试也能跑通。问题完美解决。

背后的原因

为何在 IDEA 中没有直接报错呢?这里牵扯到Java泛型的类型推断机制。

上述代码中,虽然使用了原始类型 ProductQueryWrapper ,但没有指定具体的泛型类型

Java 7 及以后的版本引入了菱形操作符(Diamond Operator),允许在创建对象时不再重复指定泛型类型,而是通过上下文进行类型推断。

这就意味着在你的代码中,虽然没有明确指定泛型类型,但由于在 ProductQueryWrapper.builder() 上下文中,编译器会尝试根据调用方的期望类型来推断泛型参数。

这种类型推断机制使得在 IDEA 开发工具不会直接报错,也就出现了上文说到的那个问题。

今天的分享就到这里,我们下回再见。

本文参与 腾讯云自媒体分享计划,分享自微信公众号。
原始发表:2024-01-04,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 微观技术 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 问题的来龙去脉
  • 背后的原因
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档