如何防止对 C# 中的类字段进行优化

Question

我已经构建了一个抽象类，用于处理我们产品的命令行选项。

只需要创建一个从 AbstractOptions 继承的类，用修饰字段填充它，然后调用继承的 Parse(args) 方法，通过反射自动填充来自命令行的值。在命令行中找不到的值保留其当前（默认）值。

然后，应用程序只需要检查选项字段来获取它们的值。 AbstractOptions 类提供了更多功能，如帮助输出等，但它不是重点。

简短示例：

public class SignalOptions: AbstractOptions
{
    [Option("-i, --iterations", "Number of iterations (0 = infinite).")]
    volatile public int NumberOfIterations;

    [Option("-s, --silent", "Silent mode, only display final results.")]
    volatile public bool Silent;

    [Option("-w, --zwindow", "Window size for z-score analysis.")]
    volatile public int ZWindow = 7;

    [Option("-a, --zalert", "z-score value to consider as peak.")]
    public double ZAlert = 2.1;
}

static void Main(string[] args)
{
    var opts = new SignalOptions();
    opts.Parse(args)

    // If optimizations are turned off, SILENT will be written or not 
    // followind presence or absence of the --silent switch on the command line.
    // If optimizations are turned on, SILENT will never be written.
    // The reflection part is working fine. I suspect the problem is that
    // the compiler of the jitter having never found this set anywhere simply inlines
    // the value 'false' inthe if, because when I step on it, it shows me the value as 
    // true or false, but has the same behavior no matter what value opts.Silence has.
    if( opts.Silent )
        Console.Writeline("SILENT");
}       

现在，我遇到的问题是，由于编译器没有找到任何实际更改 SignalOptions 类的值的代码，它只是内联了在代码中使用它们的值。我通过要求类中的所有 'option' 字段都是 volatile 来规避这个问题，因此没有应用优化，并且工作正常，但不幸的是 volatile 关键字在 double 上无效。

我在网上花了很多时间试图找到解决方法，但没有成功。有没有办法阻止对字段的优化或以其他方式欺骗编译器/抖动以为它们是在运行时使用的？

我还希望尽可能减少调用应用程序的责任。

谢谢

Answer 1

我在这里有一个本地副本，Parse 写成相当不透明：

public void Parse(string[] args)
{    // deliberately opaque, not that it would make any difference
    string fieldName = (new string('S', 1) + "ilentX").Substring(0, 6);
    GetType().GetField(fieldName).SetValue(this, true);
}

它工作正常。我不相信问题是你认为的那样。

Answer 2

这是我的猜测：

Parse 在单独的线程中运行，但由于您的同步存在某种缺陷，这使得其余代码在没有设置值的情况下运行。

这也可以解释为什么您在调试器中看到正确的值。

更新（自以为是）：

让Parse 在单独的线程中运行非常奇怪，应该被视为设计缺陷。听起来有人在想“反射很慢，让我们把它放在一个单独的线程中”。