Статическое ограничение по элементу

Question

Я пытаюсь написать версию «TryGetValue» с опциональной версией, которая будет работать на любом объекте, который реализует IDictionary или IReadOnlyDictionary. У меня есть это:

let inline contains (key:^key) (dictionary:^dic)= 
    (^dic: (member ContainsKey: ^key -> bool) (dictionary, key)) 

let inline tryGetValue (dictionary:^dic) (key:^key)= 
    if contains key dictionary then 
     let value = (^dic : (member get_Item: ^key -> ^value) (dictionary, key)) (dictionary)) key 
     value |> Some 
    else None 

Определение «значение» выдаст предупреждение, что ограничения членов с именем get_Item имеют особый статус, который может привести к ошибкам во время выполнения. Что я должен здесь делать?

Answer 1

Как насчет использования TryGetValue вместо ContainsKey и Item?

let inline tryGetValue dic key = 
    let mutable value = Unchecked.defaultof< ^value> 
    let contains = (^dic : (member TryGetValue : ^key * byref< ^value> -> bool) (dic, key, &value)) 
    if contains then Some value else None