Difference between revisions of "If and Then"

From Free Pascal wiki
(remove “back to <some random page>” link, as there are multiple pages linking here; substitute legacy syntaxhighlight syntax)
(unify code style; rephrase sentence misusing the term “block” (as it is defined in the article Block); insert Usage)
 
Line 1: Line 1:
 
{{then}}
 
{{then}}
  
The <syntaxhighlight lang="pascal" inline>if</syntaxhighlight> [[Keyword|keyword]] precedes a condition, must be followed by <syntaxhighlight lang="pascal" inline>then</syntaxhighlight> and a statement.
+
The <syntaxhighlight lang="pascal" inline>if</syntaxhighlight> [[Keyword|keyword]] precedes a condition, must be followed by <syntaxhighlight lang="pascal" inline>then</syntaxhighlight> and a [[statement]].
 
The statement may optionally be followed by [[Else|<syntaxhighlight lang="pascal" inline>else</syntaxhighlight>]] and another statement.
 
The statement may optionally be followed by [[Else|<syntaxhighlight lang="pascal" inline>else</syntaxhighlight>]] and another statement.
 +
This creates a binary [[Branch|branch]].
  
 
== <syntaxhighlight lang="pascal" inline>If then</syntaxhighlight> ==
 
== <syntaxhighlight lang="pascal" inline>If then</syntaxhighlight> ==
 
 
<syntaxhighlight lang="pascal">
 
<syntaxhighlight lang="pascal">
 
if condition
 
if condition
Line 12: Line 12:
 
</syntaxhighlight>
 
</syntaxhighlight>
  
<syntaxhighlight lang="pascal" inline>condition</syntaxhighlight> is a [[Boolean|<syntaxhighlight lang="pascal" inline>boolean</syntaxhighlight>]] expression that evaluates to [[True|<syntaxhighlight lang="pascal" inline>true</syntaxhighlight>]] xor [[False|<syntaxhighlight lang="pascal" inline>false</syntaxhighlight>]].
+
<syntaxhighlight lang="pascal" inline>condition</syntaxhighlight> is a [[Boolean|<syntaxhighlight lang="pascal" inline>Boolean</syntaxhighlight>]] expression that evaluates to [[True|<syntaxhighlight lang="pascal" inline>true</syntaxhighlight>]] xor [[False|<syntaxhighlight lang="pascal" inline>false</syntaxhighlight>]].
 
<syntaxhighlight lang="pascal" inline>true_statement</syntaxhighlight> is executed if <syntaxhighlight lang="pascal" inline>condition</syntaxhighlight> evaluates to <syntaxhighlight lang="pascal" inline>true</syntaxhighlight>.
 
<syntaxhighlight lang="pascal" inline>true_statement</syntaxhighlight> is executed if <syntaxhighlight lang="pascal" inline>condition</syntaxhighlight> evaluates to <syntaxhighlight lang="pascal" inline>true</syntaxhighlight>.
 
<syntaxhighlight lang="pascal" inline>false_statement</syntaxhighlight> is executed if <syntaxhighlight lang="pascal" inline>condition</syntaxhighlight> evaluates to <syntaxhighlight lang="pascal" inline>false</syntaxhighlight>.
 
<syntaxhighlight lang="pascal" inline>false_statement</syntaxhighlight> is executed if <syntaxhighlight lang="pascal" inline>condition</syntaxhighlight> evaluates to <syntaxhighlight lang="pascal" inline>false</syntaxhighlight>.
A compile-time error occurs if the type of <syntaxhighlight lang="pascal" inline>condition</syntaxhighlight> does not evaluate to a <syntaxhighlight lang="pascal" inline>boolean</syntaxhighlight> value.
+
A [[compile-time error]] occurs if the type of <syntaxhighlight lang="pascal" inline>condition</syntaxhighlight> does not evaluate to a <syntaxhighlight lang="pascal" inline>Boolean</syntaxhighlight> value.
  
 
=== Multiple statements in <syntaxhighlight lang="pascal" inline>if then</syntaxhighlight> branch ===
 
=== Multiple statements in <syntaxhighlight lang="pascal" inline>if then</syntaxhighlight> branch ===
If you need two or more statements for <syntaxhighlight lang="pascal" inline>true_statement</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>false_statement</syntaxhighlight>, enclose them within a [[Begin|<syntaxhighlight lang="pascal" inline>begin</syntaxhighlight>]]&nbsp;…&nbsp;[[End|<syntaxhighlight lang="pascal" inline>end</syntaxhighlight>]] [[Block]] (compound statement).
+
If you need two or more statements for <syntaxhighlight lang="pascal" inline>true_statement</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>false_statement</syntaxhighlight>, enclose them within a [[Begin|<syntaxhighlight lang="pascal" inline>begin</syntaxhighlight>]]&nbsp;…&nbsp;[[End|<syntaxhighlight lang="pascal" inline>end</syntaxhighlight>]] frame (“compound statement”).
  
 
<syntaxhighlight lang="pascal">
 
<syntaxhighlight lang="pascal">
Line 28: Line 28:
 
end;
 
end;
 
</syntaxhighlight>
 
</syntaxhighlight>
 +
 +
== Usage ==
 +
In order to optimize for speed in an <syntaxhighlight lang="pascal" inline>if … then … else</syntaxhighlight> branch, try to write your expression so that the <syntaxhighlight lang="pascal" inline>then</syntaxhighlight>-part gets executed most often.
 +
This improves the rate of successful <syntaxhighlight lang="asm" inline>jump</syntaxhighlight> predictions.
  
 
== See also ==
 
== See also ==
 
 
* Official documentation: [https://www.freepascal.org/docs-html/ref/refsu57.html Reference guide: § “The <syntaxhighlight lang="pascal" inline>If..then..else</syntaxhighlight> statement”]
 
* Official documentation: [https://www.freepascal.org/docs-html/ref/refsu57.html Reference guide: § “The <syntaxhighlight lang="pascal" inline>If..then..else</syntaxhighlight> statement”]
 
* [[IF]], Tao Yue, Basic Pascal Introduction
 
* [[IF]], Tao Yue, Basic Pascal Introduction

Latest revision as of 08:37, 22 June 2020

Deutsch (de) English (en) français (fr) русский (ru)

The if keyword precedes a condition, must be followed by then and a statement. The statement may optionally be followed by else and another statement. This creates a binary branch.

If then

if condition
	then true_statement
else false_statement;

condition is a Boolean expression that evaluates to true xor false. true_statement is executed if condition evaluates to true. false_statement is executed if condition evaluates to false. A compile-time error occurs if the type of condition does not evaluate to a Boolean value.

Multiple statements in if then branch

If you need two or more statements for true_statement or false_statement, enclose them within a begin … end frame (“compound statement”).

if boolean_condition then
begin
	statement_zero;
	statement_one;
	statement_two;
end;

Usage

In order to optimize for speed in an if  then  else branch, try to write your expression so that the then-part gets executed most often. This improves the rate of successful jump predictions.

See also


Keywords: begindoelseendforifrepeatthenuntilwhile