473,226 Members | 1,416 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,226 software developers and data experts.

why does C standard allow this declaration

Hi

Why does C allows declaration of variable inside switch block.
ex: foll prg does not gives "undeclared "b" error msg. but also does
not initialize b to 20
int a=1;
switch(a)
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}

this prints some garbage.
( yeah even though i got warning msg "unreachable code int b = 20" why
is it declaring inside switch block but not initializing b)

Sep 20 '06 #1
18 2086
"sunny" <su*******@gmail.comwrites:
>Why does C allows declaration of variable inside switch block.
ex: foll prg does not gives "undeclared "b" error msg. but also does
not initialize b to 20
int a=1;
switch(a)
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}
>this prints some garbage.
( yeah even though i got warning msg "unreachable code int b = 20" why
is it declaring inside switch block but not initializing b)

Programs do not give warnings about themselves;
different compilers may give different warnings and errors.

You will probably be horrified by Duff's Device:

http://www.lysator.liu.se/c/duffs-de...l#duffs-device
http://www.catb.org/jargon/html/D/Duffs-device.html

--
Chris,
Sep 20 '06 #2
sunny wrote:
Hi

Why does C allows declaration of variable inside switch block.
ex: foll prg does not gives "undeclared "b" error msg. but also does
not initialize b to 20
int a=1;
switch(a)
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}

this prints some garbage.
( yeah even though i got warning msg "unreachable code int b = 20" why
is it declaring inside switch block but not initializing b)

It depends on your compiler. I am using gcc and it throws following
warning message

[kokje@RocketFuel ~]$ gcc test.c -o test
test.c: In function `main':
test.c:7: warning: unreachable code at beginning of switch statement

What compiler are you using ?

Tejas Kokje

Sep 20 '06 #3

sunny wrote:
Hi

Why does C allows declaration of variable inside switch block.
ex: foll prg does not gives "undeclared "b" error msg. but also does
not initialize b to 20
int a=1;
switch(a)
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}

this is an unfortunate side efect of allowing declarations at the
beginning of any block, and the switch statement requiring a block, or
at least to be useful;

In general it's not fair to look for extreme sense in C, it was just
supposed to be a pragmatic, ad-hoc language for use by some genius
coders at Bell Labs, 30+ years ago, for hecks sake!

Sep 20 '06 #4
i am using gcc available with Cygwin

Tejas Kokje wrote:
sunny wrote:
Hi

Why does C allows declaration of variable inside switch block.
ex: foll prg does not gives "undeclared "b" error msg. but also does
not initialize b to 20
int a=1;
switch(a)
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}

this prints some garbage.
( yeah even though i got warning msg "unreachable code int b = 20" why
is it declaring inside switch block but not initializing b)


It depends on your compiler. I am using gcc and it throws following
warning message

[kokje@RocketFuel ~]$ gcc test.c -o test
test.c: In function `main':
test.c:7: warning: unreachable code at beginning of switch statement

What compiler are you using ?

Tejas Kokje
Sep 20 '06 #5

sunny wrote:
Hi

Why does C allows declaration of variable inside switch block.
because it allows declaration of variables inside any braced block.
ex: foll prg does not gives "undeclared "b" error msg. but also does
not initialize b to 20
int a=1;
switch(a)
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}

this prints some garbage.
( yeah even though i got warning msg "unreachable code int b = 20" why
is it declaring inside switch block but not initializing b)
automatic variables (of which b is an example) are initialized as if by
an assignment (I'm talking casually here).

So it's as if the block starts with :-
{
int b; /* declaration */
b = 20; /* initialization */
case 1: <etc>

But in a switch statement only the operations following "case" or
"default" are executed. Hence the variable b is declared, but not
initialized.

Sep 20 '06 #6
Chris McDonald wrote:
You will probably be horrified by Duff's Device:
I'm not so much horrified as puzzled by the location of the while.
Is it the equivalent of a goto into a do loop?
Sep 20 '06 #7

sunny wrote:
Hi

Why does C allows declaration of variable inside switch block.
I went back to my dog-eared copy of K & R (1st edition).

On P.203 it says "Declarations may appear at the head of [the subject
of a switch], but initializations of automatic and register variables
are ineffective".

So one answer to "why?" is "because that's what K & R said".

Sep 20 '06 #8
On 2006-09-20, sunny <su*******@gmail.comwrote:
Hi

Why does C allows declaration of variable inside switch block.
ex: foll prg does not gives "undeclared "b" error msg. but also does
not initialize b to 20
int a=1;
switch(a)
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}

