d的dip1000仍按域变量对待中引用的副本

原文
出现在自定义动态数组类型中.

//用-preview=dip1000编译
@safe:
struct Arr
{
    int** ptr;

    ref int* index() return scope {
        return *ptr;
    }

    void assign(int* p) scope {
        *ptr = p;
    }
}

void main()
{
    scope Arr a;
    a.assign(a.index());
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

因为它按ref返回域数组元素,index是return scope.但是,把它传递给assign函数时,会传递ref return的副本,隐式解引用它,这样不再是域.但是,编译器仍然会报错误:
a域变量赋值给非域参数.

问题在这:

ref int* index() return scope {
    return *ptr;
}
1
2
3

应用scope至this引用,在本例中为ptr.尽管*ptr不是scope,因为scope不是传递的,因为给它讲了,编译器转移scope到返回值.(这是一项功能,而不是错误.)
基本问题是代码使域有传递性,但不行.有时,代码必须用@trusted代码才能使其工作.

不,"中域"注解是正确的.因为我按ref取解引用地址,为返回它,*ptr再次变为scope.如果按仅域标记index,编译器会正确地抱怨return*ptr:错误:可能不会返回this域变量.
不,我的数组结构与动态数组完全一样.它不是让域指针作为数组元素.