Difference between revisions of "DIP36"

From D Wiki
Jump to: navigation, search
m
(→‎Discussions on topic)
 
(17 intermediate revisions by 3 users not shown)
Line 7: Line 7:
 
|-
 
|-
 
|Version:
 
|Version:
−
|1
+
|2
 
|-
 
|-
 
|Status:
 
|Status:
−
|Work in progress
+
|Rejected
 
|-
 
|-
 
|Created:
 
|Created:
Line 26: Line 26:
  
 
== Rationale ==
 
== Rationale ==
−
There is a quite common necessity to pass some data as a function argument without both copying and caring about its referrability. Currently D provides no means to do it properly. <code>ref T</code> can't be used on with rvalue literals. <code>T</code> results in (possibly) costly value copying for aggregate rvalues. <code>auto ref T</code> is template-based and thus bloats at least the symbol table. Solutions is needed that will be simple, provide some guarantees and avoid extra bloat.
+
There is a quite common necessity to pass some data as a function argument without both copying and caring about its referrability. Currently D provides no means to do it properly. <code>ref T</code> can't be used with rvalue literals. <code>T</code> results in (possibly) costly value copying for aggregate rvalues. <code>auto ref T</code> is template-based and thus bloats at least the symbol table. A solution is needed that will be simple, provide some guarantees and avoid extra bloat.
  
 
<source lang="D">
 
<source lang="D">
 
void main()
 
void main()
 
{
 
{
−
     // Only signature for func1 to accept both is func1(int), which is acceptable for trivial types
+
     // Only signature for func1 which accepts both is func1(int), which is acceptable for trivial types
 
     int x;
 
     int x;
 
     func1(x);
 
     func1(x);
Line 44: Line 44:
  
 
     // Now the question is, how can I say "I want to process this data with no side-effects, won't mutate it and don't care if is adressable"?
 
     // Now the question is, how can I say "I want to process this data with no side-effects, won't mutate it and don't care if is adressable"?
−
     // func3(T)(auto ref T) is current solution but it works by adding extra template instantiation for each two cases. This is both not needed
+
     // func3(T)(auto ref T) is current solution but it works by adding extra template instantiation for each case. This is both not needed
 
     // and does not scale with argument count.
 
     // and does not scale with argument count.
 
}
 
}
Line 54: Line 54:
  
 
== Description ==
 
== Description ==
−
=== Core porposal ===
+
=== Core proposal ===
−
# <code>scope ref</code> is similar to <code>ref</code> but may be allowed in <code>@safe</code> code as it is prohibited to escape or store scoped reference, as well as taking its address. It is allowed to accept rvalues.
+
# <code>scope ref</code> is similar to <code>ref</code> but may be allowed in <code>@safe</code> code as it is prohibited to escape or store scoped reference, as well as taking its address. It is allowed to accept rvalues, temporary lvalues are created for them automatically.
−
# <code>const scope ref</code> (or <code>in ref</code> is like <code>scope ref</code> but prohibits mutation. It imposes usage restrictions (can't modify, can't store reference, can't take address) than make working with them indistinguishable from working with value types. Compiler can abuse it to create temporary variables for trivial type literals and pass references to them instead - it can't possibly change function semantics.
+
# <code>const scope ref</code> (or <code>in ref</code>) is like <code>scope ref</code> but prohibits mutation. It imposes usage restrictions (can't modify, can't store reference, can't take address) than make working with them indistinguishable from working with value types. Compiler can abuse it to create temporary variables for trivial type literals and pass references to them instead - it can't possibly change function semantics.
  
 
==== Example ====
 
==== Example ====
Line 75: Line 75:
 
}
 
}
  
−
// Like a normal ref A, but a bit more restrictive.
+
// Like a normal ref A, more restrictive because of scope, more permissive because accepts rvalue temporaries
 
void test1(scope ref A a) {
 
void test1(scope ref A a) {
 
         // A* addr = &a; // prohibited, see explanations later
 
         // A* addr = &a; // prohibited, see explanations later
 
}
 
}
  
−
// Almost nothing can be done with parameter, only value-style read access.
+
// Almost nothing can be done with parameter, only value-style read access. Accepts rvalues.
 
void test12(in ref A a) {
 
void test12(in ref A a) {
 
}
 
}
Line 88: Line 88:
 
}
 
}
  
