强制函数输入参数不可变？

Question

我刚刚花了 2 天的时间试图找出一个错误，结果发现我不小心改变了作为函数输入提供的值。

    IEnumerable<DataLog>
    FilterIIR(
        IEnumerable<DataLog> buffer
    ) {
        double notFilter = 1.0 - FilterStrength;

        var filteredVal = buffer.FirstOrDefault()?.oilTemp ?? 0.0;
        foreach (var item in buffer)
        {
            filteredVal = (item.oilTemp * notFilter) + (filteredVal * FilterStrength);

            /* Mistake here!
            item.oilTemp = filteredValue;
            yield return item;
            */

            // Correct version!
            yield return new DataLog()
            {
                oilTemp = (float)filteredVal,
                ambTemp = item.ambTemp,
                oilCond = item.oilCond,
                logTime = item.logTime
            };
        }
    }

我的首选编程语言通常是 C# 或 C++，具体取决于我认为更适合需求的语言（这是更适合 C# 的大型程序的一部分）...

现在在 C++ 中，我可以通过接受常量迭代器来防止此类错误，这会阻止您在检索它们时修改值（尽管我可能需要为返回值构建一个新容器） .我做了一些搜索，在 C# 中找不到任何简单的方法，有没有人知道不同的方法？

我在想我可以创建一个 IReadOnlyEnumerable<T> 类，它将 IEnumerable 作为构造函数，但后来我意识到，除非它在您检索它们时复制值，否则它实际上不会有任何效果，因为基础价值仍然可以修改。

我有什么办法可以防止将来出现此类错误？一些包装类，或者即使它是我要保护的每个函数顶部的一个小代码 sn-p，真的什么都可以。

目前我能想到的唯一可行的方法是为我需要的每个类定义一个ReadOnly 版本，然后有一个非只读版本来继承和重载属性并添加函数提供同一类的可变版本。

Answer 1

这里的问题与IEnumerable 无关。 IEnumerables 实际上是不可变的。您不能在其中添加或删除内容。可变的是您的 DataLog 类。

因为DataLog 是引用类型，item 持有对原始对象的引用，而不是对象的副本。这一点，加上DataLog 是可变的这一事实，允许您改变传入的参数。

所以在高层次上，您可以：

• 复制DataLog，或者；
• 使DataLog 不可变

或两者兼有……

您现在正在做的是“复制DataLog”。另一种方法是将DataLog 从class 更改为struct。这样，您将始终在将其传递给方法时创建它的副本（除非您使用ref 标记参数）。因此，在使用此方法时要小心，因为它可能会默默地破坏假定传递引用语义的现有方法。

您还可以使DataLog 不可变。这意味着删除所有的二传手。或者，您可以添加名为 WithXXX 的方法，该方法返回对象的副本，其中只有一个属性不同。如果您选择这样做，您的 FilterIIR 将如下所示：

yield return item.WithOilTemp(filteredVal);

目前我能想到的唯一可行的方法是为我需要的每个类定义一个只读版本，然后有一个非只读版本继承和重载属性并添加函数来提供同一类的可变版本。

您实际上不需要这样做。请注意List<T> implements IReadOnlyList<T> 是如何变化的，尽管List<T> 显然是可变的。您可以编写一个名为IReadOnlyDataLog 的接口。这个接口只有DataLog 的getters。然后，让FilterIIR 接受IEnumerable<IReadOnlyDataLog> 和DataLog 实现IReadOnlyDataLog。这样，您就不会意外地改变 FilterIIR 中的 DataLog 对象。