switch statement in C

[koolj96825]

{
const int state_black = 1 ;
const int state_white = 2 ;

int state ;

state = state_black ;

switch(state)
{

case state_black:
break ;

case state_white:
break;
}
}

why is this not acceptable?
why can't declaring the variable const make it suitable to use with
the case label?

Thanks in advance

[Ian Collins]

ko********@yaho o.com wrote:

>
{
const int state_black = 1 ;
const int state_white = 2 ;

int state ;

state = state_black ;

switch(state)
{

case state_black:
break ;

case state_white:
break;
}
}

why is this not acceptable?
why can't declaring the variable const make it suitable to use with
the case label?

In C, for some reason a const variable isn't classed as a compile time
constant. Which is why we have to resort to enums and smelly #defines.

--
Ian Collins.

[Keith Thompson]

ko********@yaho o.com writes:

{
const int state_black = 1 ;
const int state_white = 2 ;

int state ;

state = state_black ;

switch(state)
{

case state_black:
break ;

case state_white:
break;
}
}

why is this not acceptable?
why can't declaring the variable const make it suitable to use with
the case label?

See question 11.8 in the comp.lang.c FAQ, <http://www.c-faq.com/>.

--
Keith Thompson (The_Other_Keit h) 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."
-- Antony Jay and Jonathan Lynn, "Yes Minister"

[Martin Ambuhl]

ko********@yaho o.com wrote:

>
{
const int state_black = 1 ;
const int state_white = 2 ;

int state ;

state = state_black ;

switch(state)
{

case state_black:
break ;

case state_white:
break;
}
}

why is this not acceptable?

state_black and state_white are variables, not constants, and switch
labels must use compile-time constants.

why can't declaring the variable const make it suitable to use with
the case label?

Because the variable is still a variable, and not a compile-time constant.

[Keith Thompson]

Martin Ambuhl <ma*****@earthl ink.netwrites:

ko********@yaho o.com wrote:

>{
const int state_black = 1 ;
const int state_white = 2 ;
int state ;
state = state_black ;
switch(state )
{
case state_black:
break ;
case state_white:
break;
}
}
why is this not acceptable?

state_black and state_white are variables, not constants, and switch
labels must use compile-time constants.

>why can't declaring the variable const make it suitable to use with
the case label?

Because the variable is still a variable, and not a compile-time constant.

state_black and state_white are "variables" , sort of, except that they
aren't allowed to vary.

I think using the term "variable" to something that can't legally be
modified may be a bit misleading. (A cast can be used to get around
the "const" qualification and attempt to modify it, but any attempt to
do so invokes undefined behavior.)

The standard uses the term "object", not "variable".

As question 11.8 in the FAQ explains, the "const" qualifier really
means "read-only", not "constant". Quoting the FAQ:

The const qualifier really means ``read-only''; an object so
qualified is a run-time object which cannot (normally) be assigned
to. The value of a const-qualified object is therefore not a
constant expression in the full sense of the term, and cannot be
used for array dimensions, case labels, and the like. (C is unlike
C++ in this regard.) When you need a true compile-time constant,
use a preprocessor #define (or perhaps an enum).

For the above, it would have made more sense to declare:

enum state { state_black = 1, state_white = 2 };

The "= 1" and "= 2" could be omitted if you don't care about the
values, as long as they're distinct.

--
Keith Thompson (The_Other_Keit h) 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."
-- Antony Jay and Jonathan Lynn, "Yes Minister"

[koolj96825]

For the above, it would have made more sense to declare:

>
enum state { state_black = 1, state_white = 2 };

The "= 1" and "= 2" could be omitted if you don't care about the
values, as long as they're distinct.

I like this solution. I will use it. Thanks.

The example code is not an actual case, just an example.

[Keith Thompson]

ko********@yaho o.com writes:

>For the above, it would have made more sense to declare:

enum state { state_black = 1, state_white = 2 };

The "= 1" and "= 2" could be omitted if you don't care about the
values, as long as they're distinct.

I like this solution. I will use it. Thanks.

[...]

You're welcome.

I wrote the above. Please don't snip attribution lines (i.e., lines
of the form "So-and-so <fo*@bar.comwri tes:".

--
Keith Thompson (The_Other_Keit h) 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."
-- Antony Jay and Jonathan Lynn, "Yes Minister"

[koolj96825]

Keith Thompson wrote:

I wrote the above. Please don't snip attribution lines (i.e., lines
of the form "So-and-so <fo*@bar.comwri tes:".

--
Keith Thompson (The_Other_Keit h) 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."
-- Antony Jay and Jonathan Lynn, "Yes Minister"

Oops, it was an unintensional oversight. Sorry about that. Well, at
least you'll hear less of me in four days. My internet connection
runs out. I'll need to sponge for a while.

Have a good day.

[CBFalconer]

ko********@yaho o.com wrote:

Keith Thompson wrote:

>I wrote the above. Please don't snip attribution lines (i.e., lines
of the form "So-and-so <fo*@bar.comwri tes:".

--
Keith Thompson (The_Other_Keit h) 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."
-- Antony Jay and Jonathan Lynn, "Yes Minister"

Oops, it was an unintensional oversight. Sorry about that. Well, at
least you'll hear less of me in four days. My internet connection
runs out. I'll need to sponge for a while.

Please snip sigs. This is the part following the "-- " line.

--
<http://www.cs.auckland .ac.nz/~pgut001/pubs/vista_cost.txt>
<http://www.securityfoc us.com/columnists/423>
<http://www.aaxnet.com/editor/edit043.html>

"A man who is right every time is not likely to do very much."
-- Francis Crick, co-discover of DNA
"There is nothing more amazing than stupidity in action."
-- Thomas Matthews
--
Posted via a free Usenet account from http://www.teranews.com

[Richard Bos]

Keith Thompson <ks***@mib.orgw rote:

Martin Ambuhl <ma*****@earthl ink.netwrites:

ko********@yaho o.com wrote:

why can't declaring the variable const make it suitable to use with
the case label?

Because the variable is still a variable, and not a compile-time constant.

state_black and state_white are "variables" , sort of, except that they
aren't allowed to vary.

I think using the term "variable" to something that can't legally be
modified may be a bit misleading.

Programming law #14: variables won't; constants aren't.

Richard