2311ddip1000不能从函数返回域引用

原文
以下程序无法用-preview=dip1000编译:

void main() @safe
{
    int[3] a = [1, 2, 3];
    int[] slice;
    //好
    slice = a[];
    scope ref getSlice() { return slice; }
    //错误:把对a局部变量的`引用`赋值给非域`getSlice()`
    getSlice() = a[];
}
1
2
3
4
5
6
7
8
9
10

getSlice应该可返回可安全地赋值给'a[]'的引用.

如常,去掉抽象,化简为仅指针时,更清楚:

  @safe void test()
  {
    int i;
    scope int* p = &i;
    scope ref get() { return p; }
    get() = &i;
  }
1
2
3
4
5
6
7

我不太清楚本地函数上的"域"是否应限定环境指针或返回值.一般,闭包环境是DIP1000不健全的一大根源.
这也会影响非嵌套函数.如:

ref int* getRef(return ref scope int* p) @safe
{
    return p;
}
void main() @safe
{
    int n;
    scope int* p;
    getRef(p) = &n;
}
1
2
3
4
5
6
7
8
9
10

在没有像Rust这样成熟的生命期系统时,不确定接受此代码是否可行,但尽量,那肯定会很方便.

问题是它不认为"getRef(p)"是"p"变量.=的右侧使用按值或按引用转义的逻辑,而左侧使用只能返回一个变量的'表达式到变量',因此它放弃了潜在的多变量式.如:

void main() @safe
{
    int n;
    scope int* p;
    (n ? p : p) = &n;
}
1
2
3
4
5
6

错误:把"n"局部变量的引用赋值给非域"*(n?&p:&p)"
这可通过对左边使用相同的按值转义逻辑,并对一切左边变量重复其余的checkAssignEscape逻辑来解决.
它不会有最佳的时间复杂度,但复杂的左边式应该不多.