Dictionary<> and Inheritance

[Brian P]

I want to expose a property of Dictionary<stri ng, MyAbstractClass >.

I tried to do it this way:

private Dictionary<stri ng, MyChildClass> _dictionary;

public Dictionary<stri ng, MyAbstractClass >
{
get { return _dictionary; } //error: no implicit conversion.
}

How can I have a privay dictionay that uses an inheritied class, but
expose that dictionary as the base type?
--Brian

[Bruce Wood]

No, and here is why.

Let's say that you could expose a dictionary of MyChildClass objects as
a dictionary of MyAbstractClass objects.

public class MyChildClass : MyAbstractClass { ... }
public class MyChildClass2 : MyAbstractClass { ... }

private Dictionary<stri ng, MyChildClass> _dictionary;

public Dictionary<stri ng, MyAbstractClass > Dict
{
get { return _dictionary; } //error: no implicit conversion.
}

Now, outside this class, you say

Dictionary<stri ng, MyAbstractClass > theDictionary = myObject.Dict;
theDictionary["Bruce"] = new MyChildClass2(. ..);

That last line seems perfectly legal to the compiler, but would have to
fail at runtime, because the actual dictionary returned by
myObject.Dict is not a dictionary of "anything that inherits from
MyAbstractClass ". It is, rather a dictionary of a specific subclass of
MyAbstractClass , called MyChildClass.

By allowing the return of a dictionary of a class farther up the
hierarchy, you've lost compile-time type safety, which is what generics
are trying to give you in the first place.