−
// Similar to "auto ref" but no extra template instantations. Compiler creates temporaries for rvalues that have no address on caller site.
+
// Similar to "auto ref" but no extra template instantations. Compiler creates temporaries for rvalues.
 
void test3(T)(in ref T id) {
 
void test3(T)(in ref T id) {
 
}
 
}
  
−
// Consistent with test1. Only adressable parameters are valid, not temporaries, no extra template instances.
+
// Consistent with test1. Also no extra template instances.
 
void test32(T)(scope ref T id) {
 
void test32(T)(scope ref T id) {
 
}
 
}
Line 104: Line 104:
 
     test3(1337); // Fine and @safe. Temporary int variable with value 1337 is created.
 
     test3(1337); // Fine and @safe. Temporary int variable with value 1337 is created.
 
     test3(a.id); // Same but no temporary is needed.
 
     test3(a.id); // Same but no temporary is needed.
−
     test32(1337); // Prohibited, no address for "1337"
+
     test32(1337); // Fine, temporary mutable int variable is created with value 1337
 
     test32(a.id); // fine and @safe
 
     test32(a.id); // fine and @safe
 
}
 
}
Line 118: Line 118:
 
=== @safe concerns ===
 
=== @safe concerns ===
  
−
One of issues related to reference parameters that is raised in [[DIP25]] that they currently allow to subvert <code>@safe</code> limitation, despite being considered <code>@safe</code>. One of beneficial effects of this proposal is that it somewhat mitigates this issue in a simple manner. <code>scope ref</code> parameter limitations make them perfectly legal to use in safe code with no additional analysis. At the same time, such references cover considerable amount of use cases that may be required by safe code while not harming power of unsafe one. This potentially allows prohibiting plain <code>ref</code> from <code>@safe</code> code and leaving only <code>scope ref</code> allowed there.
+
One of issues related to reference parameters that is raised in [[DIP25]] is that they currently allow subverting <code>@safe</code> limitations, despite being considered <code>@safe</code>. One of beneficial effects of this proposal is that it somewhat mitigates this issue in a simple manner. <code>scope ref</code> parameter limitations make them perfectly legal to use in safe code with no additional analysis. At the same time, such references cover a considerable number of use cases that may be required by safe code while not harming the power of unsafe ones. This potentially allows restricting the uses of plain <code>ref</code> in <code>@safe</code> code and leaving only <code>scope ref</code> allowed there. (Please see [[DIP35]] for a further examination of this issue.)
  
 
This approach is not required for core proposal and is bonus opportunity that will become available as a side-effect.
 
This approach is not required for core proposal and is bonus opportunity that will become available as a side-effect.
Line 134: Line 134:
 
* <code>in ref</code> became more permissive, no restrictions added
 
* <code>in ref</code> became more permissive, no restrictions added
 
* <code>scope ref</code> is currently not allowed at all
 
* <code>scope ref</code> is currently not allowed at all
 +
 +
=== Overloading rules ===
 +
If you have several overloads of a function, that take their arguments by value, by ref and by scope ref, scope ref has always minor priority:
 +
 +
<source lang="D">
 +
void foo(A a) {
 +
 +
}
 +
 +
void foo(ref A a) {
 +
 +
}
 +
 +
void foo(scope ref A a) {
 +
 +
}
 +
 +
void main() {
 +
foo(A()); // call: foo(A a)
 +
A a;
 +
foo(a); // call: foo(ref A a)
 +
}
 +
</source>
 +
 +
The same applies for 'const A', 'ref const A' and 'in ref A'.
 +
This behaviour is already implemented by Kenji's Pull Request.
  
 
=== Interconnecton with DIP25 ===
 
=== Interconnecton with DIP25 ===
Line 140: Line 166:
  
 
However, adopting this DIP provides some new options to solve DIP25 problem, providing reference type that is restricted enough to be safe on its own. This may be take advantage of or may not and is not really relevant. Code examples in this DIP have comments in regards of safety though to provide an overview for someone interested in this topic.
 
However, adopting this DIP provides some new options to solve DIP25 problem, providing reference type that is restricted enough to be safe on its own. This may be take advantage of or may not and is not really relevant. Code examples in this DIP have comments in regards of safety though to provide an overview for someone interested in this topic.
 +
 +
See also [[DIP35]], which contains an amendment to DIP25 and finds another use for 'scope'. Fortunately, it is not likely to cause conflict with the use proposed here.
  
 
=== Other proposed syntaxes ===
 
