11
Hôm nay tôi muốn hỏi '=> SomeType' có nghĩa là gì. Tôi tìm thấy nó được sử dụng trong this article. Nó nằm trong phần 'The Combinator tuần tự'.Scala - '=> SomeType' có nghĩa là gì?
Cảm ơn bạn đã trả lời!
A
Trả lời
10
Nó có nghĩa là một khối mã mà bạn có thể chạy.
Vì vậy, ví dụ:
scala> def doTwice(op: =>Unit) = {op; op}
doTwice: (op: => Unit)Unit
scala> doTwice({println("Hi")})
Hi
Hi
Trong trường hợp này =>Unit là {println("Hi")}
Here "SomeType" là đơn vị vì println không tạo ra một giá trị. Nếu nó tạo ra một Int, nó sẽ là =>Int.
2
Nó chỉ là một loại giá trị hàm không có tham số. Ví dụ của Owen thật tuyệt, chỉ biết rằng "A => B" là một hàm có tham số có loại A và giá trị trả về với loại B và "=> B" là hàm không có tham số và trả về một giá trị có loại B.
6
Nó chỉ ra hai điều. Đầu tiên, vì tiền tố =>, nó cho biết thông số sẽ được chuyển qua by name. Sau đó, nó cho biết loại tham số được truyền phải là SomeType.
Một số người kết hợp cả hai, nghĩ rằng => SomeType là một loại chính nó - không phải vậy. Đó là sự kết hợp của hai thứ: chiến lược đánh giá tham số và kiểu tham số.
Vì vậy, giải thích ngắn gọn về cuộc gọi theo tên, trong trường hợp liên kết wikipedia không làm cho mọi việc rõ ràng, nếu bạn có điều này:
def f[A](x: => A) = { x; x }
f(some stuff)
Sau đó Scala sẽ thực hiện điều này như thế này:
{ some stuff; some stuff }
Khi gọi điện theo giá trị, những gì xảy ra là nhiều hơn như thế này:
val x = some stuff
{ x; x }
cũng lưu ý rằng các tham số là luôn là được đánh giá theo cuộc gọi theo giá trị, nhưng chỉ một lần. Khi gọi theo tên, tham số có thể không bao giờ được đánh giá là (ví dụ: nếu nó thuộc chi nhánh không thực thi của số if), nhưng có thể được đánh giá nhiều lần.
+1
[A] đại diện cho trường hợp này là gì? tôi đã nhìn thấy nó ở một số nơi, nhưng vẫn không nhận được nó –
+1
@elimence Đó là một tham số _type_. Nó là một kiểu không được biết tại điểm mà 'f' được khai báo, nhưng sẽ được biết tại điểm' f' được sử dụng. Hàm 'f' là hợp lệ đối với tất cả các kiểu' A', và trong trường hợp này, không có giới hạn nào về 'A' có thể là gì.Tôi có thể đã sử dụng 'A <: SomeConcreteType' để chỉ ra một ranh giới thấp hơn (' A' phải là một 'SomeConcreteType' hoặc subtype của nó),' A>: SomeOtherType' ('A' phải là một superclass của' SomeOtherType') , cũng như chỉ ra 'A' phải là một phần của một số tham số ngầm định, dẫn đến các giới hạn tùy ý về những gì' A' có thể. –
+0
Cảm ơn Daniel, đã nhận ngay bây giờ –
Các vấn đề liên quan
- 1. Điều gì => và() => có nghĩa là trong Scala
- 2. Điều gì -> _ => có nghĩa là trong Scala/Lift?
- 3. () => {} có nghĩa là gì?
- 4. Trong các tham số kiểu Scala, điều gì làm - >> và - >>> có nghĩa là gì?
- 5. Ý nghĩa của>: Null <: trong Scala là gì?
- 6. "<:" có nghĩa là gì trong Scala?
- 7. Param: _ * có nghĩa là gì trong Scala?
- 8. _: có nghĩa là gì trong Scala?
- 9. => có nghĩa là gì khi bắt đầu định nghĩa lớp Scala?
- 10. ">>>" có nghĩa là gì trong java?
- 11. "() =>" có nghĩa là gì trong C#?
- 12. ">" có nghĩa là gì trong CSS?
- 13. () => có nghĩa là gì trong C#?
- 14. nghĩa là gì 'MyType = Int => Boolean'
- 15. => được gọi là gì trong Scala?
- 16. Trong F #, toán tử >> có nghĩa là gì?
- 17. Mã này có nghĩa là gì: "print >> sys.stderr"
- 18. >> và 0xfffffff8 có nghĩa là gì?
- 19. Đường phân tách này trong Scala có nghĩa là gì?
- 20. Toán tử `#` có nghĩa là gì trong Scala?
- 21. >> và >>> có nghĩa là gì trong Java?
- 22. get lớp từ java.util.List <SomeType>
- 23. "bù đắp hoặc đếm có thể gần -1 >>> 1." có nghĩa là gì
- 24. Ruby on Rails: biểu tượng => có nghĩa là gì?
- 25. Cú pháp PHP $ var1 -> $ var2 có nghĩa là gì?
- 26. "?>" Có nghĩa là gì trong một regex PCRE?
- 27. Biểu tượng '>' trong css có nghĩa là gì?
- 28. Biểu tượng => có nghĩa là gì trong Haskell?
- 29. Cụm từ thông dụng \ | (? = \ W =>) có nghĩa là gì?
- 30. Điều gì -> có nghĩa là trong C++?
Oooh, tôi hiểu rồi. Cảm ơn! Đây là những gì tôi ghét về scala. Đó là ridiculously cứng để google những thứ như thế này :) Cảm ơn thần cho những người tốt và stackoverflow :) – Arg
Nice ví dụ. Ở đây, 'op' được gọi là tham số * theo tên * (ngược với * theo giá trị *). Lưu ý rằng nó sẽ làm việc tốt như nhau để viết 'doTwice (println (" Hi "))'. Khi bạn gọi một hàm trong Scala, cú pháp không cho biết bạn có đang truyền tham số bằng * name * hay bằng * value * hay không. –
@Arg [SymbolHound] (http://symbolhound.com/) là bạn của bạn. –