4

这个问题似乎很愚蠢，但我真的不明白。

module Responses =
    type Failure = 
        | Problem of string 
        | Error of exn 
        | Timeout
        static member toString x = 
            match x with
            | Problem str -> sprintf "Problem %s" str
            | Error e -> sprintf "Error %s" (e.ToString())
            | Timeout -> "Timeout"
        override x.ToString() = Failure.toString x

错误是

      override x.ToString() = Failure.toString x;;
--------------------------------------^^^^^^^^
stdin(11,41): error FS0039: The field, constructor or member 'toString' is not defined

原因是 f# 出于某种原因认为那Failure是类型Microsoft.FSharp.Core.Operations.Failure

当我尝试写作时

override x.ToString() = Responses.Failure.toString x

我明白了

Startup.fs(14,33): error FS0039: The namespace or module 'Responses' is not defined

当我重命名Failure为 examplexFailure时，它​​可以工作。但我真的不想重命名它。我可以以某种方式避免重命名并使用静态方法吗？

4

1 回答 1

8

这是一个有点令人惊讶的行为！我认为它正在发生，因为它是FailureF# 核心库中定义的另一种类型。当您尝试调用静态方法时，编译器（出于某种原因）仅选择 F# 库类型，但不会合并静态方法（这是我所期望的）。

我认为这可能是一个错误 - 所以请在 F# CodePlex 网站上报告它。

作为一种变通方法，我只提出了一个相当丑陋的想法，即定义一个私有类型别名，例如FailureStatic，然后使用该别名调用静态成员（您的库的用户不会看到它）。

module Responses =
    type private FailureStatic = Failure
    and Failure = 
        | Problem of string 
        | Error of exn 
        | Timeout
        static member toString x = 
            match x with
            | Problem str -> sprintf "Problem %s" str
            | Error e -> sprintf "Error %s" (e.ToString())
            | Timeout -> "Timeout"
        override x.ToString() = FailureStatic.toString x
于 2014-04-17T12:10:26.507 回答