Liệu suy luận kiểu trong JDK 7 có chặt chẽ hơn JDK 6 không?

In lại 作者：塔克拉玛干 更新时间：2023-11-03 03:54:59 26 4

public final class Foo {

    private final V value;

    private Foo(final V value) {

        this.value = value;
    }

    public static  Foo of(final R value) {

        return new Foo(value);
    }
}

final class Tester {

    @Test(groups="unit")

    public static void test() {

        bar(Foo.of(BigDecimal.ZERO)); // This line fails in JDK 7 but not JDK 6
    }

    private static void bar(final Foo target) {

        assert target != null;
    }
}

[ERROR] \work\fsb-core\src\test\java\com\fsb\core\Foo.java:[42,8] error:
              method bar in class Tester cannot be applied to given types;

26 4 0

• 大语言模型提示技巧（五）－推断

  大语言模型具备从文字中推断情感和主题的能力。这种能力可用于获知客户对产品评价的情感、新闻或媒体文章的主题或倾向等。大语言模型的这种推断能力可被应用于舆情分析等场景。 推断可以看作是模型接收文本作为输入

• c++ - 推断/删除模板模板参数的类型

  当使用模板模板参数时，我如何推断或删除模板模板的模板类型？ 考虑以下 SSCCE: #include #include #include using namespace std; templat

• scala - 推断 mixin 上的类型参数

  假设我有一些特质: trait A[T] { def foo: T } 一个扩展它的类: class B[T](t: T) extends A[T] { def foo = t } 以及父特征的子特征

• OCaml 的 rectype 推断

  一边玩-rectypes在某些时候选择 OCaml 我只是迷路了。 这个表达式几乎可以打字: # fun x -> x x;; - : ('a -> 'b as 'a) -> 'b = 但是这里 O

• haskell - 推断 Eq 类型类

  我正在编写一个类似 CRUD 的应用程序，并且通过主键进行大量查找(主键可以有不同的类型)。所以我定义了以下类型类: {-# LANGUAGE MultiParamTypeClasses #-} cl

• ontology - 推断 Protege 中的逆属性

  我已经创建了关系 A 'is functional parent of' B并定义 'has functional parent'作为 'is functional parent of' 的倒数. '

• Kotlin 推断 JOOQ 方法错误

  给定一个使用 Kotlin 版本 1.3.61 和 JOOQ 版本 3.13.1 的系统，这样的方法会构建 union正常查询: val selectCommonPart = coalesce

• haskell - 推断 if ... then ... else 奇怪的行为

  考虑以下错误代码: fun x = if (null x) then 0 else (take 50 x) : (fun (drop 50 x)) 我注意到，我可以毫无问题地将它加载到

• haskell - 推断 lambda 表达式的类型

  给定一个具有以下类型的函数 a: a::x -> Bool 和以下类型的另一个函数 b: b::Bool -> y 我正在尝试找出推断以下函数类型的步骤: c =\d -> d a b 有人可以帮助解

• android - 推断——gradle 构建不工作

  我正在尝试使用 Infer 工具来分析我的应用代码。我关注了these steps每次我尝试运行 infer -- gradle build 时，我都会收到以下错误: infer -- gradle

• c++ - 推断 lambda 的类型衰减为函数指针

  所以我制作了这个模板来定义内联仿函数: template struct AsFunctor { template std::invoke_result_t operator()(A

• c++ - 推断 CRTP 中模板化成员函数的返回类型

  是否可以推断 CRTP 基类中模板化成员函数的返回类型？ 虽然推断参数类型效果很好，但它因返回类型而失败。考虑以下示例。 #include template struct base { tem

• python - 推断 Pandas DataFrame

  使用 Series.interpolate 很容易在 Pandas.DataFrame 中插入值，如何进行外推？ 例如，给定一个如图所示的 DataFrame，我们如何将它外推 14 个月到 2014

• scala - 推断 lambda 的参数类型(再次!)

  我想知道为什么这不起作用(缺少参数类型)？ Seq(1,2,3).toSet.map(_ + 1) 但这确实: val foo = Seq(1,2,3).toSet foo.map(_ + 1)

• shell - 推断 SQLite3 shell 工具返回的值的类型

  我没有必要使用 SQLite3 shell 工具来维护一个小型数据库。我正在使用 -header -ascii标志，尽管据我所知，这适用于任何输出选择。我正在寻找一种方法来避免对返回的任何一个值的类型

• reactjs - FlowType - 推断 React 组件的通用类型

  我有以下组件 type PropTypes = { items: T[], header: (item: T) => React.Element, body: (item: T) => R

• javascript - Eclipse/JSDT 中的类型声明/推断

  我想在 Eclipse/JSDT 中指定实例变量的类型，如下例所示: /** * @constructor */ function A() { /** @type Node */

• python - IDE 推断 Python 类型

  我正在用 Python 编写一个方法，它看起来像这样: def rgb_to_grayscale(image): print(image.shape) pass 此处预期的类型是 nu

• python - 推断 numpy 数组中最近的、较小的值

  我有一个 my_values 数组，我正在尝试为其推断 true_values 数组中最接近、较小的值。使用下面的 find_nearest 函数并不能完成我想要的。我如何追加它以找到最近的、较小的值

• c++ - 推断 std::array 大小？

  在下面的代码中: template int b(int q, const std::array& types) { int r = q; for (int t : types)