類型別名工作在REPL但不在斯卡拉類/對象

Question

我有一個測試程序，我們在內存中的靜態數組。爲了簡潔，我使用類型別名。類型被創建，但如上述用於創建陣列相同的語法：

在REPL

type >[T] = Array[T] 
val dat = >(>(1,2,3),>(2,3,4)) 

dat: Array[Array[Int]] = Array(Array(1, 2, 3), Array(2, 3, 4)) 

以下作品然而爲「A」，從「>」確實不工作改變標識符失敗：

scala> type A[T] = Array[T] 
defined type alias A 

scala> val dat = A(A(1,2,3),A(2,3,4)) 
<console>:7: error: not found: value A 
     val dat = A(A(1,2,3),A(2,3,4)) 

另外，NEITHER的Scala程序AFAICT內的兩個以上的工作：

test("VectorProjection") { 
    type A[T] = Array[T] 
    // Next line shows RED for all the A's and also has compiler error: "not found: value A" 
    val dat = A(A(1., 2., 3.), A(1.5,2.,2.5), A(2.,3.8,5.6), A(2.5,3.0,3.5), A(3.1,3.7,4.3)) 
    val firsteigen = subtractProject(dat(0), dat(4)) 
    } 

尋找：

• 1）對於REPL：爲什麼符號「>」作品的解釋，但不是 標識符將是有益的。
• 2）對於一個真正的Scala程序/類： 的如果有可能由詹姆斯IRY使用類似於任何語法 上述

UPDATE每建議以下方法確實可行的解釋：

def A[T : ClassTag](ts: T*) = Array(ts:_*) 

這是在行動：

test("VectorProjection") { 
    def A[T : ClassTag](ts: T*) = Array(ts:_*) 
    val dat = A(
     A(1., 2., 3.), 
     A(1.5,2.,2.5), 
     A(3.,6.,9.) ) 
    val firstEigen = subtractProject(dat(0), dat(5)) 
    println(s"firstEigen: ${firstEigen.mkString(",")}") 
    } 

另一個更新另一個答案擊中接近這個OP：

使用類型和Val在一起：

type A = Array[Double] 
    val A = Array 

這是在行動：

test("VectorProjection") { 
    type A = Array[Double] 
    val A = Array 
    val dat = A(
     A(1., 2., 3.), 
     A(1.5,2.,2.5), 
     A(3.,6.,9.) ) 
    val firstEigen = subtractProject(dat(0), dat(5)) 
    println(s"firstEigen: ${firstEigen.mkString(",")}") 
    } 

Answer 1

如果你創建一個值別名它會工作：

type A[T] = Array[T] 
val A = Array 
val dat = A(A(1,2,3),A(2,3,4)) //dat: Array[Array[Int]] = Array(Array(1, 2, 3), Array(2, 3, 4)) 

第2行創建值別名，因此您可以使用A類型別名創建值。它將依次能夠調用A.apply（1,2,3）。

Answer 2

我不能複製'>'成功'

scala> type >[T]=Array[T] 
defined type alias $greater 

scala> >(1,2,3) 
<console>:8: error: not found: value > 
       >(1,2,3) 
      ^

至少，直到我把它定義

scala> import scala.reflect._ 
import scala.reflect._ 

scala> def >[T : ClassTag](ts: T*) = Array(ts:_*) 
$greater: [T](ts: T*)(implicit evidence$1: scala.reflect.ClassTag[T])Array[T] 

scala> >(1,2,3) 
res1: Array[Int] = Array(1, 2, 3) 

同樣的事情在一家

scala> type A[T]=Array[T] 
defined type alias A 

scala> A(1,2,3) 
<console>:11: error: not found: value A 
       A(1,2,3) 
      ^

scala> def A[T : ClassTag](ts: T*) = Array(ts:_*) 
A: [T](ts: T*)(implicit evidence$1: scala.reflect.ClassTag[T])Array[T] 

scala> A(1,2,3) 
res2: Array[Int] = Array(1, 2, 3) 

有關說明：類型X = Y剛剛創建的類型X.它不會在同義詞帶來的代名詞其他一切可能與像同伴對象，構造方法的類型相關聯，等等

Answer 3

使用此證明有多少REPL知道：

scala> $intp.definedTerms 
res0: List[$intp.global.TermName] = List($intp) 

scala> $intp.definedTypes 
res1: List[$intp.global.TypeName] = List($greater) 

例如，你可能有：

scala> object X 
defined object X 

scala> trait X 
defined trait X 
warning: previously defined object X is not a companion to trait X. 
Companions must be defined together; you may wish to use :paste mode for this. 

scala> type X = String 
defined type alias X 

但它不走樣警告。