f# - 如何覆盖内置集合中的 tostring

Question

我如何在映射或序列等内置集合上覆盖 tostring 函数，以便 printfn 将使用这个新的自定义 tostring 函数？

我猜应该是这样的

type seq<'T> with
    override xs.Tostring() =
        "blabla"

然而，这只会给出错误“类型缩写不能有扩充”。

然后我查看了 msdn，发现以下关于类型扩展 http://msdn.microsoft.com/en-us/library/dd233211.aspx

它声明我应该能够扩展例如 int32 和序列，如下所示

type System.Int32 with 
    member this.FromString( s : string ) =
       System.Int32.Parse(s)

type seq<'T> with
    /// Repeat each element of the sequence n times
    member xs.RepeatElements(n: int) =
        seq { for x in xs do for i in 1 .. n do yield x }

第一个示例工作正常，但是对于第二个示例，我只是收到一条错误消息，提示 “类型缩写不能有成员”。

我目前正在使用 .Net 4.5.1 和 F# 3.1

Answer 1

类型扩展可以被认为或多或少像扩展成员。您不是在创建新的类型，您只是在声明方法、属性等，语言允许您使用看起来像是现有的一部分的语法来使用它们类型。

只有当您创建了一个继承自您希望覆盖其成员的成员的新类时，才能完成真正的覆盖。

不幸的是，F# 集合类型是密封的或非公共(public)的(或两者)，因此您不能这样做。无论如何，它可能不会很好地工作，因为这些类型在整个编译器/运行时都是硬连接的。

type myList<'t>() =
    inherit list<'t>() // error FS0945: Cannot inherit a sealed type
    override this.ToString() = "woooo"

您可以通过多种方式解决问题，但并不是天衣无缝。这是一个非常有效的基本方法

module CustomStr =
    type ToStringWrapper(toString) =
        override this.ToString() = toString ()

    let list lst = ToStringWrapper(fun _ -> lst |> List.map (sprintf "[%O]") |> String.concat "")
    let seq s = ToStringWrapper(fun _ -> s |> Seq.map (sprintf "{%O}") |> String.concat "")



{1..3} |> CustomStr.seq |> printfn "%A"
[1;2;3] |> CustomStr.list |> printfn "%A"

// {1}{2}{3}
// [1][2][3]