this prints some garbage.
( yeah even though i got warning msg "unreachable code int b = 20" why
is it declaring inside switch block but not initializing b)
As the warning message stated, the initialization is unreachable code.
According to the specification:

Storage is guaranteed to be reserved for a new instance of such an
object on each normal entry into the block with which it is associated,
or on a jump from outside the block to a labeled statement in the
block or in an enclosed block. If any initialization is specified for
the value stored in the object, it is performed on each normal entry,
but not if the block is entered by a jump to a labeled statement.

The compiler is conforming to the specification, and it is giving a
warning about the initialization not being performed.
Sep 20 '06 #9
ma**********@pobox.com wrote:
sunny wrote:
Hi

Why does C allows declaration of variable inside switch block.

because it allows declaration of variables inside any braced block.
Old C doesn't allow variables to be declared everywhere, right?
ex: foll prg does not gives "undeclared "b" error msg. but also does
not initialize b to 20
int a=1;
switch(a)
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}

this prints some garbage.
( yeah even though i got warning msg "unreachable code int b = 20" why
is it declaring inside switch block but not initializing b)

automatic variables (of which b is an example) are initialized as if by
an assignment (I'm talking casually here).

So it's as if the block starts with :-
{
int b; /* declaration */
b = 20; /* initialization */
case 1: <etc>

But in a switch statement only the operations following "case" or
"default" are executed. Hence the variable b is declared, but not
initialized.
Your explanation seems reasonable. The control flow goes to "int b;"
and "b" is defined. It also goes to "b = 20;", why doesn't the
assignment take effect?

What's the difference between a declaration and a statement? When does
the declaration is executed and the variable "b" is defined? Why does
the assignment statement above is skipped but the declaration is not?

Thank you.

Sep 20 '06 #10
lovecreatesbea...@gmail.com posted:
ma**********@pobox.com wrote:
>sunny wrote:
Hi

Why does C allows declaration of variable inside switch block.

because it allows declaration of variables inside any braced block.

Old C doesn't allow variables to be declared everywhere, right?

No, all declarations must appear at the beginning of a block, before any
expression statements.

What's the difference between a declaration and a statement?

A declaration declares something. Here are some examples of declarations:

int i;
typedef unsigned UInt;
int Func();

(the first one is a definition as well as a declaration.)

--

Frederick Gotham
Sep 20 '06 #11
lovecreatesbea...@gmail.com <lo***************@gmail.comwrote:
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}
Your explanation seems reasonable. The control flow goes to "int b;"
and "b" is defined. It also goes to "b = 20;", why doesn't the
assignment take effect?
The control flow does *not* go to b=20; read other replies in this
thread, or look at the example in n869 6.8.4.2, paragraph 7.

--
C. Benson Manica | I *should* know what I'm talking about - if I
cbmanica(at)gmail.com | don't, I need to know. Flames welcome.
Sep 20 '06 #12
"sunny" <su*******@gmail.comwrites:
Why does C allows declaration of variable inside switch block.
ex: foll prg does not gives "undeclared "b" error msg. but also does
not initialize b to 20
int a=1;
switch(a)
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}

this prints some garbage.
( yeah even though i got warning msg "unreachable code int b = 20" why
is it declaring inside switch block but not initializing b)
The C switch statement is actually a rather primitive construct. It's
basically nothing more than a computed goto statement.

The code above is equivalent to this:

int a=1;
if (a == 1) goto case_1; else goto case_default; /* switch(a) */
{
int b=20;
case_1:
printf("b is %d\n",b);
goto end_of_switch; /* break; */
case_default: printf("b is %d\n",b);
goto end_of_switch; /* break; */
}
end_of_switch:;

The grammar doesn't even require a block; it's just
switch ( expression ) statement

For example here's a rather perverse "hello, world" program:

