RE: [sv-ec] Default arguments on virtual methods

From: Rich, Dave <Dave_Rich_at_.....>
Date: Wed Aug 13 2008 - 14:50:12 PDT
C was my intent.

> -----Original Message-----
> From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org]
On
> Behalf Of Steven Sharp
> Sent: Wednesday, August 13, 2008 2:40 PM
> To: sv-ec@server.eda.org
> Subject: [sv-ec] Default arguments on virtual methods
> 
> The LRM allows virtual methods in derived classes to have default
> argument values that do not match the base class.  They are only
> required to match in having or not having a default value.  It is
> not clear what the behavior should be when they do not match.
> 
> Possible interpretations:
> 
> A. Assume that the values were required to match, but it was too
>    hard to specify that in a reasonable way.  Implementations can
>    use the value from whichever declaration is convenient, and produce
>    an error or warning if the value in a derived class does not match.
> 
> B. Use the default value from the static class type of the handle.
> 
> C. Use the default value from the actual class type of the handle,
>    which is the one from the virtual method that is actually called.
>    This makes these defaults "virtual", like the methods.  If it was
>    intended that the values could differ, then I would expect this to
>    be the desired behavior.
> 
> I know this has been brought up before, but it has never been
resolved.
> Given that the behaviors are quite different, it needs to be.
> 
> Steven Sharp
> sharp@cadence.com
> 
> 
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Aug 13 14:52:09 2008

This archive was generated by hypermail 2.1.8 : Wed Aug 13 2008 - 14:52:21 PDT