On 2009-12-15 22:02:59 -0500, Andrei Alexandrescu <seewebsiteforem...@erdani.org> said:

Time has come to make a decision on implementing Steven Schveighoffer's proposal:

http://www.prowiki.org/wiki4d/wiki.cgi?LanguageDevel/DIPs/DIP2

It's been in the back of my mind for a while now, I don't find a fault with it, it solves a very unpleasant problem that would seriously mar qualifiers, and although it doesn't solve 100% of the potential cases, it does solve a good fraction of them. I am confident that we can require body duplication for the remaining stragglers with a straight face.

I just realized that 'inout' could have a real use even for functions with no return value. Consider this:

        void doSomething(inout(Object)[] a, inout(Object)[] b) {
a[0] = b[0]; // works only when objects in both arrays have the same constness.
        }


--
Michel Fortin
michel.for...@michelf.com
http://michelf.com/

Reply via email to