reference - 如何在D的函数参数中使用诸如ref，in，out等的存储类说明符？

Question

D中的函数参数有很多存储类说明符，它们是：


没有
in（等同于const scope）
out
ref
scope
lazy
const
immutable
shared
inout


他们背后的理性是什么？他们的名字已经提出了明显的用途。但是，存在一些未解决的问题：


默认情况下，是否应将ref与in结合使用作为struct类型函数参数？
out暗含暗示ref吗？
什么时候不使用？
类和/或接口上的ref是否有意义？ （默认情况下，类类型是引用。）
数组切片上的ref怎么样？
是否应尽可能将const用于内置算术类型？


更笼统地说：在内置类型，数组，结构，类和接口的情况下，何时以及为什么应该对函数参数类型使用哪个存储类说明符？
（为了稍微隔离问题的范围，请不要讨论shared，因为它具有自己的隔离含义。）

Answer 1

默认情况下，我不会使用任何一个。 ref参数仅采用左值，这意味着您将更改要传递的参数。如果要避免复制，请使用const ref或auto ref。但是const ref仍然需要一个左值，因此除非您要复制函数，否则它通常比其价值更令人讨厌。尽管auto ref将避免复制左值（基本上是这样做的，以便该函数的一个版本使用ref接受左值，而不使用ref接受右值的函数），但它仅适用于模板，从而限制了其实用性。而且，由于D的const是可传递的，并且使用const可能会产生深远的影响，因为D的const是可传递的，并且从变量中删除in并对其进行修改是不确定的行为。因此，尽管它通常很有用，但默认情况下使用它可能会给您带来麻烦。

除了通常建议的scope之外，使用const还可以为您提供scope。应该在函数参数上使用scope来使对该数据的引用无法逃脱该函数，但是尚未正确实现对它的检查，因此实际上您可以在比预期更多的情况下使用它合法。在某些情况下，scope是无价的（例如，使用委托，因为这样可以使编译器不必为其分配闭包），但是对于其他类型，它可能很烦人（例如，如果传递一个数组为scope，则无法从函数将切片返回该数组）。具有任何数组或引用类型的任何结构都将受到影响。尽管现在不会因不正确使用const收到很多投诉，但如果您一直在使用in，则一旦修复，肯定会出现很多错误。而且，它对于值类型完全没有意义，因为它们没有引用可以转义。因此，在值类型（包括值类型的结构）上使用out和ref实际上是相同的。
init与const相同，不同之处在于它将参数重置为其scope值，以便无论传入的变量的先前状态是什么，都始终获得相同的值。
就函数参数而言，几乎总是如此。当您有特定需要时，可以使用ref或new MyClass(7)或其他方式，但是默认情况下，我不建议使用它们。
当然可以。 func与类引用的概念不同。它是对传入的变量的引用。如果我这样做

void func(ref MyClass obj)
{
    obj = new MyClass(7);
}

auto var = new MyClass(5);
func(var);

那么var将在调用 new MyClass(5)之后而不是 ref引用新构造的 var。您正在通过 ref传递引用。就像获取引用的地址（如 func）如何为您提供指向引用的指针，而不是为类对象的指针一样。

MyClass* p = &var; //points to var, _not_ to the object that var refers to.

与类相同。 ref使参数引用传入的变量，例如

void func(ref int[] arr)
{
    arr ~= 5;
}

auto var = [1, 2, 3];
func(var);
assert(var == [1, 2, 3, 5]);

如果 var不使用 arr作为参数，则 var将被切片，并且附加到 ref不会影响 arr。但是由于参数是 var，所以对 const执行的所有操作都对 immutable完成。
这完全取决于您。将其设置为 const可以防止其突变，这意味着如果您不打算对其进行突变，则可以保护您免于意外对其进行突变。它可能还会启用某些优化，但是如果您从不写入变量，并且它是内置的算术类型，则编译器会知道它永远不会更改，并且优化器无论如何都应该能够进行那些优化（尽管无论是执行还是执行）不取决于编译器的实现）。

immutable和 immutable在几乎所有情况下对于内置算术类型实际上都是相同的，所以就我个人而言，如果我想保证这样的变量不会改变，我只会使用 const。通常，如果可以使用 const代替 const，则可以提供更好的优化和更好的保证，因为它允许变量在线程之间隐式共享（如果适用），并且始终保证该变量不能被突变。 （而对于引用类型， immutable仅表示该引用不能使对象发生突变，而不能表示该对象不能发生突变）。

当然，如果您尽可能多地标记变量 const和 immutable，那么它至少在某些时候确实可以帮助编译器进行优化，并且可以更轻松地捕获在您进行了某些改动的地方的错误。不是故意的。由于您知道该变量不会被突变，因此它也可以使您的代码更易于理解。因此，自由使用它们可能很有价值。但是同样，根据类型，使用 const或 immutable可能过于严格（尽管内置整数类型不是问题），因此只需将所有内容自动标记为 或 引起问题。