Re: variable semantics vs value semantics (was Re: Interfacing luawith C)

[RLake@...]

Peter Hill escribió:

> I disagree. In C "lvalues" (ie, variables) have a type but *so do*
"rvalues"
> (ie, objects). Though rvalues do have a short lifetime (such that they
may
> only exist on the stack) they are objects independent from variables,
> carrying their own type.

And exactly where do they carry it? How do you figure out what the
type of an arbitrary C value is?

They "carry" a type during compilation. But that is not the same thing.