Re: Ensuring postconditions in the face of exceptions

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Adam Beneschan <adam@irvine.com> writes:

> On Mar 16, 8:18�am, Robert A Duff <bobd...@shell01.TheWorld.com>
> wrote:
>
>> > Repeat after me: "limited" is a property of a view! It's not constant for a
>> > particular type! That's a common mistake that even those of us on the ARG
>> > make from time-to-time.
>>
>> I don't understand why the definition of "by reference" is subtly
>> different from the definition of "immutably limited".
>
> Well, for one thing, the language defines what types are "immutably
> limited", but it doesn't completely define which types are "by
> reference"---the implementation decides that in some cases (6.2(11)).

I mean the term "by-reference type", which is (portably) defined by
the RM.  These are the types that are required to be passed by
reference.

You're right that there are some other types where the compiler
gets to decide -- but I wasn't talking about those.

- Bob