从“INOUT地狱”

Question

我逃离有一些非常简单的代码，拒绝编译：

struct Wrapper(T) 
{ 
    T t; 

    bool opEquals(inout(Wrapper) other) inout 
    { 
     return t == other.t; 
    } 

    bool opEquals(inout(T) val) inout 
    { 
     return t == val; 
    } 
} 

struct Test 
{ 
    bool opEquals(Test t) 
    { 
     return true; 
    } 
} 

void main() 
{ 
    Wrapper!Test a, b; 

    assert(a == b); 

    //Error: inout method Test.opEquals is not 
    //callable using a mutable object 
    assert(a == Test()); 
} 

现在，我知道这个问题，这是Test没有定义的inoutopEquals。但是，在Test中定义opEquals的另一个可变版本不能解决此问题，因为编译器只是忽略它并无论如何调用inout版本。有没有什么方法可以解决这个问题，而不是诉诸于为易变，const和immutable定义opEquals过载？

Answer 1

全部inout是为了使得返回类型的常量可以匹配函数参数的常量。如果你有

const(Foo) bar(const(Foo) f) { 
{ 
    //... 
    return f; 
} 

，你传递一个mutable或immutable对象bar，你最终得到一个const对象返回，而如果你使用inout

inout(Foo) bar(inout(Foo) f) { 
{ 
    //... 
    return f; 
} 

的返回类型的常量性是相同的该论点传递给f。无论哪种方式，在该功能中，f被有效地视为const。您只能拨打const和inout功能。所以，制作opEqualsinout是毫无意义的，因为它没有返回任何参数。这与制作const相同。

您的根本问题在于您试图在const对象上调用可变函数。这不合法，因为它违反const。你有两个选择之一：

1. 制作Wrapper的opEquals可变的。那么当T的opEquals是可变的时，它可以调用opEquals。

2. 使用static if来定义opEquals的不同取决于T如何定义opEquals。

没有办法的opEquals从T常量性转发给Wrapper没有与static if明确地这样做。例如

struct Wrapper(T) 
{ 
    T t; 

    static if(is(typeof({const T t; t == t;}))) 
    { 
     bool opEquals(const Wrapper other) const 
     { 
      return t == other.t; 
     } 

     bool opEquals(const T val) const 
     { 
      return t == val; 
     } 
    } 
    else 
    { 
     bool opEquals(Wrapper other) 
     { 
      return t == other.t; 
     } 

     bool opEquals(T val) 
     { 
      return t == val; 
     } 
    } 
} 

因为Wrapper是一个模板，pure，nothrow和@safe将其功能可以推断，但对于const，inout，或immutable没有属性的推理。

Answer 2

只需删除inout。编译器自动为模板推断const等属性。

无论如何，您并未使用inout作为其预定用途; inout用于根据参数传递mutable，const或immutable到函数的返回类型。函数体必须承担最差（const），所以它不能调用非常量方法。

请注意，因为在您的示例中，Test.opEquals不是const，它只能在可变对象上调用。还要注意，在D中，const是可传递的，因此const(Wrapper!Test)与const(Wrapper!(const(Test)))相同。因此，无论如何，除非您创建const，否则无法在const /不可变对象上（即使在包装器中）调用Test.opEquals。