Inconsistency in polymorphic 'this' typing #5492

Activity

1. zhuravlikjb commented on Nov 2, 2015

   

   Anton Lobov (zhuravlikjb)

   on Nov 2, 2015

   Author

   More actions

   After some experiments, a simple question: is 'this' polymorphic only for simple expression "this", and not when it's used as a qualifier in some reference expression, e.g. "this.foo"?
2. Mohamed Hegazy (mhegazy)

   added

   By DesignDeprecated - use "Working as Intended" or "Design Limitation" insteadDeprecated - use "Working as Intended" or "Design Limitation" instead

   on Nov 2, 2015
3. mhegazy commented on Nov 2, 2015

   

   Mohamed Hegazy (mhegazy)

   on Nov 2, 2015

   Contributor

   More actions

   One thing to note, there are two uses of the keyword this. your example above uses an initializer. this will be evaluated once, in the context of the base class A; the type of the expression this.p here is A, and there is no polymorphism here. if you however, gave c the type this, this will be instantiated in the context of the derived class, and you would get the desired polymorphism.
4. Mohamed Hegazy (mhegazy)

   closed this as completedon Nov 2, 2015
5. zhuravlikjb commented on Nov 3, 2015

   

   Anton Lobov (zhuravlikjb)

   on Nov 3, 2015

   Author

   More actions

   Thanks, now it's more clear how it behaves.
6. microsoft

   locked and limited conversation to collaborators on Jun 19, 2018