Re: [sv-bc] Typing of parameter assignments

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Tue Feb 07 2006 - 11:28:51 PST
According to the P1800 LRM, the list of assignment-like contexts is
exhaustive. "No other contexts shall be considered assignment-like
contexts."  So the LRM is unambiguous that an assignment pattern is not
legal as the right-hand side of a defparam.

However, as Gord says, "assignment-like context" is only relevant to
assignment patterns.  For example, although the argument of a static
cast is evaluated in the context of an assignment to a variable of the
result type, an assignment pattern is not legal as the argument of a
static cast, because a static cast is not an "assignment-like context".

-- Brad
Received on Tue Feb 7 11:29:02 2006

This archive was generated by hypermail 2.1.8 : Tue Feb 07 2006 - 11:30:01 PST