Difference between revisions of "DIP39"
Timotheecour (talk | contribs) (→Details) |
Timotheecour (talk | contribs) (→Details) |
||
Line 40: | Line 40: | ||
== Details == | == Details == | ||
In what follows, '''LV''' denotes an lvalue expression, '''RV''' denotes an rvalue expression, '''Expr''' denotes an expression (could be an LV or RV). | In what follows, '''LV''' denotes an lvalue expression, '''RV''' denotes an rvalue expression, '''Expr''' denotes an expression (could be an LV or RV). | ||
− | We introduce the notation '''fun(Expr^)''' to create a temporary variable from '''Expr''' before passing it to a function that takes '''Expr''' by ref. I propose the symbol '^' to denote this temporary creation (^ is also used for XOR in D but shouldn't create ambiguity as XOR is binary), although there are alternatives, see section: | + | We introduce the notation '''fun(Expr^)''' to create a temporary variable from '''Expr''' before passing it to a function that takes '''Expr''' by ref. I propose the symbol '^' to denote this temporary creation (^ is also used for XOR in D but shouldn't create ambiguity as XOR is binary), although there are alternatives, see section: 'Alternative symbols for call site rvalue annotation'. |
<syntaxhighlight lang="d"> | <syntaxhighlight lang="d"> |
Revision as of 22:15, 12 May 2013
Contents
- 1 DIP 39: Safe rvalue references: backwards compatible, safe against ref/nonref code evolution, compatible with UFCS and DIP38
- 2 Abstract
- 3 Details
- 4 Implementation details
- 5 UFCS
- 6 Safety against return by ref/nonref code evolution
- 7 Also: Safety against another type of code evolution: proposal to error on ignored nonref return value
- 8 Safety
- 9 Alternative symbols for call site rvalue annotation
- 10 Copyright
DIP 39: Safe rvalue references: backwards compatible, safe against ref/nonref code evolution, compatible with UFCS and DIP38
Title: | Safe rvalue references: backwards compatible, safe against ref/nonref code evolution, compatible with UFCS and DIP38. |
---|---|
DIP: | 39 |
Version: | 1 |
Status: | Draft |
Created: | 2013-05-10 |
Last Modified: | 2013-05-10 |
Author: | Timothee Cour |
Links: |
Abstract
We propose to introduce rvalue references that are:
- safe: guarantees memory safety so that references will always point to valid memory.
- compatible with DIP38: can use same inref/outref internal compiler annotation for input references that can be returned by ref by a function.
- backwards compatible: current valid D code will continue to work without change. In addition, additional code becomes valid with call site rvalue ref annotation.
- safe against ref/nonref code evolution: call site rvalue ref compulsory annotation turns ref/nonref changes into compile errors instead of silently changing code behavior.
- both const ref or ref can be used with rvalue refs (more flexible than C++)
- no call site ref annotation when input ref argument is already an lvalue (different from C#), for backwards compatibility (and making it less verbose)
- compatible with UFCS
Details
In what follows, LV denotes an lvalue expression, RV denotes an rvalue expression, Expr denotes an expression (could be an LV or RV). We introduce the notation fun(Expr^) to create a temporary variable from Expr before passing it to a function that takes Expr by ref. I propose the symbol '^' to denote this temporary creation (^ is also used for XOR in D but shouldn't create ambiguity as XOR is binary), although there are alternatives, see section: 'Alternative symbols for call site rvalue annotation'.
// Suppose we have a function:
T2 funRef(ref T a);
// We can use it as before with an LV (backwards compatible):
funRef(LV);
// Our proposed new syntax also allows to call fun by creating a temporary from an expression:
funRef(Expr^);//create a temporary before calling funRef: 'auto _tmp=Expr; funRef(_tmp);'
The rule is simple: funRef(ref T a) can still only take an LV, and 'Expr^' or '(Expr)^' creates a temporary LV from an Expr. with funRef(ref T a):
- funRef(LV); //ok: LV passed by ref
- funRef(RV); //error
- funRef(Expr^); // ok: 'auto _tmp=Expr; funRef(_tmp);'
with funNonRef(T a):
- funNonRef(Expr); // ok
- funNonRef(Expr^); // error
If passing an LV to a ref-taking function that involves an implicit conversion, then binding is disallowed without the call-site annotation; this is the LRL (Lvalue-Rvalue-Lvalue) problem pointed out by Andrei:
void fix(ref double x) { if (isnan(x)) x = 0; }
float a;
fix(a); // error due to mismatched types
Implementation details
The compiler will create a temporary whose lifetime shall survive the entire expression where this RV^ occurs:
expr ( funRef(RV^) )
//rewritten by compiler as:
auto _tmp=RV;
expr ( funRef(_tmp) );
UFCS
The rule for UFCS is the same:
with 'funRef(ref T a)':
- LV.funRef(); //ok
- RV^.funRef(); //ok
- LV^.funRef(); //error
- RV.funRef(); //error
with 'funNonRef(T a)':
- LV.funNonRef(); //ok
- RV.funNonRef(); //ok
- LV^.funNonRef(); //error
- RV^.funNonRef(); //error
So current valid code will stay valid, and new code becomes possible in a safe way.*
Safety against return by ref/nonref code evolution
This problem was pointed out by Andrei.
struct A{ref T opIndex(int i){...}}
void fix(ref T x){if (isnan(x)) x = 0; }
A a;
fix(a[0]);//ok since a[0] is an lvalue.
//later on the code changes: opIndex returns by value
fix(a[0]);//now becomes an error since a[0] becomes an rvalue! so we're prevented from accepting code that silently does the wrong thing.
Also: Safety against another type of code evolution: proposal to error on ignored nonref return value
This proposal is independant of this DIP39 as it is independent of rvalue refs but I mention it here. Actually another problem that has nothing to do with rvalue refs can also be addressed:
//suppose now the 'fix' code changes to :
T fix(T x){if (isnan(x)) x = 0; return x;}
fix(a[0]); //compiles but does nothing, regardless of opIndex returning value or ref.
I propose to make it an error to ignore a nonref return value, and to add a function 'ignore' for convenience that consumes and does nothing:
void ignore(T)(T a){}
// can be used as:
fix(a[0]); // error: nonref return value of array is ignored
fix(a[0]).ignore; // ok (although not very useful here; but would be for ignoring, say, error codes)
That'll address this issue. This can be enabled with a compiler flag -error_ignored_nonref_return.
Note, ref returned values are safer to ignore as an object still persists on the stack, but we could also choose to error on those.
Safety
Memory safety would be the same as the current situation in D with same existing pitfalls and no new pitfalls introduced. In conjunction with DIP 38, memory safety would be guaranteed at compile time. With the one introduced in Dconf13, it would be guaranteed with a runtime check.
Alternative symbols for call site rvalue annotation
2 things to decide on : prefix or postfix annotation, and which annotation to use:
prefix vs postfix:
- postfix fun(RV^): (proposed): compatible with left-to-right pipelines in D: [1,2].sort.map!fun.uniq
- prefix fun(^RV): compatible with '&' location wrt RV argument
This can affect ease of disambiguation wrt existing symbols.
which annotation to use (regardless of prefix/postfix):
- fun(RV^);//(proposed). Used for XOR but should not be ambiguous; reminds of a C++ special reference extension
- fun(RV@);//@ has UDA meaning in D, but that could be made unambiguous
- fun(auto(RV)); // suggested by Dmitry S; reminds of creating a temporary variable with auto-deduced type, analog to int(x + 1)
- fun(RV.auto); // UFCS version of auto(RV), makes UFCS much nicer
- likewise with ref(RV) and RV.ref //reminds of C# call site annotation via 'ref', and reminds of function signature
- fun(RV#); //# has a special line reordering meaning in D, but that could be made unambiguous
- fun(RV?); //? has a special (a?b:c) meaning in D, but that could be made unambiguous
- fun(RV&); //probably a bad idea, since for a templated function fun(T)(ref Ta ) this could call fun!(typeof(RV*))(RV&)
This could look like this:
T fun1(ref T2);
T fun2(ref T2);
//with RV^:
[1,2]^.fun1^.fun2.writeln;
//with auto(RV):
auto(auto([1,2]).fun1).fun2.writeln; // a bit verbose
//with RV.auto:
[1,2].auto.fun1.auto.fun2.writeln; // better
Copyright
This document has been placed in the Public Domain.
Thanks to Dmitry S for corrections.