properties - 为 D 中的 const 和非常量结构提供 @property

Question

我这样定义一个简单的结构:

struct Person{
    private string _name;

    @property ref string name() { return _name; }
}

@property 注解真的很酷，但我不知道应该如何正确使用它。

上面的很好，但是我不能将 Person 传递给需要 in Person 的函数，例如:

void fun(in Person p) { ... } 

为了避免复制 Person，我必须使用 ref 声明参数，尽管我没有修改它。

那么如何将属性语法与常量正确性结合起来呢？

---

编辑:跟进，同样适用于循环吗？

void fun(in Person[] people) {
    foreach(Person p; people) { ... }
}

现在我不想复制 person，但是我不能使用 ref Person 因为它是常量。所以我必须在循环中编写 ref const(Person) p，它变得很长。

Answer 1

通常，你会做的是

@property string name() const { return _name; }
@property void name(string value) { _name = value; }

并且您不会为 ref 而烦恼(当然，对于 string 而言，没有太多意义)。对于您希望避免复制的更复杂的类型，您可以通过 const ref 返回，例如

@property ref const(Foo) foo() const { return _foo; }
@property void foo(Foo value) { _foo = value; }

您可以重载 setter，以便它除了接受 Foo 之外还接受 ref Foo，但这没有多大意义，因为您无论如何都会复制传入的 Foo 以将其分配给 _foo。

如果您真的想要，您可以通过 ref 从 getter 返回并重载它，例如

@property ref const(Foo) foo() const { return _foo; }
@property ref Foo foo() { _foo; }

在这种情况下，非 const 重载可以用作 setter，但如果你打算这样做，为什么还要费心使用属性呢？到那时，您还不如将成员变量公开，因为该属性根本不保护它。通过返回非 const ref，您已经失去了对如何设置成员变量的控制，并有效地将其公开为公共(public)成员变量，除了您在它周围有额外的函数管道。它给你的唯一好处是你可以在返回之前做一些事情，并且类型的不变量(如果有的话)将在调用属性时被调用(而它不会使用公共(public)成员变量)，但是因为变量可以在您无法控制的情况下进行设置，与简单地公开成员变量的简单性相比，这些好处的值(value)值得怀疑。

因此，一般来说，第一个示例是可行的方法，偶尔，第二个示例更好，但可以说使用第三个示例毫无意义。

编辑:

作为Kozzi11 points out ，您可以将第三个示例实现为

@property auto ref foo() inout { return _foo; }

或

@property ref inout(Foo) foo() inout { return _foo; }

虽然没有两个函数，但我关于它并不比公共(public)成员变量好多少的观点仍然适用。

编辑 2:关于您对问题的编辑...

如果你想避免在循环中复制，你将必须明确类型。

foreach(p; people) { ... }

会工作，但它会在遍历 people 时复制每个单独的 Person，而

foreach(ref Person p; people) { ...}

或

foreach(ref const(Person) p; people) { ...}

将避免复制每个 Person。