[fpc-devel] "Default" discussion for SmartPointers etc

[Michael Van Canneyt]

On Thu, 28 Jul 2016, Maciej Izak wrote:

> 2016-07-28 13:30 GMT+02:00 Michael Van Canneyt <michael at freepascal.org>:
>>
>> Assume a is null before the call to test1:
>>
>>   test1(a);
>>
>
> That won't compile.
>
>
>>
>> 1. What happens if this procedure is empty, i.e. no write is performed ?
>>    (or it is performed conditionally)
>>    On return, is a null or not ?
>>
>
> You are not able to call test1 in presented form (you will get error:
> Incompatible types).

In that case, I do not understand at all what you are in fact trying to achieve :/

Because with the exception of the ^ operator, I see no need for any special
constructions to achieve a "nullable type", except maybe some implicit
constructor/destructor ?

Michael.