• bearophile (4/4) Jun 07 2009 From the last C#:
• Lionello Lunesu (3/7) Jun 09 2009 Lionello likes this
• Robert Fraser (3/13) Jun 09 2009 In D if you want to treat a Template!(SomeClass) as a Template!(Object),...
• bearophile (4/6) Jun 09 2009 How is this related to Covariance/Contravariance and in/out keywords, as...
• Robert Fraser (2/10) Jun 09 2009 Errr... isn't that the point of covariance/contravariance?
• bearophile (4/5) Jun 10 2009 I don't know some of the things I post here. I just assume people here k...
• Lionello Lunesu (4/17) Jun 09 2009 Does not work for interfaces though.
• Daniel Keep (17/39) Jun 09 2009 Hell, it's not even safe.

bearophile <bearophileHUGS lycos.com> writes:

http://codepad.org/kQgbwAqJ

Bye,
bearophile

"Lionello Lunesu" <lionello lunesu.remove.com> writes:

"bearophile" <bearophileHUGS lycos.com> wrote in message 
news:h0ggl7$60f$1 digitalmars.com...

 http://codepad.org/kQgbwAqJ

 Bye,
 bearophile

Lionello likes this 

Robert Fraser <fraserofthenight gmail.com> writes:

Lionello Lunesu wrote:
 
 "bearophile" <bearophileHUGS lycos.com> wrote in message 
 news:h0ggl7$60f$1 digitalmars.com...

 http://codepad.org/kQgbwAqJ

 Bye,
 bearophile

 
 Lionello likes this

In D if you want to treat a Template!(SomeClass) as a Template!(Object), 
it's as easy as "cast(Template!(Object)) cast(void*) x"

bearophile <bearophileHUGS lycos.com> writes:

Robert Fraser:
 In D if you want to treat a Template!(SomeClass) as a Template!(Object), 
 it's as easy as "cast(Template!(Object)) cast(void*) x"

How is this related to Covariance/Contravariance and in/out keywords, as shown


Bye,
bearophile

Robert Fraser <fraserofthenight gmail.com> writes:

bearophile wrote:
 Robert Fraser:
 In D if you want to treat a Template!(SomeClass) as a Template!(Object), 
 it's as easy as "cast(Template!(Object)) cast(void*) x"

 
 How is this related to Covariance/Contravariance and in/out keywords, as shown

 
 Bye,
 bearophile

Errr... isn't that the point of covariance/contravariance?

bearophile <bearophileHUGS lycos.com> writes:

Robert Fraser:
 Errr... isn't that the point of covariance/contravariance?

I don't know some of the things I post here. I just assume people here know
better than me.

Bye,
bearophile

"Lionello Lunesu" <lionello lunesu.remove.com> writes:

"Robert Fraser" <fraserofthenight gmail.com> wrote in message 
news:h0mui6$2rlh$1 digitalmars.com...
 Lionello Lunesu wrote:
 "bearophile" <bearophileHUGS lycos.com> wrote in message 
 news:h0ggl7$60f$1 digitalmars.com...

 http://codepad.org/kQgbwAqJ

 Bye,
 bearophile

 Lionello likes this

 In D if you want to treat a Template!(SomeClass) as a Template!(Object), 
 it's as easy as "cast(Template!(Object)) cast(void*) x"

Does not work for interfaces though.

L. 

Daniel Keep <daniel.keep.lists gmail.com> writes:

Lionello Lunesu wrote:
 
 "Robert Fraser" <fraserofthenight gmail.com> wrote in message
 news:h0mui6$2rlh$1 digitalmars.com...
 Lionello Lunesu wrote:
 "bearophile" <bearophileHUGS lycos.com> wrote in message
 news:h0ggl7$60f$1 digitalmars.com...

 http://codepad.org/kQgbwAqJ

 Bye,
 bearophile

 Lionello likes this

 In D if you want to treat a Template!(SomeClass) as a
 Template!(Object), it's as easy as "cast(Template!(Object))
 cast(void*) x"

 
 Does not work for interfaces though.
 
 L.

Hell, it's not even safe.

class Template(T)
{
    static T instance;
    final T getInstance() { return instance; }
}

Or

class Template(T)
{
    static if( is( T == SomeClass ) )
    {
        bool boom() { return true; }
    }
    void stuff();
}

(cast(Template!(Object)) cast(void*) new Template!(SomeClass)).stuff();