小编Gil*_*les的帖子

我有以下几种扩展方法,它们位于相同的命名空间和程序集中:

public static class DateTimeExtensions
{
    public static string NullSafeToString(this DateTime? possiblyNullDateTime, string format, string nullString = "")
}

public static class NullableExtensions
{
    public static string NullSafeToString<T>(this Nullable<T> nullable, string nullString = "") where T : struct
}

我的问题是关于方法解决方案.以下调用(来自另一个命名空间)解析为ObjectExtensions.NullSafeToString我预期的时间DateTimeExtensions.NullSafeToString:

DateTime? dateTime;
// ...
dateTime.NullSafeToString("yyyyMMdd");

删除可选参数DateTimeExtensions.NullSafeToString会导致其按预期解析.

C#规范的第7.6.5.2节概述了搜索的命名空间的顺序,但由于上面的命名空间相同,我希望它能使用7.6.5.1节中的规则.

我认为它匹配DateTimeExtensions.NullSafeToString是因为:

• 虽然它们都具有第一个参数类型Nullable<DateTime>,但我认为首先考虑非泛型方法(即没有类型参数).
• 我虽然首先考虑参数列表而没有它们的可选参数

任何人都可以解释,为什么它捡ObjectExtensions.NullSafeToString了DateTimeExtensions.NullSafeToString？

(旁白:从这里的其他讨论中,我怀疑有些人可能不赞成使用扩展方法语义来解除引用null安全,但我发现用于这种有限的场景,它们会产生更易读的代码.我也知道Nullable.ToString已经知道了null-safe因为Nullable对象本身不是null,但是它不能满足包含的参数ToString,我发现显式命名的方法指示了null安全的意图.)

F#的'选项'似乎是一种很好的方式,使用类型系统将已知存在的数据与可能存在或不存在的数据分开,我喜欢match表达式强制执行所有情况的方式:

match str with
| Some s -> functionTakingString(s)
| None -> "abc"         // The compiler would helpfully complain if this line wasn't present

s(反对str)是一个string而不是一个非常有用string option.

但是,在处理具有可选字段的记录时...

type SomeRecord =
    {
        field1 : string
        field2 : string option
    }

......那些记录正在被过滤,match表达感觉不必要,因为在这种None情况下没有任何明智的做法,但是......

let functionTakingSequenceOfRecords mySeq =
    mySeq
    |> Seq.filter (fun record -> record.field2.IsSome)
    |> Seq.map (fun record -> functionTakingString field2)          // Won't compile

...将无法编译,因为虽然field2已经过滤掉未填充的记录,但类型field2 …