=== Other proposed syntaxes ===
Line 161: Line 189:
 
|immutable ref
 
|immutable ref
 
|Same as const ref
 
|Same as const ref
 +
|-
 +
|@temp ref
 +
|Is somewhat clearer, but adds an entirely new attribute to the language
 
|-
 
|-
 
|final ref
 
|final ref
 
|Not clear what it means, introducing new meaning for 'final'.
 
|Not clear what it means, introducing new meaning for 'final'.
 +
|-
 +
|A& (like C++'s ref)
 +
|Need a 'hack' in mtype.h / mtype.c. Type struct need a new boolean property: isRvRef
 
|}
 
|}
  
 
=== Discussions on topic ===
 
=== Discussions on topic ===
 +
* http://forum.dlang.org/post/ylebrhjnrrcajnvtthtt@forum.dlang.org
 
* http://forum.dlang.org/post/zteryxwxyngvyqvukqkm@forum.dlang.org
 
* http://forum.dlang.org/post/zteryxwxyngvyqvukqkm@forum.dlang.org
 
* http://forum.dlang.org/post/yhnbcocwxnbutylfeoxi@forum.dlang.org
 
* http://forum.dlang.org/post/yhnbcocwxnbutylfeoxi@forum.dlang.org
Line 173: Line 208:
 
* http://forum.dlang.org/post/kcksvf$314v$1@digitalmars.com
 
* http://forum.dlang.org/post/kcksvf$314v$1@digitalmars.com
 
* http://forum.dlang.org/post/nirfuenixutsbgyrcsla@forum.dlang.org
 
* http://forum.dlang.org/post/nirfuenixutsbgyrcsla@forum.dlang.org
 +
 +
=== Experimental implementations ===
 +
* https://github.com/9rnsr/dmd/commits/new_inref (by Kenji)
 +
* https://github.com/Dgame/dmd/commits/scope_in_ref (by me)
  
 
== Copyright ==
 
== Copyright ==

Latest revision as of 08:06, 25 June 2015

Abstract

This DIP describes issues with current usage of various rvalues as a function parameters and proproses possible improvement - formalization of scope references. As a positive side effect, intentions of scope qualifier are better defined into formal restrictions. Minor redefinition of ref in regards to @safe is also proposed.

Rationale

There is a quite common necessity to pass some data as a function argument without both copying and caring about its referrability. Currently D provides no means to do it properly. ref T can't be used with rvalue literals. T results in (possibly) costly value copying for aggregate rvalues. auto ref T is template-based and thus bloats at least the symbol table. A solution is needed that will be simple, provide some guarantees and avoid extra bloat. 

void main()
{
    // Only signature for func1 which accepts both is func1(int), which is acceptable for trivial types
    int x;
    func1(x);
    func1(42);

    // For aggregate types passing by reference may be desired for both performance and avoiding side-effects of non-trivial constructors.
    // func2(ref Aggr) will accept only lvalues
    struct Aggr { }
    Aggr s;
    func2(s);
    func2(Aggr()); // fail

    // Now the question is, how can I say "I want to process this data with no side-effects, won't mutate it and don't care if is adressable"?
    // func3(T)(auto ref T) is current solution but it works by adding extra template instantiation for each case. This is both not needed
    // and does not scale with argument count.
}

Discussion threads:

Description

