How: To get true dynamic polymorphism (i.e. smalltalk)

[Yechezkal Gutfreund]

I have two subclasses of SpriteModel (1) LocalSprite (2)Sprite

Both implement a method called .ToXml() which returns an XmlDocument. But
they are different.

I instances of these objects stored in a Hashtable. Extracting them from the
Hashtable means that I get a object that is tentatively an instance of Class
Object (or Type Object to use the correct C# word).

I can HARD cast the object to a SpriteModel, and then invoke the .ToXml()
method, but if either of these sublcasses overrides or NEWs the default
method in SpriteModel. I can't get to it.

What I want to do is dynamically cast the object extracting from the
Hashtable to it's .GetType

realType = spriteList.Valu e.GetType()

and then do something like a dynamic cast (realType)sprit eList.Value

Obviously, this is very wrong syntacically, but there most be something that
is kosher that does the same effect? right? I don't have to resort to
Reflection and P/Invoke do I?

public override string ToString()
{
StringBuilder response = new StringBuilder() ;
lock (this.spriteTab le) {
IDictionaryEnum erator spriteList = this.spriteTabl e.GetEnumerator ();
while (spriteList.Mov eNext())
{
SpriteModel sprite = (SpriteModel)sp riteList.Value;
response.Append (Tools.PrettyPr int(sprite.ToXm l().DocumentEle ment));
response.Append ("\r\n");
}
}
return response.ToStri ng();
}

[Yechezkal Gutfreund]

To put this in TCL/TK or Smalltalk way of speaking I am looking for the
equivelent of

(random object).perform Method("named method")

I.e. I want to invoke methods dynamically at run-time

Assume I already did the checking that this method is implemented by the
object, so that I don't get a run-time error

[Yes, I am not a fan of 100% rigidly hard-typed systems, since there are
times where one needs to get around this]
--
=============== =============== ====
Yechezkal Gutfreund
Chief Scientist
Kesser Technical Group, Inc.
=============== =============== ====
"Yechezkal Gutfreund" <sg********@hot mail.com> wrote in message
news:eJ******** ******@TK2MSFTN GP10.phx.gbl...

I have two subclasses of SpriteModel (1) LocalSprite (2)Sprite

Both implement a method called .ToXml() which returns an XmlDocument. But
they are different.

I instances of these objects stored in a Hashtable. Extracting them from the Hashtable means that I get a object that is tentatively an instance of Class Object (or Type Object to use the correct C# word).

I can HARD cast the object to a SpriteModel, and then invoke the .ToXml()
method, but if either of these sublcasses overrides or NEWs the default
method in SpriteModel. I can't get to it.

What I want to do is dynamically cast the object extracting from the
Hashtable to it's .GetType

realType = spriteList.Valu e.GetType()

and then do something like a dynamic cast (realType)sprit eList.Value

Obviously, this is very wrong syntacically, but there most be something that is kosher that does the same effect? right? I don't have to resort to
Reflection and P/Invoke do I?

public override string ToString()
{
StringBuilder response = new StringBuilder() ;
lock (this.spriteTab le) {
IDictionaryEnum erator spriteList = this.spriteTabl e.GetEnumerator ();
while (spriteList.Mov eNext())
{
SpriteModel sprite = (SpriteModel)sp riteList.Value;
response.Append (Tools.PrettyPr int(sprite.ToXm l().DocumentEle ment));
response.Append ("\r\n");
}
}
return response.ToStri ng();
}

[Frank Oquendo]

Yechezkal Gutfreund wrote:

I.e. I want to invoke methods dynamically at run-time

Then all you need do is mark the ToXml method as virtual in the
SpriteModel class. In each of the drived classes, mark the ToXml method
as an override. Just as in C++ and many other languages, this will cause
the most derived implementation of the method to execute when invoked
from a reference to a base class.

Once done, you can cast every object as a SpriteModel and you'll get the
correct results.

--
There are 10 kinds of people. Those who understand binary and those who
don't.

http://code.acadx.com
(Pull the pin to reply)

[Alvin Bruney]

Then go code SML or some other weird language.
"Yechezkal Gutfreund" <sg********@hot mail.com> wrote in message
news:OC******** ******@TK2MSFTN GP11.phx.gbl...

To put this in TCL/TK or Smalltalk way of speaking I am looking for the
equivelent of

(random object).perform Method("named method")

I.e. I want to invoke methods dynamically at run-time

Assume I already did the checking that this method is implemented by the
object, so that I don't get a run-time error

[Yes, I am not a fan of 100% rigidly hard-typed systems, since there are
times where one needs to get around this]
--
=============== =============== ====
Yechezkal Gutfreund
Chief Scientist
Kesser Technical Group, Inc.
=============== =============== ====
"Yechezkal Gutfreund" <sg********@hot mail.com> wrote in message
news:eJ******** ******@TK2MSFTN GP10.phx.gbl...

I have two subclasses of SpriteModel (1) LocalSprite (2)Sprite

Both implement a method called .ToXml() which returns an XmlDocument. But they are different.

I instances of these objects stored in a Hashtable. Extracting them from

the

Hashtable means that I get a object that is tentatively an instance of

Class

Object (or Type Object to use the correct C# word).

I can HARD cast the object to a SpriteModel, and then invoke the ..ToXml() method, but if either of these sublcasses overrides or NEWs the default
method in SpriteModel. I can't get to it.

What I want to do is dynamically cast the object extracting from the
Hashtable to it's .GetType

realType = spriteList.Valu e.GetType()

and then do something like a dynamic cast (realType)sprit eList.Value

Obviously, this is very wrong syntacically, but there most be something

that

is kosher that does the same effect? right? I don't have to resort to
Reflection and P/Invoke do I?

public override string ToString()
{
StringBuilder response = new StringBuilder() ;
lock (this.spriteTab le) {
IDictionaryEnum erator spriteList = this.spriteTabl e.GetEnumerator ();
while (spriteList.Mov eNext())
{
SpriteModel sprite = (SpriteModel)sp riteList.Value;
response.Append (Tools.PrettyPr int(sprite.ToXm l().DocumentEle ment));
response.Append ("\r\n");
}
}
return response.ToStri ng();
}

[JPRoot]

You could use reflection to navigate the class hierarchie of your object and
choose the implementation of the method XYZ you are looking for. (look into
System.Reflecti on namespace)

JPRoot

"Yechezkal Gutfreund" <sg********@hot mail.com> wrote in message
news:OC******** ******@TK2MSFTN GP11.phx.gbl...

To put this in TCL/TK or Smalltalk way of speaking I am looking for the
equivelent of

(random object).perform Method("named method")

I.e. I want to invoke methods dynamically at run-time

Assume I already did the checking that this method is implemented by the
object, so that I don't get a run-time error

[Yes, I am not a fan of 100% rigidly hard-typed systems, since there are
times where one needs to get around this]
--
=============== =============== ====
Yechezkal Gutfreund
Chief Scientist
Kesser Technical Group, Inc.
=============== =============== ====
"Yechezkal Gutfreund" <sg********@hot mail.com> wrote in message
news:eJ******** ******@TK2MSFTN GP10.phx.gbl...

I have two subclasses of SpriteModel (1) LocalSprite (2)Sprite

Both implement a method called .ToXml() which returns an XmlDocument. But they are different.

I instances of these objects stored in a Hashtable. Extracting them from

the

Hashtable means that I get a object that is tentatively an instance of

Class

Object (or Type Object to use the correct C# word).

I can HARD cast the object to a SpriteModel, and then invoke the ..ToXml() method, but if either of these sublcasses overrides or NEWs the default
method in SpriteModel. I can't get to it.

What I want to do is dynamically cast the object extracting from the
Hashtable to it's .GetType

realType = spriteList.Valu e.GetType()

and then do something like a dynamic cast (realType)sprit eList.Value

Obviously, this is very wrong syntacically, but there most be something

that

is kosher that does the same effect? right? I don't have to resort to
Reflection and P/Invoke do I?

public override string ToString()
{
StringBuilder response = new StringBuilder() ;
lock (this.spriteTab le) {
IDictionaryEnum erator spriteList = this.spriteTabl e.GetEnumerator ();
while (spriteList.Mov eNext())
{
SpriteModel sprite = (SpriteModel)sp riteList.Value;
response.Append (Tools.PrettyPr int(sprite.ToXm l().DocumentEle ment));
response.Append ("\r\n");
}
}
return response.ToStri ng();
}

[Jeffrey Tan[MSFT]]

Hi Yechezkal,

I found that this post has been posted in several groups.
I have replied you in microsoft.publi c.dotnet.framew ork group. Please
follow up there, I will work with you.
Thanks for your understanding.

Best regards,
Jeffrey Tan
Microsoft Online Partner Support
Get Secure! - www.microsoft.com/security
This posting is provided "as is" with no warranties and confers no rights.

[Andreas Tönne]

Yechezkal Gutfreund wrote:

I have two subclasses of SpriteModel (1) LocalSprite (2)Sprite

Both implement a method called .ToXml() which returns an XmlDocument. But
they are different.

Being a *really* long time Smalltalker (among other languages) I can tell
you: dont try to emulate the inheritance/method lookup/polymorphism of an
untyped language in a type language. Class trees grow differently in C#
compared to Smalltalk (and I prefer the way of Smalltalk of real life
modelling).

You have to understand that typed class hierarchies model implementation
variance while a Smalltalk class hierarchy models a behaviour variance.

To achive a Smalltalk-alike model you need to group classes of similar
behavior (behavior equivalence classes) in your implementation class trees
through interfaces. That means, all classes of a Smalltalk model that can be
used in Smalltalk at the same place because they have the same behavior now
need to be put into an interface. Since you cannot predict who is using your
class hierarchy using what polymorphy, you either implement as many
interfaces as sensible or you distribute source.

In you trivial example, introduce an interface encapsuling ToXml() and cast
your subclass instances to that interface. Then the right method is invoked
(irregardless of new, virtual and override modifiers).

Summary: translate a Smalltalk model class hierarchy by putting the class
behavior into interfaces and let possibly unrelated C# classes implement
these interfaces. Then to use instances in a polymorphic way, cast to the
interfaces.

Hope that helped a bit.

Andreas
--
Dipl.Inform. Andreas Tönne * Prokurist
Georg Heeg eK * Informatikleitu ng
mailto:at*****@ heeg.de * http://www.heeg.de
phone x49 231 9 75 99 0/36 * fax x49 231 9 75 99 20
-------------------------------------------------------------------
Privat: mailto:at*****@ t-online.de * http://www.atoenne.de

[Yechezkal Gutfreund]

Frank,

Are you really sure this works?

As you can see from my code, the object of type Sprite and SpriteLocal are
stored in a Hashtable.
When you pull then out (e.g. mySprite = theHashTable[key]) you are given
something of type
object. You will get a syntax error unless you say:

Object mySprite = theHashTable[key]

or

SpriteMode mySprite = (SpriteModel)th eHashTable[key]

This is gotcha of strong type-ing.

I have to forcibly cast this object to either an Object, Sprite,
SpriteModel, or SpriteLocal. But since there
are mixed items in this table, I don't know the answer till runtime.

Currenly, I am casting everything to (SpriteModel) but then it never invokes
the child's ToXML() method. but rather the SpriteModel version.

Reflection, on the other hand, should allow runtime invokation.
"Frank Oquendo" <fr*******@acad x.com> wrote in message
news:uB******** *****@TK2MSFTNG P10.phx.gbl...

Yechezkal Gutfreund wrote:

I.e. I want to invoke methods dynamically at run-time

Then all you need do is mark the ToXml method as virtual in the
SpriteModel class. In each of the drived classes, mark the ToXml method
as an override. Just as in C++ and many other languages, this will cause
the most derived implementation of the method to execute when invoked
from a reference to a base class.

Once done, you can cast every object as a SpriteModel and you'll get the
correct results.

--
There are 10 kinds of people. Those who understand binary and those who
don't.

http://code.acadx.com
(Pull the pin to reply)

[Frank Oquendo]

Andreas Tönne wrote:

In you trivial example, introduce an interface encapsuling ToXml()
and cast your subclass instances to that interface. Then the right
method is invoked (irregardless of new, virtual and override
modifiers).

While interfaces are quite useful, they should be used as intended: for
homogeneous handling of heterogeneous objects. Such is not the case
here. A little attention to detail, not additional layers of
indirection, is all that is needed to solve the problem.

--
There are 10 kinds of people. Those who understand binary and those who
don't.

http://code.acadx.com
(Pull the pin to reply)

[Jay B. Harlow [MVP - Outlook]]

Yechezkal,

This is gotcha of strong type-ing. If you want to avoid the benefits of strong type-ing, then you may want to
stay with Small Talk or try your hand at VB.NET. VB.NET is not as "loose-ly"
typed as Small Talk, however when you have Option Strict Off in VB.NET you
have much the same benefits as small talk, as you incur the expense of a
runtime check to see if the method is implemented on that object.

In other words VB.NET hides the reflection lookup from you, in much the same
method as Small Talk does, and allows you to call any method on a object you
want. At runtime it will either succeed or fail, depending on whether the
object actually supports that method.

Personally I find the performance & safety of strong type-ing far outways
the perceived benefits of late binding. However the late binding (Option
Strict Off) in VB.Net is very helpful in a number of cases...

Hope this helps
Jay
"Yechezkal Gutfreund" <sg********@hot mail.com> wrote in message
news:eD******** ******@tk2msftn gp13.phx.gbl... Frank,

Are you really sure this works?

As you can see from my code, the object of type Sprite and SpriteLocal are
stored in a Hashtable.
When you pull then out (e.g. mySprite = theHashTable[key]) you are given
something of type
object. You will get a syntax error unless you say:

Object mySprite = theHashTable[key]

or

SpriteMode mySprite = (SpriteModel)th eHashTable[key]

This is gotcha of strong type-ing.

I have to forcibly cast this object to either an Object, Sprite,
SpriteModel, or SpriteLocal. But since there
are mixed items in this table, I don't know the answer till runtime.

Currenly, I am casting everything to (SpriteModel) but then it never invokes the child's ToXML() method. but rather the SpriteModel version.

Reflection, on the other hand, should allow runtime invokation.