首页 文章

无法返回需要强制转换的类型（F＃）

提问于
浏览 次
1

我无法将类型的特定情况返回到另一种只想保留通用案例的类型，而不是实际实现特定示例 . （例如，与下面的类型无关，而不是以厘米为单位返回0.1，我试图返回厘米） .

我的类型定义如下：

type UnitOfMeasure =
    | Foo of decimal
    | Bar of decimal
    | Baz of decimal

然后我也有：

type BlahComponent =
    { Name : string
      Units : UnitOfMeasure }

我得到了UnitOfMeasure类型的字符串表示，我正在尝试决定我有哪个UnitOfMeasure（Foo，Bar或Baz） . 我使用以下功能：

let decideUnitOfMeasure stringRepresentationOfUnitOfMeasureType = 
    match stringRepresentationOfUnitOfMeasureType with 
      | "Foo" -> Foo
      | "Bar" -> Bar 
      | "Baz" -> Baz

最后，我尝试将decisionUnitOfMeasure的返回值赋给BlahComponent

let stringRepresentationOfUnitOfMeasureType = "Foo"
        let bomComponent = {Name = "nameString"
                            Units = decideUnitOfMeasure stringRepresentationOfUnitOfMeasureType}

尝试将determineUnitOfMeasure的返回值分配给Units会导致以下错误：表达式应该具有类型“UnitOfMeasure”但类型为“（decimal - > UnitOfMeasure）” .

看来，根据UnitOfMeasure的定义，返回Foo，Bar或Baz的实际情况是不可能的，因为它需要将UnitOfMeasure转换为小数 . 有没有办法在没有强制转换为小数的情况下返回实际案例？

types casting f#

2 回答

  • 2

    重新定义 UnitOfMeasure 以使其更像是一个简单的枚举，其中构造函数没有参数，这可能是最好的服务：

    type UnitOfMeasure =
    | Foo
    | Bar
    | Baz

    现在，您可以移动小数值，使其不是类型参数 . 您可以创建一个记录类型，甚至将其保存为一个简单的元组：

    type BlahComponent =
    { Name : string
      Value : UnitOfMeasure * decimal }
    回复于
  • 2

    这不是关于铸造 . 这只是一种类型错误 .

    Foo 是 UnitOfMeasure 类型的构造函数 . 它的类型为 decimal -> UnitOfMeasure . 这意味着它需要 decimal 值并返回 UnitOfMeasure .

    所以 Foo 本身不是UnitOfMeasure，但 Foo 1m 是 . 您的 Units 字段实际上也存储了该号码，但您没有提供该号码 .

    这就解释了为什么您会看到此错误 . Chad Gilbert的答案提供了一种可能的替代方法，但最好的方法实际上取决于你想要做什么 .

    回复于

相关问题