- Conditional (programming)
-
"Conditional statement" redirects here. For the general concept in logic, see Material conditional.
In computer science, conditional statements, conditional expressions and conditional constructs are features of a programming language which perform different computations or actions depending on whether a programmer-specified boolean condition evaluates to true or false. Apart from the case of branch predication, this is always achieved by selectively altering the control flow based on some condition.
In imperative programming languages, the term "conditional statement" is usually used, whereas in functional programming, the terms "conditional expression" or "conditional construct" are preferred, because these terms all have distinct meanings.
Although dynamic dispatch is not usually classified as a conditional construct, it is another way to select between alternatives at runtime.
Contents
If-then(-else)
The
if-then
construct (sometimes calledif-then-else
) is common across many programming languages. Although the syntax varies quite a bit from language to language, the basic structure (in pseudocode form) looks like this: (The example is actually perfectly valid Visual Basic or QuickBASIC syntax.)IF (predicate) THEN (consequent) ELSE (alternative) END IF
When an interpreter finds an
If
, it expects a boolean condition - for example,x > 0
, which means "the variable x contains a number that is greater than zero" - and evaluates that condition. If the condition istrue
, the statements following theThen
are executed. Otherwise, the execution continues in the following branch - either in theElse
block (which is usually optional), or if there is noElse
branch, then after theEnd If
.After either branch has been executed, control returns to the point after the
End If
.In early programming languages, especially some dialects of BASIC in the 1980s home computers, an
if-then
statement could only containGOTO
statements. This led to a hard-to-read style of programming known as spaghetti programming, with programs in this style called spaghetti code. As a result, so called structured programming which allows (virtually) arbitrary statements to be put in statement blocks inside anif
statement, gained in popularity, until it became the norm even in most BASIC programming circles. Such mechanisms and principles were based on the older but more advanced ALGOL family of languages, and ALGOL-like languages such as Pascal and Modula-2 influenced modern BASIC variants for many years. While it is possible while using onlyGOTO
statements inif-then
statements to write programs that are not spaghetti code and are just as well structured and readable as programs written in a structured programming language, so called structured programming makes this easier and enforces it. Structuredif-then-else
statements like the example above are one of the key elements of structured programming, and they are present in most popular high-level programming languages including C, its derivatives (including C++ and C#), Java, JavaScript and Visual Basic (all versions including .NET).Else if
By using
Else If
, it is possible to combine several conditions. Only the statements following the first condition that is found to be true will be executed. All other statements will be skipped. The statements of the finalElse
will be executed if none of the conditions are true. This example is written in the Ada language:if condition then -- statements; elsif condition then -- more statements elsif condition then -- more statements; ... else -- other statements; end if;
elsif
, in Ada, is simply syntactic sugar forelse
followed byif
. In Ada, the difference is that only oneend if
is needed, if one useselsif
instead ofelse
followed byif
.In some other languages, such as C and Java,
else if
literally just meanselse
followed byif
, and syntactic sugar is neither needed nor provided. This works because in these languages, anelse
followed by one statement (in this case theif
) does not need braces. This is not true in Perl, which provides the keywordelsif
to avoid the large number of braces that would be required by multipleif
andelse
statements. Similarly, Python uses the special keywordelif
because structure is denoted by indentation rather than braces, so a repeated use ofelse
andif
would require increased indentation after every condition.C and Java implementations, however, do have a disadvantage that each
else if
branch is, effectively, adding an extra nesting level, which will complicate compiler's writer job if arbitrarily longelse if
chains are to be supported.If expressions
Many languages support if expressions, which are similar to if statements, but return a value as a result. Thus, they are true expressions (which evaluate to a value), not statements (which just perform an action).
As a ternary operator
Main article: ?:In C and C-like languages conditional expressions take the form of a ternary operator called the conditional expression operator, ?:, which follows this template:
(condition)?(evaluate if condition was true):(evaluate if condition was false)
This means that conditions can be inlined into expressions, unlike with if statements, as shown here using C syntax:
//Invalid in most programming languages. One of exceptions is Ruby my_variable = if(x > 10) { "foo" } else { "bar" }; //Valid my_variable = (x > 10)?"foo":"bar";
To accomplish the same as the second (correct) line above, using a standard if/else statement, this would take more than one line of code (under standard layout conventions):
if (x > 10) my_variable = 'foo'; else my_variable = 'bar';
ALGOL 60 and some other members of the ALGOL family have the
if
expression which performs the same function.In ALGOL:
myvariable := if x > 10 then 1 else 2
In the Lisp dialects Scheme and Common Lisp, the former of which was inspired to a great extent by ALGOL:
;; Scheme (define myvariable (if (> x 10) 1 2)) ; Assigns ‘myvariable’ to 1 or 2, depending on the value of ‘x’ ;; Common Lisp (let ((x 5)) (setq myvariable (if (> x 10) 1 2))) ; Assigns ‘myvariable’ to 2
As a function
In Visual Basic and some other languages, a function called
IIf
is provided, which can be used as a conditional expression. However, it does not behave like a true conditional expression, because both the true and false branches are always evaluated; it is just that the result of one of them is thrown away, while the result of the other is returned by the IIf function.In Haskell
In Haskell 98, there is only an if expression, no if statement, and the
else
part is compulsory, as every expression must have some value.[1] Logic that would be expressed with conditionals in other languages is usually expressed with pattern matching in recursive functions.Because Haskell is lazy, it is possible to write control structures,. such as if, as ordinary expressions; the lazy evaluation means that an if function can evaluate only the condition and proper branch (where a strict language would evaluate all three). It can be written like this:[2]
if' :: Bool -> a -> a -> a if' True x _ = x if' False _ y = y
Arithmetic if
Up to Fortran 77, the language Fortran has an "arithmetic if" statement which is halfway between a computed IF and a case statement, based on the trichotomy x < 0, x = 0, x > 0. This was the earliest conditional statement in Fortran. [3]:
IF (e) label1, label2, label3
Where e is any numeric expression (not necessarily an integer); this is equivalent to
IF (e .LT. 0) GOTO label1 IF (e .EQ. 0) GOTO label2 IF (e .GT. 0) GOTO label3
Because this arithmetic IF is equivalent to multiple
GOTO
statements, it is considered to be an unstructured control statement, and should not be used if more structured statements can be used. In practice it has been observed that most arithmeticIF
statements referenced the following statement with one or two of the labels.This was the only conditional control statement in the original implementation of Fortran on the IBM 704 computer. On that computer it could be implemented quite efficiently using instructions such as 'Branch if accumulator negative'.
Object-oriented implementation in Smalltalk
In contrast to other languages, in Smalltalk the conditional statement is not a language construct but defined in the class
Boolean
as an abstract method that takes two parameters, both closures.Boolean
has two subclasses,True
andFalse
, which both define the method,True
executing the first closure only,False
executing the second closure only.[4]var := condition ifTrue: [ 'foo' ] ifFalse: [ 'bar' ]
Case and switch statements
Main article: Switch statementSwitch statements (in some languages, case statements or multiway branches) compare a given value with specified constants and take action according to the first constant to match. There is usually a provision for a default action ('else','otherwise') to be taken if no match succeeds. Switch statements can allow compiler optimizations, such as lookup tables. In dynamic languages, the cases may not be limited to constant expressions, and might extend to pattern matching, as in the shell script example on the right, where the '*)' implements the default case as a regular expression matching any string.
Pascal: C: Java: Shell script: case someChar of 'a': actionOnA; 'x': actionOnX; 'y','z':actionOnYandZ; else actionOnNoMatch; end;
switch (someChar) { case 'a': actionOnA; break; case 'x': actionOnX; break; case 'y': case 'z': actionOnYandZ; break; default: actionOnNoMatch; }
switch (age) { case 1: System.out.printf("You're one."; break; case 2: System.out.printf("You're two."; break; case 3: System.out.printf("You're three."; break; case 4: System.out.printf("You're one."; break; default: System.out.printf("You're neither!"; break; }
case $someChar in a) actionOnA; ;; x) actionOnX; ;; [yz]) actionOnYandZ; ;; *) actionOnNoMatch ;; esac
Pattern matching
Main article: Pattern matchingPattern matching may be seen as a more sophisticated alternative to both if-then-else, and case statements. It is available in many programming languages with functional programming features, such as ML and many others. Here is a simple example written in the Objective Caml language:
match fruit with | "apple" -> cook pie | "coconut" -> cook dango_mochi | "banana" -> mix;;
The power of pattern matching is the ability to concisely match not only actions but also values to patterns of data. Here is an example written in Haskell which illustrates both of these features:
map _ [] = [] map f (h : t) = f h : map f t
This code defines a function map, which applies the first argument (a function) to each of the elements of the second argument (a list), and returns the resulting list. The two lines are the two definitions of the function for the two kinds of arguments possible in this case - one where the list is empty (just return an empty list) and the other case where the list is not empty.
Pattern matching is not strictly speaking always a choice construct, because it is possible in Haskell to write only one alternative, which is guaranteed to always be matched - in this situation, it is not being used as a choice construct, but simply as a way to bind names to values. However, it is frequently used as a choice construct in the languages in which it is available.
Branch predication
Main article: Branch predicationIn assembly language, branch predication is a feature of certain central processing unit (CPU) instruction sets which permits conditional execution of instructions, without having to perform costly conditional jumps.
Choice system cross reference
This table refers to the most recent language specification of each language. For languages that do not have a specification, the latest officially released implementation is referred to.
Programming language Structured if switch/select/case Arithmetic if Pattern matching[A] then else else-if Ada Yes Yes Yes Yes No No C/C++ Yes Yes unneeded[B] fall-through No No C# Yes Yes unneeded[B] Yes No No Eiffel Yes Yes Yes Yes No No F# Yes Yes Yes unneeded[C] No Yes Fortran[clarification needed] Yes Yes Yes Yes Yes No Haskell Yes needed unneeded[B] unneeded[C] No Yes Java Yes Yes unneeded[B] fall-through[5] No No ECMAScript (JavaScript) Yes Yes unneeded[B] fall-through[6] No No Perl Yes Yes Yes Yes No No PHP Yes Yes Yes fall-through No No Pascal, Delphi, Oberon, etc. Yes Yes unneeded Yes No No Python Yes Yes Yes No No No QuickBASIC Yes Yes Yes Yes Yes No Ruby Yes Yes Yes Yes No No Visual Basic, classic Yes Yes Yes Yes No No Visual Basic .NET Yes Yes Yes Yes No No Windows PowerShell Yes Yes Yes fall-through No No - ^ This refers to pattern matching as a distinct conditional construct in the programming language - as opposed to mere string pattern matching support, such as regular expression support.
- 1 2 3 4 5 The often-encountered
else if
in the C family of languages, and in Haskell, is not a language feature but a set of nested and independent if then else statements combined with a particular source code layout. However, this also means that a distinct else-if construct is not really needed in these languages. - 1 2 In Haskell and F#, a separate constant choice construct is unneeded, because the same task can be done with pattern matching.
See also
- Branch (computer science)
- Dynamic dispatch for another way to make execution choices
- McCarthy Formalism for history and historical references
- Named condition
References
- ^ Haskell 98 Language and Libraries: The Revised Report
- ^ "If-then-else Proposal on HaskellWiki"
- ^ "American National Standard Programming Language FORTRAN". 1978-04-03. http://www.fortran.com/fortran/F77_std/rjcnf0001-sh-11.html#sh-11.4. Retrieved 2007-09-09.
- ^ "VisualWorks: Conditional Processing". 2006-12-16. http://wiki.cs.uiuc.edu/VisualWorks/Conditional+Processing. Retrieved 2007-09-09.
- ^ Java.sun.com, Java Language Specification, 3rd Edition.
- ^ Ecma-international.org ECMAScript Language Specification, 5th Edition.
External links
- Coding samples and links to user documentation in many languages: ActionScript, Assembly, Bash, BASIC, C, C++, C#, Excel, Fortran, Java, JavaScript, JSP, Objective-C, Pascal, Perl, PHP, Python, Ruby, Tcl, Velocity, Windows PowerShell, XSL/XSLT
- IF NOT (ActionScript 3.0) video
Categories:- Articles with example Pascal code
- Articles with example Haskell code
- Conditional constructs
Wikimedia Foundation. 2010.