D2's feature set?

[Kristian Kilpi]

On Sat, 06 Jun 2009 16:35:15 +0300, Christopher Wright  
<dhasenan at gmail.com> wrote:

> Kristian Kilpi wrote:
>>  I think I shouldn't post this because I could very well start one of  
>> those mega-threads... :D
>>  Of course, only Walter & Co know what D2 will include when it's  
>> finally 'released'. Concurrency stuff has been developed lately. But  
>> something more? Or is that it? What do you think?
>>   I haven't thought about it too much, but lets say something... ;)
>>  1) Scoped members. For example:
>>  class Foo
>> {
>>      scope Bar bar;  // gets destructed with Foo object
>> }
>
> You need to do escape analysis and whole program analysis to determine  
> whether there are aliases to a scope member. Failing that, it's pretty  
> easy to introduce bugs that are difficult to find.
>
> It would be fine as long as you always assign with a NewExpression.

Yep. Well, I would be happy with it even if you could only assing newly  
created objects to a scoped member. (And you could always remove this  
restriction when the escape analysis will be available (if ever).)