MI-PSL-4

Question 1

1. Which kind of template definitions exist?

Answer 1

Class definice a Object definice (stejne)

Trait definice

Question 2

2. Where may template definition occur?

Answer 2

Jako top-level výraz (top-level statement)
Uvnitř jiného templatu (template statement)
Uvnitř funkce (block statement)

Question 3

3. What are the main parts of a template?

Answer 3

tpltype extends earlydefs constr with mt1 with … with mtn {
stats
}
tpltype – typ template:
[case|abstract] class c [tps] as m (ps1)…(psn)
c – jméno třídy
tps – typové parametry
as – anotace primárního konstruktoru
m – modifikátor viditelnosti primárního konstruktoru (např. private nebo protected)
ps1…psn – seznamy formálních parametrů primárního konstruktoru
object o
trait t [tps]
t – jméno traitu
tps – typové parametry
earlydefs - definice, které se vyhodnotí před voláním konstruktoru rodiče
constr - konstruktor super třídy (v případě traitu nemůže mít parametry)
mt1 .. mtn - seznam traitů
stats - tělo templatu, definice a deklarace členský proměnných, funkcí, …

Question 4

4. Which parts of a template can be omitted?

Answer 4

V podstatě všechny části, template může být např jen class Point

Question 5

5. How differs trait and class list of parents?

Answer 5

Předkům traitu se nepředávají parametry konstruktoru, protože trait se inicializuje až poté, co byli inicializováni všichni rodiče.

Question 6

6. What happened when a list of parents within the template is omitted?

Answer 6

U tříd je doplněno extends AnyRef.
Pokud je uveden nějaký trait jako with trait mt1 a mt1 dědí od třídy class1, je definice přepsána na extends class1 with trait mt1.

Question 7

7. What is the mixin-evaluation and how it is performed?

Answer 7

Postup inicializace tříd

Pro traity - vyhodnotí se tělo traitu
Pro třídy :
Konstruktor nadtřídy je vyhodnocen
Všechny base třídy v linerizaci templatu až k nadtřídě templatu jsou mixin-evaulated
vyhodnotí se tělo třídy

Question 8

8. What contains a template body?

Answer 8

Sekvenci výrazů daného templatu. Může specifikovat self type. Může obsahovat:

Importy
definici a deklaraci členských proměnných, funkcí, ..
Sekvenci výrazů, které jsou vyhodnocovány v pořadí v jakém jsou napsány

Question 9

9. What elements can be class members?

Answer 9

proměnné - var
values - val
funkce - def
typy - types
templaty - object, class, trait

Question 10

10. What is it declaration and what elements can be declared?

Answer 10

abstraktní popis memberů a přiřazení jejich typů
Deklarované můžou být: var, val, def, type
val x
def m (a : Int) : Boolean

Question 11

11. What is it definition and what elements can be defined?

Answer 11

konkrétní definice nadeklarovaných memberů
Definovaný můžou být všichni co můžou být deklarovaný
val x = 42
def m (a : Int) : Boolean = if a

Question 12

12. What is it constant value definition?

Answer 12

Proměnná označená klíčovým slovem final.

final val x = expr
expr je konstantní výraz, který je přiřazen do proměnné x. S proměnnou x je poté také zacházeno jako s konstantou.

Question 13

13. What is it uniform access?

Answer 13

K metodám bez parametrů i proměnným se dá přistupovat jednotným způsobem. Toto je umožněno kvuli jednoduché záměně proměnné za metodu v definici templatu bez nutnosti upravovat klientský kod.

Question 14

14. What is equivalent to the following field declaration: var x : T?

Answer 14

def x : T
def x_= ( y : T ): Unit

Question 15

15. How can be expressed the var definition with the default initial value?

Answer 15

var x : T = _

Question 16

16. When the modifier override is mandatory?

Answer 16

Pokud je přetěžována metoda předka, která už v předkovi byla definovaná

Question 17

17. Which methods can be referred by keyword super?

Answer 17

Pomocí super se označují metody předka. V traitu lze super volat, pokud je daná metoda v předkovi konkrétní, nebo pokud je abstraktní a v traitu ji předefinujeme s abstract override modifikátorem.

Question 18

18. Where can be used the constructor invocation?

Answer 18

Ve výrazu ve kterém se daný template vytváří nebo v definici třídy/objektu

Question 19

19. What are base classes?

Answer 19

Třídy, které jsou dostupné přes tranzitivní uzávěr přímé dědičnosti jejich rodičů.
Příklad:

abstract class Shape ...
trait ColorShape extends Shape ...
class Circle extends Shape ...
class ColorCircle 
      extends Circle with ColorShape ...
Base třídy  ColorCircle jsou: ColorShape, Circle, Shape, AnyRef and Any.

Question 20

20. What diagram is formed by the direct inheritance relationship on base classes?

Answer 20

Orientovaný acyklický graf

Question 21

21. When is the list of parents defined by a template well-formed?

Answer 21

Nad třída které je definovaná v constr musí být podtřída nadtřídy všech traitů mt1 .. mtn.

Příklad špatně formovaného seznamu předků:

class Ca
class Cb
trait T extends Ca
class C extends Cb with T
error: illegal inheritance; superclass Cb
is not a subclass of the superclass Ca of
the mixin trait T

The issue: The class Ca is not initialized when T is initialized because a trait does not invoke the constructor of its superclass !

Question 22

22.	What is the linearization of class Sub given by following definition?
class Sup
trait Mt
class Sub extends Sup with Mt

Answer 22

L(Sup) = {Sup, AnyRef, Any}
L(Mt) = {Mt, AnyRef, Any}
L(Sub) = {Sub, Mt, Sup, AnyRef, Any}

Question 23

23. What is the self type definition?

Answer 23

trait T {
id [: Type] =>
// nebo
this : Type =>
pokud je uvedeno id, je to alias pro referenci this v těle templatu. Ve vnitřních třídách pak není nutné psát např A.this (jako v Javě), ale využije se daného aliasu.
pokud je dán typ, pak se předpokládá, že this má v těle templatu daný typ

Question 24

24. What is the early definition clause?

Answer 24

Early definition klazule umožňuje definovat (případně překrýt) proměnné předtím, než je zavolán konstruktor předka.

příklad:

trait Greeting {
   val name = "Boy" 
   val msg = "How are you, " + name
}
class C extends {
   override val name = "Bob" 
} with Greeting {
   println(msg)   // "How are you, Bob"
}