Skip to content

Commit 641d066

Browse files
committed
rewrote singleton objects tour
1 parent 0ccd732 commit 641d066

File tree

1 file changed

+77
-31
lines changed

1 file changed

+77
-31
lines changed

tutorials/tour/_posts/2017-02-13-singleton-objects.md

Lines changed: 77 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -10,65 +10,111 @@ num: 13
1010

1111
next-page: xml-processing
1212
previous-page: pattern-matching
13+
assumed-knowledge: classes, methods, private-methods, packages
1314
---
1415

15-
Methods and values that aren't associated with individual instances of a [class](classes.html) belong in *singleton objects*, denoted by using the keyword `object` instead of `class`.
16+
A singleton object is an instance of a new class. There is exactly one instance of each singleton object. They do not have constructors so they cannot be instantiated.
1617

18+
# Defining a singleton object
19+
Like with classes, the simplest form of an object is the keyword `object` and an identifier:
20+
```tut
21+
object Box
22+
```
23+
24+
Here's an example of an object with a method:
1725
```
18-
package test
26+
package logging
1927
20-
object Blah {
21-
def sum(l: List[Int]): Int = l.sum
28+
object Logger {
29+
def info(message: String): Unit = println(s"INFO: $message")
2230
}
2331
```
32+
The method `info` can be imported from anywhere in the program. Creating utility methods like this is a common use case for singleton objects (however, more sophisticated logging techniques exist). Let's see how to use `info` in another package:
2433

25-
This `sum` method is available globally, and can be referred to, or imported, as `test.Blah.sum`.
34+
```
35+
import logging.Logger.info
2636
27-
Singleton objects are sort of a shorthand for defining a single-use class, which can't directly be instantiated, and a `val` member at the point of definition of the `object`, with the same name. Indeed, like `val`s, singleton objects can be defined as members of a [trait](traits.html) or class, though this is atypical.
37+
class Project(name: String, daysToComplete: Int)
2838
29-
A singleton object can extend classes and traits. In fact, a [case class](case-classes.html) with no [type parameters](generic-classes.html) will by default create a singleton object of the same name, with a [`Function*`](http://www.scala-lang.org/api/current/scala/Function1.html) trait implemented.
39+
val project1 = new Project("TPS Reports", 1)
40+
val project2 = new Project("Website redesign", 5)
41+
info("Created projects") // Prints "INFO: Created projects"
42+
```
3043

31-
## Companions ##
44+
The `info` method becomes visible in the scope of the package using `import logging.Logger.info`. You could also use `import logging.Logger._` to import everything from Logger.
3245

33-
Most singleton objects do not stand alone, but instead are associated with a class of the same name. The “singleton object of the same name” of a case class, mentioned above, is an example of this. When this happens, the singleton object is called the *companion object* of the class, and the class is called the *companion class* of the object.
46+
## Companion objects
3447

35-
[Scaladoc](https://wiki.scala-lang.org/display/SW/Introduction) has special support for jumping between a class and its companion: if the big “C” or “O” circle has its edge folded up at the bottom, you can click the circle to jump to the companion.
48+
A singleton object with the same name as a class is called a _companion object_. Conversely, the class is the object's companion class. The companion class and object can access each other's private members. Use a companion object for methods and values which are not specific to instances of the companion class.
49+
```
50+
import scala.math._
3651
37-
A class and its companion object, if any, must be defined in the same source file. Like this:
52+
class Circle(val radius: Double) {
53+
def area: Double = Circle.calculateArea(radius)
54+
}
3855
39-
```tut
40-
class IntPair(val x: Int, val y: Int)
56+
object Circle {
57+
def calculateArea(radius: Double): Double = Pi * pow(radius, 2.0)
58+
}
4159
42-
object IntPair {
43-
import math.Ordering
60+
val circle1 = new Circle(5.0)
4461
45-
implicit def ipord: Ordering[IntPair] =
46-
Ordering.by(ip => (ip.x, ip.y))
47-
}
62+
circle1.area
4863
```
4964

50-
It's common to see typeclass instances as [implicit values](implicit-parameters.html), such as `ipord` above, defined in the companion, when following the typeclass pattern. This is because the companion's members are included in the default implicit search for related values.
65+
The `class Circle` contains the val `radius` which is specific to each instance whereas the `object Circle` contains the method `calculateArea` which is the same for every instance.
5166

52-
## Notes for Java programmers ##
67+
A common pattern to simplify calls to the companion object's members from the companion class is to import everything:
68+
```
69+
import java.time.LocalDateTime;
70+
import java.time.DayOfWeek
5371
54-
`static` is not a keyword in Scala. Instead, all members that would be static, including classes, should go in a singleton object instead. They can be referred to with the same syntax, imported piecemeal or as a group, and so on.
72+
object Event {
73+
private def _isOnTheWeekend(date: LocalDateTime) = Array(DayOfWeek.SATURDAY, DayOfWeek.SUNDAY).contains(date.getDayOfWeek)
74+
}
5575
56-
Frequently, Java programmers define static members, perhaps `private`, as implementation aids for their instance members. These move to the companion, too; a common pattern is to import the companion object's members in the class, like so:
76+
class Event(name: String, date: LocalDateTime) {
77+
import Event._
5778
79+
def isOnTheWeekend: Boolean = _isOnTheWeekend(date)
80+
}
81+
82+
val event = new Event("Dotty Days", LocalDateTime.of(2020, 2, 2, 9, 0, 0))
83+
event.isOnTheWeekend // true
5884
```
59-
class X {
60-
import X._
6185

62-
def blah = foo
63-
}
86+
The `class Event` imports `_isOnTheWeekend` from the `object Event`. To make a member inaccessible from outside, use `private[this]`.
87+
88+
Note: If a class or object has a companion, both must be defined in the same file. To define them in the REPL, you must enter `:paste` and then paste in the class and companion object code.
89+
90+
## Sharing global state
91+
92+
Objects can also be used to store global state (i.e. contain mutable fields), though this is not thread safe and should only be used in special cases.
6493

65-
object X {
66-
private def foo = 42
94+
```
95+
package ids
96+
97+
object UserIdGenerator {
98+
private var lastId = 0
99+
def newId: Int = {
100+
lastID += 1
101+
lastID
102+
}
67103
}
68104
```
105+
Because there is only one instance of UserIdGenerator, there is also only one instance of the `lastId` variable. Any call to `newId` from anywhere in the program will update `lastId`.
106+
```
107+
package users
108+
109+
import ids.UserIDGenerator.newId
69110
70-
This illustrates another feature: in the context of `private`, a class and its companion are friends. `object X` can access private members of `class X`, and vice versa. To make a member *really* private to one or the other, use `private[this]`.
111+
class User(id: Int)
71112
72-
For Java convenience, methods, including `var`s and `val`s, defined directly in a singleton object also have a static method defined in the companion class, called a *static forwarder*. Other members are accessible via the `X$.MODULE$` static field for `object X`.
113+
val user1 = new User(newId) // lastId gets updated to 1
114+
val user2 = new User(newId) // lastId gets updated to 2
115+
```
116+
117+
## Notes for Java programmers ##
73118

74-
If you move everything to a companion object and find that all you have left is a class you don't want to be able to instantiate, simply delete the class. Static forwarders will still be created.
119+
`static` is not a keyword in Scala. Instead, all members that would be static, including classes, should go in a singleton object instead.
120+
When using a companion object from Java code, the members will be defined in a companion class with a `static` modifier. This is called _static forwarding_. It occurs even if you haven't defined a companion class yourself.

0 commit comments

Comments
 (0)