Minus/fi: what changed

Revision 1 to 2. Removed lines have a minus sign; added lines have a plus sign.

Old	New		Line
1		-	~~<div style="float:left; margin: 0 10px 10px 0; padding:40px; font-size:500%; font-family: Georgia; background-color: #f9f9f9; border: 2px solid #777777;">~~
2		-
3	1		\-
4	2
5		-	~~</div>~~
6		-
7	3		[[ASCII/fi\|ASCII]]:ssa joka on merkistön koodina desimaalisena `45` (tai [[Hexadecimal/fi\|heksadesimaalisena]] `2D`) on määritelty `-` (miinusmerkiksi).
8		-
9		-	\
10		-	\
11		-	\
12		-	\
13	4
14	5		## Esiintyminen
15	6
16	7		Symboli `-` (jota sanotaan “miinusmerkiksi”) käytetään
17	8
18	9		- ilmaisemaan että luku on negatiivinen
19	10		- vähentämään kaksi lukua
20	11		- muodostavat kahden [[Set/fi\|joukon]] erotuksen
21	12
22	13		``` pascal
23	14		program minusDemo(input, output, stderr);
24	15
25	16		var
26	17		x: longint;
27	18		g: longint;
28	19		m: set of (foo, bar);
29	20
30	21		begin
31	22		// yksi operaattori: negatiivinen etumerkki
32	23		x := -42; // x saa arvokseen negatiivisen 42
33	24
34	25		// kaksi operaattoria: lukujen erotus
35	26		g := 144 - 169; // g saa arvokseen negatiivisen 25
36	27
37	28		// kaksi operaattoria: joukkojen ero
38	29		m := [foo, bar] - [bar]; // joukko m saa arvokseen joukon {foo}
39	30		end.
40	31		```
41	32
42	33		## Toiminta lukujen kanssa
43	34
44	35		Varoitus: Vähentämisen tulos (ja etumerkki muunnokset) pitäisi tehdä etumerkillisillä kokonaisluvuilla. Jos se ei ole, [[sRangechecks\|{$rangechecks}]] on otettu käyttöön, se saattaa aiheuttaa ajon aikaisen virheen. Kaikissa muissa tapauksissa syntyy aritmeettisesti virheellinen tulos.
45	36
46	37		``` pascal
47	38		program faultySubtraction(input, output, stderr);
48	39
49	40		var
50	41		x, y: longword;
51	42
52	43		begin
53	44		y := 1;
54	45		{$push}
55	46		{$rangechecks off} // otherwise the next expression
56	47		x := 0 - y; // yields RTE 201
57	48		{$pop}
58	49
59	50		writeLn(x);
60	51		end.
61	52		```
62	53
63	54		Tämä ohjelma tulostaa `4294967295`, mikä on sama kuin `high(longword)` koska tapahtuu (etumerkittömän) kokonaisluvun ylivuoto.
64	55
65	56		On kuitenkin tilanteista, joissa negatiiviset merkit eivät välttämättä aiheuta virheitä. Yritetään "negatiivisen" nollan tallentaminen ei vahingoita:
66	57
67	58		``` pascal
68	59		program minusOperations(input, output, stderr);
69	60
70	61		{$rangeChecks on}
71	62
72	63		var
73	64		n: longword;
74	65
75	66		begin
76	67		// "Negatiivinen" nolla
77	68		n := 0;
78	69		n := -n;
79	70		```
80	71
81	72		Huomaa myös, että aritmeettinen kokonaisluku operaatio on suoritettu prosessorin natiivilla kokonaislukutyypillä. Vaikka välitulokset eivät ole alueella, `{$rangechecks on}` tuottaman koodin ansiosta tyypin rajat eivät ylity tuloksen tallentamisen jälkeen.
82	73
83	74		``` pascal
84	75		// välitulokset voivat olla alueen ulkopuolella:
85	76		n := 1;
86	77		n := n - n - n + 1;
87	78		end.
88	79		```
89	80
90	81		Tämä koko ohjelma päättyy poistumiskoodilla [`exitCode`](https://www.freepascal.org/docs-html/rtl/system/exitcode.html) nolla (tämä tarkoittaa "onnistunutta" ohjelman lopettamista \[todellinen arvo saattaa vaihdella eri alustoilla\]).
91	82
92	83		Tämän jälkimmäisen käyttäytymisen seurauksena: Prosessorin alkuperäisluvun kokonaislukujen ylivuotoa ei voida pitää kiinni (tällä tavalla). [[Assembly language\|Assemblerissa]] on pääsy arvioimaan useita tilamerkkejä, mutta Pascalissa ei ole. Sen sijaan voidaan käyttää [[sOverflowchecks\|{$overflowChecks}]] -toimintoa, joka herättää ajon aikaisen virheen.
93	84
94	85		``` pascal
95	86		program overflowChecksDemo(input, output, stderr);
96	87
97	88		{$overflowChecks on}
98	89
99	90		var
100	91		n: {$ifdef CPU64} int64 {$else} longint {$endif};
101	92
102	93		begin
103	94		n := high(n);
104	95		n := n + 1; // Aiheuttaa ajonaikaisen virheen (RTE) 215
105	96		end.
106	97		```
107	98
108	99		Kääntäjän ohjeella `{$overflowChecks}` tuotettu koodi on tehokkain , koska se käyttää suoraan saatavilla olevia status flag -arviointiohjeita (esim. "Hyppää jos ylivuoto tapahtui"). Haittapuolena, kerran käynnistetty RTE lopettaa ohjelman väistämättä. Jos tätä pidetään hyvänä, niin on tunnistettava tilanteet, jotka johtavat ylivuotoihin omalla tavalla:
109	100
110	101		``` pascal
111	102		program overflowAnticipation(input, output, stderr);
112	103
113	104		var
114	105		n: {$ifdef CPU64} int64 {$else} longint {$endif};
115	106
116	107		begin
117	108		// untreated
118	109		n := high(n);
119	110		n := n + 1;
120	111		writeLn(n); // prints low(n)
121	112
122	113		// anticipated: reverse operation and comparison w/ 1st operand
123	114		n := high(n);
124	115		if high(n) - 1 < n then
125	116		begin
126	117		halt(1);
127	118		end;
128	119		n := n + 1;
129	120		writeLn(n);
130	121		end.
131	122		```
132	123
133	124		Tämä ei tietenkään ole yhtä tehokasta kuin ylivuotorekisterin testaaminen, ja täällä, ilman uudelleenkäytettyä [[Constant/fi\|vakiota (constant)]], on jopa alttiita ohjelmointivirheille (harkitse tilannetta, joka muuttaa vain yhden summan).
134	125
135	126		---
136	127		From the Free Pascal wiki, page "Minus/fi", as it stood on 2022-08-06 after a change by Kai Burghardt, out of the wiki's dump of 2024-05-26. Copyright stays with the author who wrote it, according to the old wiki's [[Licensing]] page. If you have concerns about this material, [message the admin](/wiki-contact).

Back to history