opIndex的正確實現是什麼？

Question

struct A{ 

    int[3] _data; 

    ref int opIndex(size_t i) { return _data[i]; } 

    int opIndex(size_t i) const{ return _data[i]; } 
} 

T fun(T)(const ref T a){ 

    T ai = a; 
    swap(ai[0], ai[1]); // error 
    return ai; 
} 

immutable A a = A(); 
immutable A b = fun(a); 

void main(){ } 

上面的代碼提供了以下錯誤：

Error: ai.opIndex(0LU) is not an lvalue 
Error: ai.opIndex(1LU) is not an lvalue 
     called from here: fun(a) 

ai是a副本，它是一個左值，所以我不明白爲什麼我得到的錯誤。

Answer 1

您需要使用opIndexAssign而不是opIndex進行分配，因此而不是ref int opIndex(size_t i)使用int opIndexAssign(int value, size_t i)。

你可以找到更多在這裏：Operator Overloading

編輯：

import std.algorithm; 

struct A{ 

    int[3] _data; 

    ref int opIndex(size_t i) { return _data[i]; } 
} 

T fun(T)(){ 
    T ai; 
    // swap(ai._data[0], ai._data[1]); 
    swap(ai[0], ai[1]); 
    return ai; 
} 

immutable A a = A(); 
immutable A b = fun!(A); 

void main(){ }