Variabler, värden och typer

Transkript

1 Variabler, värden och typer Viktigt att förstå på djupet: För programmering i många språk, t.ex. Java För kommande objektorientering! jonas.kvarnstrom@liu.se 2017

2 Fråga kommentera avbryt!

3 Intro till variabler (1) Vad är en variabel? I begynnelsen fanns minnet som var fullt av heltal och minnesadressen (ett "index" för varje byte) STA // Lagra en byte på adress // Håll själv reda på att inget annat ska lagras där! LDA // Läs in en byte från adress // Håll själv reda på hur denna byte ska tolkas // (Heltal? Bokstav? Index i lista av färger? ) JMP 8282 // Hoppa till nästa instruktion på adress kbyte minne (På denna sida: 6502-assemblerkod) = 65535

4 Intro till variabler (2) Sedan uppfanns etiketten (label) colornum: // Översätts till en adress, kanske 37000,.byte 03 // när man vet var det finns plats STA colornum LDA colornum JMP colornum // Lagra på namngiven minnesadress // Oops, undrar vad färgnumret betyder // när det tolkas som en instruktion! En första nivå av abstraktion! kbyte minne Konkret adress, Abstrakt namn, colornum 65535

5 Intro till variabler (3) 5 Abstrahera språket mer en variabel: En lagringsplats (en eller flera bytes) Ett symboliskt namn på lagringsplatsen längd = 10 höjd = 5 Bara "vettiga" operationer är möjliga JMP colornum; längd höjd Minne Minnesadressen kan bli osynlig i språket! Men den finns ändå där

6 Intro till variabler (4) 6 Kan stödja fler datatyper: Strängar Listor längd höjd längd = 10 höjd = 5 hälsning = "hello" färger = [red, green] Minne hälsning "hello" färger [red, green]

7 Intro till variabler (5) Vi kan skriva över gamla värden längd = 10 höjd = 5 hälsning = "hello" färger = [red, green] längd höjd längd = 47 # Samma variabel, # samma lagringsplats, # samma minnesadress (som vi oftast inte vet / bryr oss om!), # nytt värde hälsning Minne "hello" färger [red, green]

8 Variabler: Sammanfattning 8 Så: En variabel används för att lagra ett värde, och består av: En lagringsplats i minnet, där ett värde kan placeras Ett symboliskt namn på lagringsplatsen, som används i koden Python Programkod längd Minne vid körning 10 höjd 5 hälsning färger "Hello" [red, green] Variabel = en "låda" för ett värde: Värdet kan bytas ut (längd = 22), men det är fortfarande samma variabel

9

10 Värdetyper 10 Varje värde har en typ heltal, decimaltal, Vissa språk håller inte reda på den Assembler: Ingen typkontroll Värdetyp "sparas" inte, kontrolleras aldrig Inget fel signaleras Resultat: "Skumma värden" Exempel: Lagra decimaltal bytes, hex Läs som heltal, 4 bytes, hex heltal

11 Värdetyper 11 Men de flesta, även Python, håller reda på värdets typ Även om man sällan skriver typnamnet Programkod Minne vid körning print(längd) print(10) heltalsutskrift Symboliskt namn (används i koden) längd Lagringsplats för ett värde int A 10 Heltal print(färger) print([red,green]) listutskrift räknare hälsning int A str A 21 Hej! Heltal Sträng färger + 2 fel vid körning! färger list [red, green] Lista

12 Variabeltyper 12 I många språk har även variabeln en typ Gäller Java, C, C++, Pascal, Ada, Men inte Python Programkod Minne vid körning Symboliskt namn (används i koden) Lagringsplats för ett värde Heltal längd 10 Heltal Heltal höjd 5 Heltal Sträng hälsning "Hello" Sträng Lista färger [red, green] Lista

13 Variabeltyper latent typing manifest typing 13 Java: Manifest typsystem (variabeltyp anges explicit i koden) Python: Latent typsystem (bara värdet har en typ) längd är en heltalsvariabel som alltid innehåller ett heltal längd är en vad-som-helst-variabel som just nu innehåller ett heltal Varför variabeltyper? Varför ange dem explicit?

14 När vet man värdetypen? 14 Latent typsystem: Python Manifest typsystem: Java Kompilatorn vet mer (kan optimera mer effektivare) Vi vet mer (typerna är dokumentation)