Core proposal

  1. scope ref is similar to ref but may be allowed in @safe code as it is prohibited to escape or store scoped reference, as well as taking its address. It is allowed to accept rvalues, temporary lvalues are created for them automatically.
  2. const scope ref (or in ref) is like scope ref but prohibits mutation. It imposes usage restrictions (can't modify, can't store reference, can't take address) than make working with them indistinguishable from working with value types. Compiler can abuse it to create temporary variables for trivial type literals and pass references to them instead - it can't possibly change function semantics.

Example

import std.stdio;

struct A {
public:
	int id;

	this(int id) {
		this.id = id;
	}

	this(this) {
		writeln("A Postblit for ", this.id);
	}
}

// Like a normal ref A, more restrictive because of scope, more permissive because accepts rvalue temporaries
void test1(scope ref A a) {
        // A* addr = &a; // prohibited, see explanations later
}

// Almost nothing can be done with parameter, only value-style read access. Accepts rvalues.
void test12(in ref A a) {
}

// Does not pretend to be @safe any more
void test2(ref A a) {
}

// Similar to "auto ref" but no extra template instantations. Compiler creates temporaries for rvalues.
void test3(T)(in ref T id) {
}

// Consistent with test1. Also no extra template instances.
void test32(T)(scope ref T id) {
}

void main() {
    test1(A(42)); // @safe, this temporary value is valid for mutation and "scope" ensures it does not leak scope
    A a = A(23); // no difference
    test1(a);
    test2(A(1337)); // Prohibited, plain "ref" can't accept rvalues
    test2(a); // fine, but not @safe, unless it can be verified that a is allocated on heap in GC memory
    test3(1337); // Fine and @safe. Temporary int variable with value 1337 is created.
    test3(a.id); // Same but no temporary is needed.
    test32(1337); // Fine, temporary mutable int variable is created with value 1337
    test32(a.id); // fine and @safe
}

Definition of "scope" qualifier for ref types

Following limitation apply to scope ref function parameters (including in ref):

  1. Address of parameter can't be taken (and thus saved)
  2. Parameter can't be returned from function
  3. Parameter can only be used as an argument for other function if it also accepts scope ref, no implicit casting away.

@safe concerns

One of issues related to reference parameters that is raised in DIP25 is that they currently allow subverting @safe limitations, despite being considered @safe. One of beneficial effects of this proposal is that it somewhat mitigates this issue in a simple manner. scope ref parameter limitations make them perfectly legal to use in safe code with no additional analysis. At the same time, such references cover a considerable number of use cases that may be required by safe code while not harming the power of unsafe ones. This potentially allows restricting the uses of plain ref in @safe code and leaving only scope ref allowed there. (Please see DIP35 for a further examination of this issue.)

This approach is not required for core proposal and is bonus opportunity that will become available as a side-effect.

Backwards compatibility

It could possibly break code that already uses in ref (wrongly assuming it as abbreviation for const ref) and expects only an lvalue is accepted. Such code is both incorrect and very unlikely to exist. So no real code breaking change. Furthermore, many users (especially Jonathan) always warned not to use in ref as an abbreviation for const ref because it is wrong by language specification.

Other code breakage should not be possible because:

  • in ref became more permissive, no restrictions added
  • scope ref is currently not allowed at all

Overloading rules

If you have several overloads of a function, that take their arguments by value, by ref and by scope ref, scope ref has always minor priority: 

void foo(A a) {

}

void foo(ref A a) {

}

void foo(scope ref A a) {

}

void main() {
	foo(A()); // call: foo(A a)
	A a;
	foo(a); // call: foo(ref A a)
}

The same applies for 'const A', 'ref const A' and 'in ref A'. This behaviour is already implemented by Kenji's Pull Request.

Interconnecton with DIP25

This DIP shares an area of domain with DIP25 but suits different goals. DIP36 is about defining single reference type that can accept both rvalues and lvalues. DIP25 is about using reference types in @safe. They don't conflict and don't depend on each other.

However, adopting this DIP provides some new options to solve DIP25 problem, providing reference type that is restricted enough to be safe on its own. This may be take advantage of or may not and is not really relevant. Code examples in this DIP have comments in regards of safety though to provide an overview for someone interested in this topic.

See also DIP35, which contains an amendment to DIP25 and finds another use for 'scope'. Fortunately, it is not likely to cause conflict with the use proposed here.

Other proposed syntaxes

Title: rvalue references
DIP: 36
Version: 2
Status: Rejected
Created: 2013-04-08
Last Modified: 2013-04-08
Author: Randy Schütt, Михаил Страшун
Syntax Issues
@ref looks like a one-character hack. Not clear what it means.
ref& looks like a one-character hack. Not clear what it means. Looks more like double ref (T&& from C++)
auto ref Template bloat, nicely explained by Jonathan
const ref Rejected by Andrei because const is far more restrictive in D than in C++. Does not allow mutable rvalues.
immutable ref Same as const ref
@temp ref Is somewhat clearer, but adds an entirely new attribute to the language
final ref Not clear what it means, introducing new meaning for 'final'.
A& (like C++'s ref) Need a 'hack' in mtype.h / mtype.c. Type struct need a new boolean property: isRvRef

Discussions on topic

Experimental implementations

Copyright

This document has been placed in the Public Domain.

Retrieved from "https://wiki.dlang.org/?title=DIP36&oldid=6320"