#include <stdio.h>
int main(void)
{
switch (0) case 0: printf("Hello, world!\n");
return 0;
}

You *can* write structured switch statements if you're careful. You
can also write impenetrable spaghetti. Or you can write Duff's
Device, which is a little of each.

--
Keith Thompson (The_Other_Keith) ks***@mib.org <http://www.ghoti.net/~kst>
San Diego Supercomputer Center <* <http://users.sdsc.edu/~kst>
We must do something. This is something. Therefore, we must do this.
Sep 20 '06 #13

Christopher Benson-Manica wrote:
lovecreatesbea...@gmail.com <lo***************@gmail.comwrote:
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}
Your explanation seems reasonable. The control flow goes to "int b;"
and "b" is defined. It also goes to "b = 20;", why doesn't the
assignment take effect?

The control flow does *not* go to b=20; read other replies in this
thread, or look at the example in n869 6.8.4.2, paragraph 7.
I understand that the control flow will go to one of the "case" and
"default" entries in the following example. The code lines 4 and 5 are
not in any of those entries.

Code line 4 & 5 are in the same scope. I want to know why the variable
"b" is defined at line 4 but the assignment at line 5 is skipped. When
are declaration and statement executed respectively? Is declaration
executed at compiling time but statement executed at run-time?

Thank you.

....
{
int b; /*line 4*/
b=20; /*line 5*/

case 1:
printf("b is %d\n",b);
break;
default:
printf("b is %d\n",b);
break;
}

Sep 21 '06 #14
On 20 Sep 2006 18:59:34 -0700, "lovecreatesbea...@gmail.com"
<lo***************@gmail.comwrote in comp.lang.c:
>
Christopher Benson-Manica wrote:
lovecreatesbea...@gmail.com <lo***************@gmail.comwrote:
{
int b=20;
case 1: printf("b is %d\n",b);
break;
default:printf("b is %d\n",b);
break;
}
Your explanation seems reasonable. The control flow goes to "int b;"
and "b" is defined. It also goes to "b = 20;", why doesn't the
assignment take effect?
The control flow does *not* go to b=20; read other replies in this
thread, or look at the example in n869 6.8.4.2, paragraph 7.

I understand that the control flow will go to one of the "case" and
"default" entries in the following example. The code lines 4 and 5 are
not in any of those entries.

Code line 4 & 5 are in the same scope. I want to know why the variable
"b" is defined at line 4 but the assignment at line 5 is skipped. When
are declaration and statement executed respectively? Is declaration
executed at compiling time but statement executed at run-time?

Thank you.

...
{
int b; /*line 4*/
b=20; /*line 5*/

case 1:
printf("b is %d\n",b);
break;
default:
printf("b is %d\n",b);
break;
}
An assignment statement is like any other statement. It is executed
when the control flow of the program "passes through" that statement.

Consider this snippet:

int silly_func(int x)
{
int y = 0;

if (x < -10)
{
y = -1;
}
else if (x 10)
{
y = 1;
}
return y;
}

The first line inside the brace is a declaration with an initializer,
so y is always initialized to 0 at the start of the function. As to
the two assignment statements, either the first, the second, or
neither of them will be executed. The control flow of the program
does not "pass through" a statement that is controlled by a
conditional expression that happens to be false.

This is not just a property of the braces that I used after the "if"
and "else if". You could remove them and result would be the same.
Nor is it a special property of "if" and other conditional statements.

Look at this similar (in result) example:

int sillier_func(int x)
{
int y = 0;

if (x < -10)
goto negative;

if (x 10)
goto positive;

goto all_done;

negative:
y = -1;
goto all_done;

positive:
y = 1;

all_done:
return y;
}

This function must perform exactly the same as the first. If y is
between -11 and INT_MIN, it must return -1. If y is between 11 and
INT_MAX, it must return 1. Otherwise, y is between -10 and +10
inclusive, and the function returns 0.

Here the assignments are at the same level, which also happens to be
the same level as the declaration and initializer. But the goto
statements cause just one, or neither, of the assignment statements to
be initialized.

When the flow of control goes "around", instead of "through" a
statement, that statement is not executed.

