Short Circuit Rule in C - Revision history

Arjun Suresh at 14:06, 14 April 2014

2014-04-14T14:06:14Z

Arjun Suresh at 16:42, 22 February 2014

2014-02-22T16:42:49Z

Arjun Suresh at 21:54, 20 December 2013

2013-12-20T21:54:30Z

Arjun Suresh: /* Solution */

2013-12-20T21:54:09Z

‎Solution

Arjun Suresh at 13:45, 20 December 2013

2013-12-20T13:45:22Z

Arjun Suresh at 13:40, 20 December 2013

2013-12-20T13:40:40Z

Arjun Suresh at 13:40, 20 December 2013

2013-12-20T13:40:15Z

Arjun Suresh at 13:39, 20 December 2013

2013-12-20T13:39:29Z

Arjun Suresh at 13:39, 20 December 2013

2013-12-20T13:39:19Z

Arjun Suresh at 13:38, 20 December 2013

2013-12-20T13:38:58Z

@@ Line 21: / Line 21: @@
 (D) 2 2
-===Solution===
+==={{Template:Author|Arjun Suresh|{{arjunweb}} }}===
 Anyone who have read about [[Undefined Value 2|undefined value]] in C language might think that the answer here is Undefined. But, in the definition of [[Undefined Value 2|undefined value]], its clearly mentioned about [https://en.wikipedia.org/wiki/Sequence_point sequence points] and logical operators || and && are pat of sequence points. That is, all the side effects of evaluation of expression on the left side of these operators must be completed before evaluating the right side. This is done so that short circuiting rule (explained below) would work in C.

@@ Line 1: / Line 1: @@
 <metadesc>Short Circuit Rule in C language, Predict the output</metadesc>
 ===What's the output?===
-<syntaxhighlight lang="c">
+<syntaxhighlight lang="c" name="shortcircuitrule">
 #include <stdio.h>
 int main()

@@ Line 11: / Line 11: @@
+}
 </syntaxhighlight>
 (A) Undefined Value

@@ Line 25: / Line 25: @@
 Short circuiting rule is used to short circuit the evaluation of an expression as soon as the result of the whole expression is known. i.e.; Once the end result of an expression is determined at some point during the evaluation of that expression, the evaluation of the remaining part of that expression is skipped. This happens in the case of logical operators && and ||.
-In the question here, consider the statement
+In the code above, consider the statement
    b = ++a || ++a;
-Here, we know the end value of || operator, just when we see ||, as ++a returns a positive number. Hence, the compiler will skip the execution of the remaining part of the expression and thus a is incremented only once (to 2) and b is assigned the result of || operator which is 1.
+Here, we know the end value of || operator, even before we evaluate the right hand side of ||, as ++a returns a positive number. Hence, the compiler will skip the execution of the remaining part of the expression. Thus a is incremented only once (to 2) and b is assigned the result of || operator which is 1.
 Similarly for && operator, the second part of the expression wont be evaluated if the first half evaluates to 0.

@@ Line 21: / Line 21: @@
 ===Solution===
-Anyone who have read about [[Undefined Value 2|undefined value]] in C language might think that the answer here is Undefined. But, in the definition of [[Undefined Value 2|undefined value]], its clearly mentioned about [https://en.wikipedia.org/wiki/Sequence_point sequence points] and logical operators || and && are pat of sequence points. That is, all the side effects of expressions on the left side of these operators must be completed before evaluation the right side. This is done so that short circuiting rule (explained below) would work in C.
+Anyone who have read about [[Undefined Value 2|undefined value]] in C language might think that the answer here is Undefined. But, in the definition of [[Undefined Value 2|undefined value]], its clearly mentioned about [https://en.wikipedia.org/wiki/Sequence_point sequence points] and logical operators || and && are pat of sequence points. That is, all the side effects of evaluation of expression on the left side of these operators must be completed before evaluating the right side. This is done so that short circuiting rule (explained below) would work in C.
-Short circuiting rule is used to short circuit the evaluation of an expression as soon as the result of the whole expression is known. i.e.; Once the end result of an expression is determined, at some point during the evaluation of that expression, the remaining part of the expression is not evaluated. This happens in the case of logical operators && and ||.
+Short circuiting rule is used to short circuit the evaluation of an expression as soon as the result of the whole expression is known. i.e.; Once the end result of an expression is determined at some point during the evaluation of that expression, the evaluation of the remaining part of that expression is skipped. This happens in the case of logical operators && and ||.
 In the question here, consider the statement
    b = ++a || ++a;
-Here, we know the value of b, just when we see ||, as ++a returns a positive number. Hence, the compiler will skip the remaining execution of the expression and a is incremented to 2 and b is assigned the result of || operator which is 1.
+Here, we know the end value of || operator, just when we see ||, as ++a returns a positive number. Hence, the compiler will skip the execution of the remaining part of the expression and thus a is incremented only once (to 2) and b is assigned the result of || operator which is 1.
-Similarly for && operator, the second part of the expression won't be evaluated if the first half evaluates to 0.
+Similarly for && operator, the second part of the expression wont be evaluated if the first half evaluates to 0.
-Short circuiting rule is provided not only to avoid execution of dead codes but also as a means of error handling. For example, in the left side of && we can check
+Short circuiting rule is provided not only to avoid execution of dead codes but also as a means of error handling. For example, in the left hand side of && we can check
-the index of an array to be within the bounds and then in the right hand side, access the array element.
+the index of an array to be within the array bounds and then in the right hand side, access the array element.
 {{Template:FBD}}