Question

我在声明部分函数的类型推断时遇到了一些问题。我在下面尝试了Scalatest代码：

class FunSpecTest extends FunSpec {
    describe("Partial Function Test") {
        def sum1(a: Int, b: Int): Int = a + b

        def sum2 = (a: Int, b: Int) => a + b // type-inference hints shown in Intellij

        val sum3 = (a: Int, b: Int) => a + b

        describe("Partial Function with 2 params") {
            it("add 2") {
                val sum1val: Int => Int = sum1(_, 2)
                assertResult(3)(sum1val(1))

                def sum2def = sum2(_, 2)// compilation error, but type-inference hints shown in Intellij
                val sum2val = sum2(_, 2)// compilation error
                assertResult(3)(sum2def(1))
                assertResult(3)(sum2val(1))

                val sum3val: Int => Int = sum3(_, 2)
                assertResult(3)(sum3val(1))

                val sum3valWithoutType= sum3(_, 2) // compilation error
                assertResult(3)(sum3valWithoutType(1))
            }
        }

    }
}

我的intelliJ editor中没有显示任何警告/错误

在我运行测试类之前，有一些编译错误： missing parameter type for expanded function

但是sum2def和sum2val在Scala shell without given function type中工作正常

我认为Scala编译器应该能够推断sum2def和sum2val的类型，而无需说明函数类型Int => Int。

我的问题是：

为什么我的intellij编辑器在编译代码之前不向我显示错误/警告？我的代码在Scala语法中有效吗？如果无效，如何设置我的intellij以显示错误？
为什么我在intellij中使用的代码无法编译，但在scala shell中可以正常工作？
val和def在我的理解上表现不同吗？ def显示函数推断类型，而val没有显示。

谢谢

Answer 1

回答您的两个问题：

1：例如：Scala unexpectedly not being able to ascertain type for expanded function和Why do I get a "missing parameter for expanded function" in one case and not the other?

3：我相信这确实是IntellIJ的一种实现选择，我对此表示赞同。我不想为我定义的每个String或Int值提供类型提示。我

声明部分函数时，出现“扩展函数缺少参数类型”错误

1 个答案: