Re: Pass by reference

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

Dan McLeran wrote:

>> This need not to be tagged, because there is no dispatching subroutines
>> here. A rough C++ equivalent of a tagged type is a class with virtual
>> functions.
> 
> Quite right. This is a better example:
> 
> struct Silly
> {
>     virtual int Get()
>     {
>         return i;
>     }
> private:
>     int i;
> };

You have to add a friend function, because in C++ Silly will be passed to
Get() by reference as in Ada:

   type Silly is tagged private;
   function Get (Object : Silly) return Integer;

private
   type Silly is tagged record
      I : Integer;
   end record;

So the difference between C++ and Ada is rather marginal here. But as I
said, I think it would be better to leave the choice to the compiler (in
the case of non-limited tagged types.)

-- 
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de