[Jon Skeet [C# MVP]]

Brian P <[e-mail] > wrote:

I want to expose a property of Dictionary<stri ng, MyAbstractClass >.

I tried to do it this way:

private Dictionary<stri ng, MyChildClass> _dictionary;

public Dictionary<stri ng, MyAbstractClass >
{
get { return _dictionary; } //error: no implicit conversion.
}

How can I have a privay dictionay that uses an inheritied class, but
expose that dictionary as the base type?

You can't. There's no covariance like that on generic types. If you
could do that, consider the following code:

Dictionary<stri ng, MyAbstractClass > foo = YourProperty;
MyOtherChildCla ss bar = new MyOtherChildCla ss();
foo["hello"] = bar;

Now, the actual dictionary is only meant to contain MyChildClass values
- but I've just broken that!

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

[Brian P]

Jon Skeet [C# MVP] wrote:

You can't. There's no covariance like that on generic types. If you
could do that, consider the following code:

Dictionary<stri ng, MyAbstractClass > foo = YourProperty;
MyOtherChildCla ss bar = new MyOtherChildCla ss();
foo["hello"] = bar;

Now, the actual dictionary is only meant to contain MyChildClass values
- but I've just broken that!

I must be doing something wrong in my design / thinking.

To the outside world, I want the Dictionary<stri ng, MyAbstractClass > to
be "read-only". So, I guess I'm not worried about the problem you point
out.
But, I realize that I'm surely doing something poor:

I have an interface that several classes implement. The interface
requires Dictionary <string, MyAbstractClass >. But the classes that
implement that interface, their interal workings are going to use
ChildClasses of MyAbstractClass . And so long as the only usage of
ChildClasses are interally, I can't see how exposing the dictionary as
MyAbstractClass is "bad".
--Brian

[Brian P]

Jon Skeet [C# MVP] wrote:

You can't. There's no covariance like that on generic types. If you
could do that, consider the following code:

Dictionary<stri ng, MyAbstractClass > foo = YourProperty;
MyOtherChildCla ss bar = new MyOtherChildCla ss();
foo["hello"] = bar;

Now, the actual dictionary is only meant to contain MyChildClass values
- but I've just broken that!

I must be doing something wrong in my design / thinking.

To the outside world, I want the Dictionary<stri ng, MyAbstractClass > to
be "read-only". So, I guess I'm not worried about the problem you point
out.
But, I realize that I'm surely doing something poor:

I have an interface that several classes implement. The interface
requires Dictionary <string, MyAbstractClass >. But the classes that
implement that interface, their interal workings are going to use
ChildClasses of MyAbstractClass . And so long as the only usage of
ChildClasses are interally, I can't see how exposing the dictionary as
MyAbstractClass is "bad".
--Brian

[Jon Skeet [C# MVP]]

Brian P <[e-mail] > wrote:

Now, the actual dictionary is only meant to contain MyChildClass values
- but I've just broken that!
I must be doing something wrong in my design / thinking.

To the outside world, I want the Dictionary<stri ng, MyAbstractClass > to
be "read-only". So, I guess I'm not worried about the problem you point
out.

Okay - but there's nothing to stop clients from *trying* to do that.
You're not exposing it in a read-only way (not that I can see any read-
only interfaces that are easily exposed in the generic collections
provided by the framework...)
But, I realize that I'm surely doing something poor:

I have an interface that several classes implement. The interface
requires Dictionary <string, MyAbstractClass >. But the classes that
implement that interface, their interal workings are going to use
ChildClasses of MyAbstractClass . And so long as the only usage of
ChildClasses are interally, I can't see how exposing the dictionary as
MyAbstractClass is "bad".

I entirely understand where you're coming from, but I can't immediately
think of any way of doing it with generics.

Do the internal workings definitely need to know they they'll be using
ChildClass, other than when they're putting the entries in?

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

[Jon Skeet [C# MVP]]

Brian P <[e-mail] > wrote:

<snip>

I must be doing something wrong in my design / thinking.

To the outside world, I want the Dictionary<stri ng, MyAbstractClass > to
be "read-only". So, I guess I'm not worried about the problem you point
out.

I've thought of an alternative. Rather than exposing a whole
Dictionary<stri ng,MyAbstractCl ass> would it be possible to expose just
a property:

public MyAbstractClass this[string key];

? You could easily implement that in your class, just by returning
_dictionary[key]; and you'd be guaranteed that it would be exposing it
in a read-only way.
Alternatively, you could have:
class ReadOnlyDiction ary<K,V1,V2> : IDictionary<K,V 1>
where V2 : V1
{
Dictionary<K,V2 > dictionary;

public V1 this [K key]
{
get { return dictionary[key]; }
set { throw new UnsupportedOper ationException( ); }
}

// etc - implement the rest of the appropriate IDictionary
// properties
}

You could then use:

public IDictionary<str ing, MyAbstractClass >
{
get { return new
ReadOnlyDiction ary<string, MyAbstractClass , ChildClass>
(dictionary);
}

I *think* that would work - and would actually be quite neat (and very
reusable). You could do the same for List if you ever needed to.

My guess is that *someone* has actually already done this and published
it as open source... I can't be the first to think of it.

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

[Brian P]

Jon Skeet [C# MVP] wrote:

I entirely understand where you're coming from, but I can't immediately
think of any way of doing it with generics.

=) so I'm not completey dumb.


Do the internal workings definitely need to know they they'll be using
ChildClass, other than when they're putting the entries in?

Yes, they do. So, for now, I have a private dictionary of <string,
MyAbstractClass > and in the internal workings, I cast to MyChildClass:

((MyChildClass) _myDictionary["foo"]).ChildSpecific PropertyOrMetho d
This lets me expose the dictionary as MyAbstractClass but I still can
"work" with the ChildClass internally. Though, I admit this doesn't
seem ideal.

--Brian

[Brian P]

Jon Skeet [C# MVP] wrote:

I've thought of an alternative. Rather than exposing a whole
Dictionary<stri ng,MyAbstractCl ass> would it be possible to expose just
a property:

public MyAbstractClass this[string key];

? You could easily implement that in your class, just by returning
_dictionary[key]; and you'd be guaranteed that it would be exposing it
in a read-only way.

I *think* that would work - and would actually be quite neat (and very
reusable). You could do the same for List if you ever needed to.

My guess is that *someone* has actually already done this and published
it as open source... I can't be the first to think of it.

Yes! This sounds perfect! You are awesome ... I see you all over these
newsgroups and I always read your posts. Most of the time you are
talking about things over my head, but I usually learn something new
from you.

Thanks again,

--Brian