• Serg Kovrov (11/26) Aug 12 2006 Hello D-people =)
• Serg Kovrov (11/11) Aug 12 2006 Forgot to mention, currently as workaround I use templates:
• kris (3/36) Aug 12 2006 I suspect the "typeof(this)" is evaluated statically, at compile time.

Serg Kovrov <kovrov no.spam> writes:

Hello D-people =)

Is there a way to get type of subclass in method defined in superclass, 
but called in subclass?

Here a class hierarchy:
 class Foo
 {
   static typeof(this) create()
   {
     // ... some init code
     return new typeof(this)(init);
   }
 }
 
 class FooBar : Foo
 {
   /* FooBar doesn't overriding create() */
 }

and I'd like to create them as follows:
 auto f = Foo.create();    // f is instance of Foo
 auto b = FooBar.create(); // b should be instance of FooBar

But, because of 'typeof(this)' appears to be evaluated where it defined 
instead of where it called (sorry for possible misuse of terminology, 
but I hope you got my idea), 'b' is type of 'Foo' instead of desired 
'FooBar'.

-- 
serg.

Serg Kovrov <kovrov no.spam> writes:

Forgot to mention, currently as workaround I use templates:
T Create(T)()
{
   // ... some init code
   return new T(init_result);
}

auto f = Create!(Foo)();    // f is instance of Foo
auto b = Create!(FooBar)(); // b is instance of FooBar

But `FooBar.create()` me like much better =)

-- 
serg.

kris <foo bar.com> writes:

Serg Kovrov wrote:
 Hello D-people =)
 
 Is there a way to get type of subclass in method defined in superclass, 
 but called in subclass?
 
 Here a class hierarchy:
 
 class Foo
 {
   static typeof(this) create()
   {
     // ... some init code
     return new typeof(this)(init);
   }
 }

 class FooBar : Foo
 {
   /* FooBar doesn't overriding create() */
 }

 
 
 and I'd like to create them as follows:
 
 auto f = Foo.create();    // f is instance of Foo
 auto b = FooBar.create(); // b should be instance of FooBar

 
 
 But, because of 'typeof(this)' appears to be evaluated where it defined 
 instead of where it called (sorry for possible misuse of terminology, 
 but I hope you got my idea), 'b' is type of 'Foo' instead of desired 
 'FooBar'.
 

I suspect the "typeof(this)" is evaluated statically, at compile time. 
You might as well write "Foo" instead?