主页 / coding / 问题 / 77352980
Accepted
citykid
Asked: 2023-10-24 22:26:08 +0800 CST

有没有办法扩展依赖于 F# 中的 K 和 V 的泛型类型 IStore<ValueTuple<K, V>> ？

  • 772

在 C# 中，我可以使用此扩展方法扩展类型 IStore<ValueTuple<K, V>>

public static void F<K, V>(this IStore<ValueTuple<K, V>> s, K k)

我没有看到使用 F# 以类似方式扩展 IStore<ValueTuple<K, V>> 的方法。我能想到的最接近的方法是通过约束来表达 ValueTuple 规范，但这不起作用：

type IStore<'kv when 'kv :> ValueTuple<'k, int> > with
   member o.F(k: 'K) = 42

有没有办法在 F# 中表达这一点？

generics

2 个回答

  1. Best Answer

    这个答案似乎有效：https://stackoverflow.com/a/23208542/20092784

    open System.Runtime.CompilerServices

[<Extension>]
type Extensions () =
    [<Extension>]
    static member inline F<'K, 'V>(o: IStore<ValueTuple<'K, 'V>>, k: 'K) = 42
    • 1

  2. 从 F# 的某些更高版本（当我们获得结构元组时）开始，您还可以执行以下操作

    type IStore<'T> with
    static member f<'K> ((s: IStore<(struct('K * int))>), (k: 'K)) = 42
    • 1

相关问题