This also applies to declarations with initializers, although
technically an initializer is not a statement. If the flow of control
goes "around", rather than "through" a declaration with an
initializer, which can only happen in a switch statement, the object
has scope through the end of the block, but is not initialized either.

Note that if you did this in a switch statement:

switch (x)
{
int b = 0;
case 1: printf("b = %d\n", b); break;
}

....you produce undefined behavior when x is 1 because b is an
uninitialized automatic variable.

--
Jack Klein
Home: http://JK-Technology.Com
FAQs for
comp.lang.c http://c-faq.com/
comp.lang.c++ http://www.parashift.com/c++-faq-lite/
alt.comp.lang.learn.c-c++
http://www.contrib.andrew.cmu.edu/~a...FAQ-acllc.html
Sep 21 '06 #15

Jack Klein wrote:
On 20 Sep 2006 18:59:34 -0700, "lovecreatesbea...@gmail.com"
<lovecreatesbea...@gmail.comwrote in comp.lang.c:
I understand that the control flow will go to one of the "case" and
"default" entries in the following example. The code lines 4 and 5 are
not in any of those entries.

Code line 4 & 5 are in the same scope. I want to know why the variable
"b" is defined at line 4 but the assignment at line 5 is skipped. When
are declaration and statement executed respectively? Is declaration
executed at compiling time but statement executed at run-time?

...
{
int b; /*line 4*/
b=20; /*line 5*/

case 1:
printf("b is %d\n",b);
break;
default:
printf("b is %d\n",b);
break;
}

An assignment statement is like any other statement. It is executed
when the control flow of the program "passes through" that statement.

Consider this snippet:

int silly_func(int x)
{
int y = 0;

if (x < -10)
{
y = -1;
}
else if (x 10)
{
y = 1;
}
return y;
}

The first line inside the brace is a declaration with an initializer,
so y is always initialized to 0 at the start of the function. As to
the two assignment statements, either the first, the second, or
neither of them will be executed. The control flow of the program
does not "pass through" a statement that is controlled by a
conditional expression that happens to be false.
Thank you. But I still have the anxious.

In the following example, line 8 equals line 9 plus line 10. The
variables "c" and "b" are defined but the initialization and assignment
to them are skipped. I want to know when the declaration/definition is
performed. When will their corresponding be performed? Why their
initialization and assignment are skipped. Are these initialization and
assignment performed later than the corresponding declaration? Is
declaration executed at compiling time but statement executed at
run-time?

$ cat a.c
#include <stdio.h>

