- Switch statement
In
computer programming , a switch statement is a type of control statement that exists in most modernimperative programming languages (e.g., Pascal, C,C++ , C#, and Java). Its purpose is to allow the value of avariable or expression to control the flow of program execution. In some other programming languages, a statement that is syntactically different but conceptually the same as the switch statement is known as a case statement or a select statement.In most languages, a switch statement is defined across many individual statements. A typical syntax is that the first line contains the actual word "switch" followed by either the name of a variable or some other expression allowed by the language's syntax. This variable or expression is usually referred to as the "control variable" of the switch statement. After this line, following lines define one or more blocks of code that represent possible branches that program execution may take.
Each block begins with a line containing the case keyword followed a value that the control variable may have. If the value of the control variable matches this value, program execution will jump to that block of code. If not, the value specified in the next block (if present) is examined and the process repeats.
An optional special block is also allowed, which does not specify any value and which begins with the default keyword instead of the case keyword. If this block is present and if none of the values listed for any other block matches that of the control variable, program execution will jump to the statement following the default keyword.
The method of terminating a block is also of note. Typically, a break keyword is used to signal the end of the block. When encountered, this keyword causes program execution to continue with the first statement after the series of statements within the switch statement, thus completing execution of the switch statement. If no break keyword is present at the end of the block, in many languages program execution "falls through" to the code associated with the next block in the switch statement, as if its value also matched the value of the control variable. Notable exceptions include C#, in which fallthrough is not permitted unless the block is empty and all blocks must be terminated via a break, or by using another keyword. Similarly, almost all
BASIC dialects that feature this type of statement do not allow fallthrough.Optimized switch
If the range of input values is identifiably 'small' and has only a few gaps, some compilers that incorporate an optimizer may actually implement the switch statement as a
branch table or an array of indexedfunction pointer s instead of a lengthy series of conditional instructions - which can be much faster. Normally, the only method of finding out if this optimization has happened is by actually looking at the resultantassembler ormachine code output that has been generated by the compiler. The first 'C' example below would be eligible for this kind of optimization if the compiler supported it.Examples
The following are simple examples, written in the various languages, that use switch statements to print one of several possible lines, depending on the value of an integer entered by the user. The lack of break keywords to cause fall through of program execution from one block to the next is used extensively. For example, if n=5, the third case statement will produce a match to the control variable. Since there are no statements following this line and no break keyword, execution continues through the 'case 7:' line and to the next line, which produces output. The break line after this causes the switch statement to conclude. If the user types in more than one digit, the default block is executed, producing an error message.
=C=
=Python=Python doesn’t have the “fall through” mechanism; a function per case is needed, and hashing is used to determine which function is called.
=Ruby=Ruby doesn’t have the “fall through” mechanism; it also uses case instead of switch, when instead of case and else instead of default.
Haskell
Haskell's case construct is different in three ways: unlike C-influenced languages, it has no fall-through behaviour; it is an
expression which returns a value; and it candeconstruct values usingpattern matching .case list of (f:r) -> "Not empty, first item is " ++ show f [] -> "List is empty!"
=Java=ymbolic Constants in Switch
In many (but not all) circumstances,using names rather than ordinary integers makesthe source code easier to read. This has no influenceon the behavior of the program.This style of switch statement is commonly used for
finite state machine implementation.The tradition in C is for such constants to be in all capitals,although this is not enforced by the compiler.Here are some examples:C (using pre-processor)
C (using enum)
C (const int illegal in switch)
WARNING: although this example looks tempting,it will not compile in a standard C compiler.The const keyword in C is a weak sort of constantand not suitable for use as a case in a switch statement.
Alternative uses
Many languages also support using "true" as the variable, and having an expression as the case.
For example in PHP you can do:
The reason this works is because the variable being switched for is the boolean true. So having
x='hello'
as a condition would either return true or false, so if that is true, it matches the thing which is being checked.You could also use this for checking multiple variables against one value instead of checking multiple values for one variable:
In Ruby, due to its handling of
=
equality, the statement can be used to test for variable’s class:Ruby also returns a value that can be assigned to a variable, and doesn’t actually require the
case
to have any parameters (acting a bit like anelse if
statement):Compilation
If the constants form a compact range then a switch statement can be implemented very efficiently as if it were a choice based on whole numbers. This is often done by using a
jump table .Advantages and disadvantages
In some languages and programming environments, a case or switch statement is considered easier to read and maintain than an equivalent series of "if-else" statements, because it is more concise. However, when implemented with fall-through, switch statements are a frequent source of bugs among programmers new to the switch statement.
Alternatives
One alternative to a switch statement can be the use of a
lookup table which contains as keys the case values and as values the part under the case statement. In some languages, only actual data types are allowed as values in the lookup table. In other languages, it is also possible to assign functions as lookup table values, gaining the same flexibility as a real switch statement (this is one way to implement switch statements in Lua which has no built-in switch [ [http://lua-users.org/wiki/SwitchStatement Switch statement in Lua] ] ).In some cases, lookup tables are more efficient than switch statements as many languages can optimize the table lookup whereas switch statements are often not optimized that muchFact|date=October 2008.
Another "alternative" to switch statements is the extensive use of polymorphism.
References
See also
*
Branch table an extremely fast, optimized form of a switch statement used mostly inAssembler language s
*Duff's device is aloop unwinding technique that makes use of a switch statement.
*A switch statement is a type of conditional statement.
Wikimedia Foundation. 2010.