C# compiler bug

[Subramaniyan Neelagandan]

The following program outputs False rather than True.
using System;

namespace Test

{

public struct V

{

public bool booleanV;

public void setBoolean(bool _value)

{

booleanV = _value;

}

}

public class C

{

public readonly V Value;

}

public class StructBug

{

static public void Main(string[] args)

{

C c = new C();

c.Value.setBoolean(true);

Console.WriteLine(c.Value.booleanV);

Console.Read();

}

}

}

[Christoph Nahr]

On Fri, 18 Jun 2004 14:23:48 -0700, "Subramaniyan Neelagandan"
<su***@neptune-tech.com> wrote:

The following program outputs False rather than True.

And that is correct. It's a programmer bug, not a compiler bug.
Investigate the difference between struct and class.
--
http://www.kynosarges.de

[Jon Skeet [C# MVP]]

Subramaniyan Neelagandan <su***@neptune-tech.com> wrote:

The following program outputs False rather than True.

And indeed it should.

From the ECMA C# spec, section 14.5.4, Member Access:
(applicable sections only):

A member-access of the form E.I, where E is a primary-expression or a
predefined-type and I is an identifier, is evaluated and classified as
follows:

If E is a property access, indexer access, variable, or value, the type
of which is T, and a member lookup (§14.3) of I in T produces a match,
then E.I is evaluated and classified as follows:

If T is a class-type and I identifies an instance field of that class-
type:

[...]

Otherwise, if the field is readonly and the reference occurs outside an
instance constructor of the class in which the field is declared, then
the result is a value, namely the value of the field I in the object
referenced by E.
So, due to it being a read-only field, the result of the expression
c.Value is the value of c.Value, not a variable. Changing the data in
that value doesn't change the data in c.Value, as V is a value type.

--
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too

[Christoph Nahr]

On Fri, 18 Jun 2004 22:42:44 +0100, Jon Skeet [C# MVP]
<sk***@pobox.com> wrote:

So, due to it being a read-only field, the result of the expression
c.Value is the value of c.Value, not a variable. Changing the data in
that value doesn't change the data in c.Value, as V is a value type.

You will also get a compiler error if you write the more obvious
operation: c.Value.booleanV = true;

Using a set method for a struct field is a rather ingenuous method to
sneak bugs into a C# program, I have to admit... maybe the next
version of the C# compiler could check for that?
--
http://www.kynosarges.de

[Jon Skeet [C# MVP]]

Christoph Nahr <ch************@kynosarges.de> wrote:

The following program outputs False rather than True.

And that is correct. It's a programmer bug, not a compiler bug.
Investigate the difference between struct and class.

Well, in particular, how that interacts with the fact that the Value
variable is readonly. If you make it writable, it prints True.

--
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too

[Subramaniyan Neelagandan]

Hi,

Which spec you are talking about? I have version 1.2 in word format as well
as in my MSDN library. Both are talking about Enum.

So, could you point me to the spec you are talking about?

Thanks
SN
"Jon Skeet [C# MVP]" <sk***@pobox.com> wrote in message
news:MP************************@msnews.microsoft.c om...
Subramaniyan Neelagandan <su***@neptune-tech.com> wrote:

The following program outputs False rather than True.

And indeed it should.

From the ECMA C# spec, section 14.5.4, Member Access:
(applicable sections only):

A member-access of the form E.I, where E is a primary-expression or a
predefined-type and I is an identifier, is evaluated and classified as
follows:

If E is a property access, indexer access, variable, or value, the type
of which is T, and a member lookup (§14.3) of I in T produces a match,
then E.I is evaluated and classified as follows:

If T is a class-type and I identifies an instance field of that class-
type:

[...]

Otherwise, if the field is readonly and the reference occurs outside an
instance constructor of the class in which the field is declared, then
the result is a value, namely the value of the field I in the object
referenced by E.
So, due to it being a read-only field, the result of the expression
c.Value is the value of c.Value, not a variable. Changing the data in
that value doesn't change the data in c.Value, as V is a value type.

--
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too

[Subramaniyan Neelagandan]

Hi,

I found the section. It is 7.5.4.

Thanks

"Jon Skeet [C# MVP]" <sk***@pobox.com> wrote in message
news:MP************************@msnews.microsoft.c om...
Subramaniyan Neelagandan <su***@neptune-tech.com> wrote:

The following program outputs False rather than True.

And indeed it should.

From the ECMA C# spec, section 14.5.4, Member Access:
(applicable sections only):

A member-access of the form E.I, where E is a primary-expression or a
predefined-type and I is an identifier, is evaluated and classified as
follows:

If E is a property access, indexer access, variable, or value, the type
of which is T, and a member lookup (§14.3) of I in T produces a match,
then E.I is evaluated and classified as follows:

If T is a class-type and I identifies an instance field of that class-
type:

[...]

Otherwise, if the field is readonly and the reference occurs outside an
instance constructor of the class in which the field is declared, then
the result is a value, namely the value of the field I in the object
referenced by E.
So, due to it being a read-only field, the result of the expression
c.Value is the value of c.Value, not a variable. Changing the data in
that value doesn't change the data in c.Value, as V is a value type.

--
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too

[Jon Skeet [C# MVP]]

Subramaniyan Neelagandan <su***@neptune-tech.com> wrote:

Which spec you are talking about? I have version 1.2 in word format as well
as in my MSDN library. Both are talking about Enum.

So, could you point me to the spec you are talking about?

The ECMA one. See http://www.ecma-international.org/ or
http://www.jaggersoft.com/csharp_standard/index.htm

--
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too

[Beeeeeves]

Also if I strongly name an assembly, will it reference the recompiled
component once it's recompiled, or will it always keep the one its reference
was initially set to?

"Christoph Nahr" <ch************@kynosarges.de> wrote in message
news:3d********************************@4ax.com...

On Fri, 18 Jun 2004 14:23:48 -0700, "Subramaniyan Neelagandan"
<su***@neptune-tech.com> wrote:

The following program outputs False rather than True.

And that is correct. It's a programmer bug, not a compiler bug.
Investigate the difference between struct and class.
--
http://www.kynosarges.de

[cody]

I don't believe that this has something to do with strong name or not.
But if you've declared the variable as const then the constant would be
hardbakened into all referencing assembly and changing itf value when
recompiling would not affect other assemblies.
But if you have readonly variables, changing them changes them in all
referencing assemblies.

--
cody

[Freeware, Games and Humor]
www.deutronium.de.vu || www.deutronium.tk
"Beeeeeves" <beeeeeeeeev@ves> schrieb im Newsbeitrag
news:OK**************@TK2MSFTNGP10.phx.gbl...

Also if I strongly name an assembly, will it reference the recompiled
component once it's recompiled, or will it always keep the one its reference was initially set to?

"Christoph Nahr" <ch************@kynosarges.de> wrote in message
news:3d********************************@4ax.com...

On Fri, 18 Jun 2004 14:23:48 -0700, "Subramaniyan Neelagandan"
<su***@neptune-tech.com> wrote:

The following program outputs False rather than True.

And that is correct. It's a programmer bug, not a compiler bug.
Investigate the difference between struct and class.
--
http://www.kynosarges.de