Question

我的头衔可能并不是真的很好地描述了这个问题。对于我正在做的事情，我不需要这个问题的答案，我现在的事情是正确的，但是当我使用Scala组合器解析器时，我遇到了这个让我感到困惑的问题。我想更好地理解语言（我大部分时间都是斯卡拉新手），所以我想我会看看有没有人可以向我解释这个：

以下是代码：

package my.example

import scala.io.Source
import scala.util.parsing.input.StreamReader
import scala.util.parsing.combinator.lexical.StdLexical
import scala.util.parsing.combinator.syntactical.StandardTokenParsers

class DummyParser extends StandardTokenParsers
{
    def scan
    (
        filename : String
    ) : Unit =
    {
        // Read in file
        val input = StreamReader( Source.fromFile( filename ).bufferedReader )
        // I want a reference to lexical in StandardTokenParsers
        val mylexical = lexical
        // Even if I put a type above like these two below it does not help
        // val mylexical : StdLexical = lexical
        // val mylexical : Tokens = lexical
        val tokensGood : lexical.Scanner = new lexical.Scanner( input )
        /*
        Compile error in following line:
        error: type mismatch;
        found   : mylexical.Scanner
        required: DummyParser.this.lexical.Scanner
        */
        val tokensBad : lexical.Scanner = new mylexical.Scanner( input )
    }
}

“val tokensBad”行获取注释中显示的编译错误。以上不是mylexical引用与this.lexical完全相同的对象（在上面的类派生的StandardTokenParsers中定义）。阅读“Scala编程”我想我有点理解lexical.Scanner的类型是路径依赖的（第20.7节），但不应该是lexical.Scanner和mylexical.Scanner是同一类型的？词汇和mylexical不是同一个对象吗？哎呀，第426页书中的狗食示例似乎说来自两只不同的狗的SuitableFood类型是相同的，在我的情况下它是完全相同的对象（我认为）。这里到底发生了什么？

Answer 1

您希望编译器将lexical.Scanner和mylexical.Scanner视为相等，基于以下事实：在运行时，mylexical和lexical的值始终相同。这是一个运行时属性，类型检查器不进行任何数据流分析（这样做太慢而不实用）。

因此，您需要通过告诉它两个值始终相同来帮助类型检查器。您可以使用singleton type来完成此操作。单例类型是一种只有一个值的类型，写成（在本例中）lexical.type。

如果您将mylexical的定义更改为：

val mylexical: lexical.type = lexical

你的程序类型检查。

我们刚刚做的是告诉类型检查器mylexical在运行时只能有一个值，由单例类型给出。

Scala路径依赖类型：从引用到成员val对象的类型似乎不同于直接来自原始val对象的类型？

1 个答案: