On 8/3/2013 4:32 PM, bearophile wrote:
The paper explains the various cases: assign from ptr<T> into lptr<T>, assign from lptr<T> into ptr<T>, and assign from lptr<T> into lptr<T>.So with a mix of run-time tests and a small amount of static analysis the code is safe and fast enough. It seems a simple enough idea.
The problem with different pointer types is, of course, what do you do with functions that take pointers as arguments?
