나는 교수 목적을 위해 연산자를 네 가지 범주 로 나눕니다 .
- 키워드 / 예약 된 기호
- 자동으로 가져온 방법
- 일반적인 방법
- 구문 설탕 / 조성
따라서 대부분의 카테고리가 질문에 표시되는 것은 운이 좋은 것입니다.
-> // Automatically imported method
||= // Syntactic sugar
++= // Syntactic sugar/composition or common method
<= // Common method
_._ // Typo, though it's probably based on Keyword/composition
:: // Common method
:+= // Common method
이러한 메소드의 대부분의 정확한 의미는 메소드를 정의하는 클래스에 따라 다릅니다. 예를 들어, <=on Int은 "작거나 같음" 을 의미 합니다. 첫 번째 ->는 아래에 예를 들어 설명하겠습니다. ::아마도 같은 이름의 객체 List일 수는 있지만 :+=아마도 여러 Buffer클래스에 정의 된 방법 일 것입니다 .
그래서 그들을 보자.
키워드 / 예약 된 기호
스칼라에는 특별한 상징이 있습니다. 그 중 두 가지는 올바른 키워드로 간주되는 반면 다른 것들은 "예약 된"것입니다. 그들은:
// Keywords
<- // Used on for-comprehensions, to separate pattern from generator
=> // Used for function types, function literals and import renaming
// Reserved
( ) // Delimit expressions and parameters
[ ] // Delimit type parameters
{ } // Delimit blocks
. // Method call and path separator
// /* */ // Comments
# // Used in type notations
: // Type ascription or context bounds
<: >: <% // Upper, lower and view bounds
<? <! // Start token for various XML elements
" """ // Strings
' // Indicate symbols and characters
@ // Annotations and variable binding on pattern matching
` // Denote constant or enable arbitrary identifiers
, // Parameter separator
; // Statement separator
_* // vararg expansion
_ // Many different meanings
이들은 모두 언어의 일부 이므로 스칼라 사양 (PDF) 자체 와 같이 언어를 올바르게 설명하는 모든 텍스트에서 찾을 수 있습니다 .
마지막으로 밑줄은 특별한 설명이 필요합니다. 왜냐하면 널리 사용되며 다른 의미가 있기 때문입니다. 샘플은 다음과 같습니다.
import scala._ // Wild card -- all of Scala is imported
import scala.{ Predef => _, _ } // Exception, everything except Predef
def f[M[_]] // Higher kinded type parameter
def f(m: M[_]) // Existential type
_ + _ // Anonymous function placeholder parameter
m _ // Eta expansion of method into method value
m(_) // Partial function application
_ => 5 // Discarded parameter
case _ => // Wild card pattern -- matches anything
f(xs: _*) // Sequence xs is passed as multiple parameters to f(ys: T*)
case Seq(xs @ _*) // Identifier xs is bound to the whole matched sequence
그래도 다른 의미를 잊었을 것입니다.
자동으로 가져온 방법
따라서 위의 목록에서 찾고있는 기호를 찾지 못하면 방법 또는 일부 여야합니다. 그러나 종종 일부 심볼이 표시되며 클래스의 문서에는 해당 메소드가 없습니다. 이 경우 다른 방법으로 하나 이상의 메소드 구성을보고 있거나 메소드를 범위로 가져 오거나 내재 된 내재 된 변환을 통해 사용할 수 있습니다.
이들은 여전히 찾을 수 있습니다 에 ScalaDoc : 당신은 어디서 그들을 찾을 지 알아야합니다. 또는 실패하면 지수를 살펴보십시오 (현재 2.9.1에서는 고장 났지만 야간에는 가능합니다).
모든 스칼라 코드에는 세 가지 자동 가져 오기가 있습니다.
// Not necessarily in this order
import _root_.java.lang._ // _root_ denotes an absolute path
import _root_.scala._
import _root_.scala.Predef._
처음 두 개는 클래스와 단일 객체 만 사용할 수있게합니다. 세 번째 Predef는 객체 자체 이므로 모든 암시 적 변환과 가져온 메소드를 포함 합니다.
내부를 Predef빠르게 살펴보면 몇 가지 기호가 표시됩니다.
class <:<
class =:=
object <%<
object =:=
다른 심볼은 암시 적 변환을 통해 사용할 수 있습니다 . implicit해당 수신 태그가 지정된 메소드 를 매개 변수로 메소드를 수신하는 유형의 오브젝트를보십시오. 예를 들면 다음과 같습니다.
"a" -> 1 // Look for an implicit from String, AnyRef, Any or type parameter
위의 경우 유형의 객체를 취하는 메소드 를 통해 ->클래스에 정의됩니다. 여기서 동일한 메소드에 대한 제한되지 않은 유형 매개 변수입니다.ArrowAssocany2ArrowAssocAA
일반적인 방법
따라서 많은 기호는 단순히 클래스의 메서드입니다. 예를 들어
List(1, 2) ++ List(3, 4)
++ScalaDoc for List 에서 메소드를 찾을 수 있습니다. 그러나 메소드를 검색 할 때 알아야 할 규칙이 있습니다. 콜론 ( :)으로 끝나는 메소드 는 왼쪽 대신 오른쪽에 바인딩 됩니다 . 즉, 위의 메소드 호출은 다음과 같습니다.
List(1, 2).++(List(3, 4))
대신 1 :: List(2, 3)에을 사용하면 다음과 같습니다.
List(2, 3).::(1)
따라서 콜론으로 끝나는 메소드를 찾을 때 오른쪽에있는 유형을 봐야합니다 . 예를 들어,
1 +: List(2, 3) :+ 4
첫 번째 방법 ( +:)은 오른쪽에 바인딩되며에서 찾을 수 있습니다 List. 두 번째 방법 ( :+)은 일반적인 방법이며 왼쪽에 다시 바인딩됩니다 List.
구문 설탕 / 조성
따라서 방법을 숨길 수있는 몇 가지 구문 설탕이 있습니다.
class Example(arr: Array[Int] = Array.fill(5)(0)) {
def apply(n: Int) = arr(n)
def update(n: Int, v: Int) = arr(n) = v
def a = arr(0); def a_=(v: Int) = arr(0) = v
def b = arr(1); def b_=(v: Int) = arr(1) = v
def c = arr(2); def c_=(v: Int) = arr(2) = v
def d = arr(3); def d_=(v: Int) = arr(3) = v
def e = arr(4); def e_=(v: Int) = arr(4) = v
def +(v: Int) = new Example(arr map (_ + v))
def unapply(n: Int) = if (arr.indices contains n) Some(arr(n)) else None
}
val Ex = new Example // or var for the last example
println(Ex(0)) // calls apply(0)
Ex(0) = 2 // calls update(0, 2)
Ex.b = 3 // calls b_=(3)
// This requires Ex to be a "val"
val Ex(c) = 2 // calls unapply(2) and assigns result to c
// This requires Ex to be a "var"
Ex += 1 // substituted for Ex = Ex + 1
마지막 방법 은 흥미 롭다. 왜냐하면 어떤 상징적 방법도 결합하여 그러한 방식으로 과제와 유사한 방법을 형성 할 수 있기 때문이다 .
물론 코드에 나타날 수있는 다양한 조합이 있습니다.
(_+_) // An expression, or parameter, that is an anonymous function with
// two parameters, used exactly where the underscores appear, and
// which calls the "+" method on the first parameter passing the
// second parameter as argument.