15 Konsekvenser: Typkontroll 15 Python: Dynamisk typkontroll Java: Statisk typkontroll Går det att addera? Kolla värdetyp vid körning Om inte numeriskt: Signalera fel Går det att addera? Kolla variabeltyp vid kompilering Om inte numeriskt: Signalera fel dynamic type checking static type checking

16 Konsekvenser: Val av operation 16 Python: Dynamisk typkontroll Java: Statisk typkontroll Måste kolla vid körning: x heltal? Addera 10 direkt x är heltal! Addera direkt x flyttal? Konvertera 10 till 10.0, addera x annat? Signalera fel!

17 Konsekvenser: Minnesutrymme 17 Python: Dynamisk typkontroll Java: Statisk typkontroll Hur kolla typen hos b:s värde? Måste lagra typen med värdet Hur kolla typen hos b:s värde? Variabelns typ är int, värdet måste ju ha samma typ x heltal 10 int x 10 delvis därför kan ett heltal ta 24 bytes Ett heltal tar 4 bytes (int), 8 bytes (long)

18 Brasklapp 18 En brasklapp: Terminologin för typsystem är ofta otydlig och omtvistad Många termer brukar blandas ihop Statisk typning Statisk typkontroll Manifest typning Stark typning Det viktigaste är begreppen och dess konsekvenser Även dynamisk typning (Python) har fördelar! Mindre att skriva Mer flexibilitet i vissa fall

19

20 Primitiva (grundläggande) typer i Java 20 Heltalstyper lika på alla plattformar! Används sällan Vanligast! "L" indikerar "långt heltal" Två flyttalstyper skiljer i precision och storlek ± ± ± ± Övrigt

21 Stora tal 21 Operationer på heltal kan ge overflow "översvämning"! Operander av typ : Multiplikation av 32-bitarstal: 32 bitar slutresultat

22 Overflow 22 Varför overflow i Java, men inte Python? Historiskt "Så var det ju i C och C++" Effektivitet! Java: 32-bitars multiplikation, klar. Annars: Python: Testa storlek, allokera minne för resultat,

23 Använd större datatyp 23 Beräkningar använder den största av operandernas typer är en int (inget "L") 32 bitar slutresultat Kan verka korkat Sedan expanderas detta till 64 bitar men är mer förutsägbart: Resultat beror bara på operandernas typer

24 Använd större datatyp (2) 24 Beräkningar använder den största av operandernas typer Största operanden är long Expandera den andra "131072" till long Utför 64-bitars multiplikation Expandering tappar aldrig information sker automatiskt!

25 Farliga" typkonverteringar 25 Konstanter och funktioner i Math-klassen Kompileringsfel! Math.sqrt returnerar en double Att konvertera double till int kan tappa information "farligt" Måste uttryckligen be om konvertering!

26 Typkonvertering: Casting 26 Konvertera med en cast Beräkning, sedan trunkering (avhuggning) Beräknar värdet: (int) trunkerar detta till: Mer:

27 Utan casting 27 Byt variabeltyp Beräkningar Beräknar värdet: Skriver ut det

28 Vad är sant / falskt? 28 Python: Automatisk konvertering Java: Bara boolean-värden Ofta bekvämt Kan leda till misstag Mer att skriva Ibland tydligare Kan förhindra misstag

29

30 Bakgrund 30 Vissa typer ska bara ha några få fördefinierade värden Day: Monday, Tuesday,, Sunday Suit: Clubs, Diamonds, Hearts, Spades

31 Emulering 31 Kan emuleras på många sätt, t.ex. med heltalskonstanter Inte typsäkert! Stödjer nonsensoperationer Efter kompilering finns bara heltalen kvar svårare att tolka Värdet är 4 betyder det torsdag eller fredag? Eller kanske grönt, spader eller giraff?

32 Uppräkningstyper 32 Java har stöd för uppräkningstyper (enumerated types) Man räknar upp vilka värden som finns Sju enumkonstanter Inga nonsens-operationer tillgängliga Namngivningskonvention: ALL_CAPS för konstanter enum-konstant = enum constant

33 Uppräkningstyper: Typsäkerhet 33 Distinkt typ (inte int) typsäkerhet Håller reda på namn: Skriver ut "THURSDAY", inte 4

34 Uppräkningstyper: Index 34 Vi kan få ut index för ett värde

35 Uppräkningstyper 35 Vi kan få ut ett värde med givet namn och en lista på alla värden

36 Jämförelse 36 Sämsta lösningen: Konstanter utan namn Gammal lösning: Namngivna heltal Bäst, vid fixerade värden: Uppräkningsbar typ