int main(void)
{
int a = 1;
switch(a)
{
int c = 30; /*line 8*/
int b; /*line 9*/
b = 20; /*line 10*/

case 1:
printf("[case 1:] b: %d, c: %d\n", b + 1, c + 1);
break;

default:
printf("[default:] b: %d, c: %d\n", b, c);
break;
}

return 0;
}
$ cc -ansi -pedantic -Wall -W a.c
a.c: In function `main':
a.c:8: warning: unreachable code at beginning of switch statement
$ ./a.out
[case 1:] b: 1075108033, c: 1073833281
$

Sep 21 '06 #16

Frederick Gotham wrote:
lovecreatesbea...@gmail.com posted:
ma**********@pobox.com wrote:
sunny wrote:
Why does C allows declaration of variable inside switch block.
because it allows declaration of variables inside any braced block.
Old C doesn't allow variables to be declared everywhere, right?
No, all declarations must appear at the beginning of a block, before any
expression statements.
Do you really mean that? In the following snippet, the variable i is
defined after the function call expression statement, printf(),

#include <stdio.h>

int main(void){
printf("hello world\n");
int i;

return 0;
}

and this is a complying code.

Oct 8 '06 #17
Why does C allows declaration of variable inside switch block.
>because it allows declaration of variables inside any braced block.
Old C doesn't allow variables to be declared everywhere, right?
No, all declarations must appear at the beginning of a block, before any
expression statements.

Do you really mean that? In the following snippet, the variable i is
defined after the function call expression statement, printf(),

#include <stdio.h>

int main(void){
printf("hello world\n");
int i;

return 0;
}

and this is a complying code.
Not in C89. It is in C99, but the context was "Old C"..
Oct 8 '06 #18

Gordon Burditt wrote:
Why does C allows declaration of variable inside switch block.
because it allows declaration of variables inside any braced block.
Old C doesn't allow variables to be declared everywhere, right?
No, all declarations must appear at the beginning of a block, before any
expression statements.
Do you really mean that? In the following snippet, the variable i is
defined after the function call expression statement, printf(),

#include <stdio.h>

int main(void){
printf("hello world\n");
int i;

return 0;
}

and this is a complying code.

Not in C89. It is in C99, but the context was "Old C"..
Thank you for the correction. I understand it now, the code in my last
reply mixes declarations and statements that is forbidden in C89. A
pair of additional braces make the declaration at the beginning of a
block and legal in C89.

#include <stdio.h>

int main(void){
printf("hello world\n");

{
int i;
}

return 0;
}

Oct 8 '06 #19

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

4
by: Roy Yao | last post by:
Why the following code let my compiler complain an overloaded function Init()? // code begin template<class T> class BicircularList { template<class T> class Iterator; template<class T> class...
70
by: Roy Yao | last post by:
Does it mean "(sizeof(int))* (p)" or "sizeof( (int)(*p) )" ? According to my analysis, operator sizeof, (type) and * have the same precedence, and they combine from right to left. Then this...
71
by: Christopher Benson-Manica | last post by:
At what point was the .h dropped from the STL headers? I just had a discussion yesterday with my boss, who said he wanted .h on all the STL includes, despite me protesting that it was not...
6
by: Markus Dehmann | last post by:
I have a circular dependency between two classes. The FAQ hint about a forward declaration does not help in my case ( How can I create two classes that both know about each other?) Error:...
11
by: aleko | last post by:
This applies equally to function prototypes. Why do we have to tell the compiler twice? Other modern compiled languages don't have this requirement. Just curious, Aleko
15
by: Generic Usenet Account | last post by:
While I have a very good feel for how inlining works, I fail to see how in the world inlining can work if the inlined function is not described "in place" in a header file, but rather defined in a...
15
by: Greenhorn | last post by:
Hi, when a function doesn't specify a return type ,value what value is returned. In the below programme, the function sample()is returning the value passed to 'k'. sample(int); main() { int...
130
by: Daniel Manes | last post by:
I'm baffled. I have a column in a SQL Server Express database called "Longitude," which is a float. When I view the table in a DataGridView, some of the numbers, which only have two decimal places...
13
by: Paul Melis | last post by:
Can someone explain to me why the following code compiles without errors on gcc 4.0.2? void f() { } void t() { f(1,2,3);
1
isladogs
by: isladogs | last post by:
The next online meeting of the Access Europe User Group will be on Wednesday 6 Dec 2023 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, Mike...
0
by: veera ravala | last post by:
ServiceNow is a powerful cloud-based platform that offers a wide range of services to help organizations manage their workflows, operations, and IT services more efficiently. At its core, ServiceNow...
3
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 3 Jan 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). For other local times, please check World Time Buddy In...
0
by: jianzs | last post by:
Introduction Cloud-native applications are conventionally identified as those designed and nurtured on cloud infrastructure. Such applications, rooted in cloud technologies, skillfully benefit from...
0
by: mar23 | last post by:
Here's the situation. I have a form called frmDiceInventory with subform called subfrmDice. The subform's control source is linked to a query called qryDiceInventory. I've been trying to pick up the...
0
by: abbasky | last post by:
### Vandf component communication method one: data sharing ​ Vandf components can achieve data exchange through data sharing, state sharing, events, and other methods. Vandf's data exchange method...
2
by: jimatqsi | last post by:
The boss wants the word "CONFIDENTIAL" overlaying certain reports. He wants it large, slanted across the page, on every page, very light gray, outlined letters, not block letters. I thought Word Art...
1
by: davi5007 | last post by:
Hi, Basically, I am trying to automate a field named TraceabilityNo into a web page from an access form. I've got the serial held in the variable strSearchString. How can I get this into the...
0
by: MeoLessi9 | last post by:
I have VirtualBox installed on Windows 11 and now I would like to install Kali on a virtual machine. However, on the official website, I see two options: "Installer images" and "Virtual machines"....

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.