Re: Non-covariance and overrides

[Jacob Carlborg]

On 2013-09-07 13:42, Joseph Rushton Wakeling wrote:
On 03/09/13 08:56, Jacob Carlborg wrote:
class MyFakeSubclass
{
     MyBaseClass base
     alias base this;
}
Every method not available in MyFakeSubclass will be forwarded to "base".

http://dlang.org/class.html#AliasThis

OK, but the challenge of that approach is that base has to be public,
no? Otherwise, its methods will not be accessible outside the class
(even if the alias is itself public).

And that then allows problems inasmuch as the user could then do
something like,

     auto foo = new MyFakeSubclass;
     foo.base.bar();

... and so bypass the alias.


I haven't checked if "base" can be private or not. But if that doesn't 
work try opDispatch:

http://dlang.org/operatoroverloading.html#Dispatch

You have a public opDispatch and a private "base".

--
/Jacob Carlborg