using this instead of typeof(this)

[monarch_dodra]

On Tuesday, 26 February 2013 at 16:28:59 UTC, Ivan Kazmenko wrote:
> Hi!
>
> I have recently experimented with ways to express the exact 
> instantiated type of a generic struct, and found that I can in 
> some cases use "this" as that type.
>
> -----
> 	this (ref this) // not a postblit constructor
> 	this (ref this, this f, typeof (this), this, ref this g)
> -----
> Ivan Kazmenko.

There was a discussion about this recently (wasn't it with you?) 
and I believe the conclusion basically boiled down to "bug: 
accepts-wrong".

Neither of those two signatures should compile. The fact that 
they do is a bug.

If they do compile, it's undefined behavior. From there, you 
can't rely on anything.

I think there was a bugzilla entry for it, but I'll have to look 
for it.