www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.learn - Scope and with

reply "SaltySugar" <Butkustomas777 gmail.com> writes:
Can someone explain me scope and with statements?
Jan 23 2013
parent reply "Namespace" <rswhite4 googlemail.com> writes:
On Wednesday, 23 January 2013 at 08:33:44 UTC, SaltySugar wrote:

 Can someone explain me scope and with statements?


with statements simplify the access to a class, struct or 
something else.
For example:
class A {
public:
	int b = 42;
}

A a = new A();
normal access:
writeln(a.b); // writes 42

with 'with':

with (a) {
     writeln(b); // writes 42
}

scope is one of my favorite features. You can create scopes which 
are executed if the appropriate case comes.
For example at the end of a scope, by success of a scope etc.

Example:
int* mem = cast(int*) malloc(10 * int.sizeof);
scope(exit) free(mem);

After leaving scope the memory is freed.
Otherwise you have to write 'free(mem)' at the end of the scope 
and thats a thing that I forget sometimes in C.
Jan 23 2013
next sibling parent reply "simendsjo" <simendsjo gmail.com> writes:
On Wednesday, 23 January 2013 at 09:52:40 UTC, Namespace wrote:

 On Wednesday, 23 January 2013 at 08:33:44 UTC, SaltySugar wrote:

 Can someone explain me scope and with statements?


 with statements simplify the access to a class, struct or 
 something else.
 For example:
 class A {
 public:
 	int b = 42;
 }

 A a = new A();
 normal access:
 writeln(a.b); // writes 42

 with 'with':

 with (a) {
     writeln(b); // writes 42
 }

 scope is one of my favorite features. You can create scopes 
 which are executed if the appropriate case comes.
 For example at the end of a scope, by success of a scope etc.

 Example:
 int* mem = cast(int*) malloc(10 * int.sizeof);
 scope(exit) free(mem);

 After leaving scope the memory is freed.
 Otherwise you have to write 'free(mem)' at the end of the scope 
 and thats a thing that I forget sometimes in C.



I often use with to initialize objects (as D doesn't have object 


auto c = new C(); // some class
with(c) {
   someProp = someValue; // instead of c.someProp
   // etc
}

scope also has a different meaning if used in function parameters:
void f(scope C c) {
   // not allowed to pass c anywhere - it's not allowed to leave 
this scope
}
Jan 23 2013
parent reply "Namespace" <rswhite4 googlemail.com> writes:
But AFAIK scope isn't fully implemented as storage class, or am I 
wrong?
Jan 23 2013
parent reply "simendsjo" <simendsjo gmail.com> writes:
On Wednesday, 23 January 2013 at 10:30:08 UTC, Namespace wrote:

 But AFAIK scope isn't fully implemented as storage class, or am 
 I wrong?


I think you are right. And I think it's the reason using 'in' 
parameters are discouraged.
Jan 23 2013
parent reply "mist" <none none.none> writes:
On Wednesday, 23 January 2013 at 10:43:24 UTC, simendsjo wrote:

 On Wednesday, 23 January 2013 at 10:30:08 UTC, Namespace wrote:

 But AFAIK scope isn't fully implemented as storage class, or 
 am I wrong?


 I think you are right. And I think it's the reason using 'in' 
 parameters are discouraged.


I remember Kenji telling "in" currently is synonym for "const", 
not "const scope" as is often told.
Jan 23 2013
parent reply "simendsjo" <simendsjo gmail.com> writes:
On Wednesday, 23 January 2013 at 13:43:58 UTC, mist wrote:

 On Wednesday, 23 January 2013 at 10:43:24 UTC, simendsjo wrote:

 On Wednesday, 23 January 2013 at 10:30:08 UTC, Namespace wrote:

 But AFAIK scope isn't fully implemented as storage class, or 
 am I wrong?


 I think you are right. And I think it's the reason using 'in' 
 parameters are discouraged.


 I remember Kenji telling "in" currently is synonym for "const", 
 not "const scope" as is often told.


Stuff like this should really be in the documentation.. The docs 
says "in" is equivalent to "const scope", but doesn't mention 
this is not yet implemented and is just "const" for now..
Jan 23 2013
parent =?UTF-8?B?QWxpIMOHZWhyZWxp?= <acehreli yahoo.com> writes:
On 01/23/2013 08:19 AM, simendsjo wrote:


 Stuff like this should really be in the documentation.. The docs says
 "in" is equivalent to "const scope",


That is correct.


 but doesn't mention this is not yet
 implemented and is just "const" for now..


I am not sure whether that is true for all compilers. The problem is, 
the language spec and dmd's implementation have been intertwined. That's 
our life... :)

Ali
Jan 23 2013
prev sibling parent =?UTF-8?B?QWxpIMOHZWhyZWxp?= <acehreli yahoo.com> writes:
On 01/23/2013 01:52 AM, Namespace wrote:


 int* mem = cast(int*) malloc(10 * int.sizeof);
 scope(exit) free(mem);

 After leaving scope the memory is freed.
 Otherwise you have to write 'free(mem)' at the end of the scope and
 thats a thing that I forget sometimes in C.


Yes, the correctness of code in C depends on remembering to do so and 
also being disciplined to follow a certain function design style. (All 
resources are released in the 'finally' area of the function.)

On the other hand, putting free(mem) at the end of a scope is a coding 
error in any language that has exceptions. (The exceptions of this rule 
are special lines of code where no exception can be thrown.) That's why 
RAII is an essential idiom in C++. 'scope' is a welcome addition to D 
that obviates the need for little RAII classes in some cases.

To the OP, here is a chapter on scope:

   http://ddili.org/ders/d.en/scope.html

That chapter contains references to the previous chapter, which is about 
exceptions:

   http://ddili.org/ders/d.en/exceptions.html

Ali
Jan 23 2013