小编Ruf*_*art的帖子

自2020 年 6 月起， .net实施了ASN1 阅读器。文档中没有示例如何使用它。此外，在 Google 和 SO 中的搜索没有显示任何示例或描述。我在哪里可以找到一些？

我有以下代码片段:

    public static string returnString()
    {
        string[] stringList = { "a" };

        if (stringList.Count() != 1)
        {
            throw new Exception("Multiple values in list");
        }

        var returnValue = stringList.Single();

        Contract.Assert(returnValue != null, "returnValue is null");

        return returnValue;
    }

CodeContract说:

CodeContracts:断言未经证实.你是否在静态检查器不知道的Single上做了一些假设？

在我的理解中,Single()永远不会返回null - 它返回IEnumerable的唯一值或者抛出异常.如何向代码分析器证明这一点？