F #: Jak wzorzec pasuje do wartości typu?

Question

Mam funkcję, która pobiera ogólny parametr, a wewnątrz niego potrzebuję wykonać jedną z dwóch funkcji w zależności od typu parametru.

member this.Load<'T> _path = 
    let hhType = typeof<HooHah> 
    match typeof<'T> with 
     | hhType -> this.LoadLikeCrazy<'T> _path 
     | _ -> this.LoadWithPizzaz<'T> _path 

.... gdzie LoadLikeCrazy i LoadWithPizzaz zwracają wartość 'T.

VS informuje mnie, że przypadek wieloznaczny nigdy nie zostanie wykonany, ponieważ najwyraźniej otrzymuję typ generyczny w czasie kompilacji, a nie rzeczywisty typ w czasie wykonywania. Jak mam to zrobić?

Answer 1

W kodzie pierwsza reguła dopasowania wzorca nie porównuje typu < "T> z typem hhType. Zamiast tego wprowadzi nową wartość o nazwie hhType. To jest powód, dla którego otrzymałeś ostrzeżenie. Wolę zmodyfikować kod w ten sposób.

member this.Load<'T> _path =   
    match typeof<'T> with   
    | x when x = typeof<HooHah> -> this.LoadLikeCrazy<'T> _path   
    | _ -> this.LoadWithPizzaz<'T> _path 

Answer 2

Czy _path jest instancją 'T? Jeśli tak, to rozwiązanie Talljoe będzie działać, inaczej będziesz musiał zrobić coś takiego:

member this.Load<'T> _path = 
    if typeof<'T> = typeof<HooHah> then this.LoadLikeCrazy<'T> _path 
    else this.LoadWithPizzaz<'T> _path 

Przyczyną błędu jest hhType ciągu swojej wypowiedzi match jest shadowing uprzedniej deklaracji hhType. Jest to po prostu przechwytywanie wartości wyrażenia dopasowania do nowego powiązania. Wszystko to pasuje, dlatego twój warunek wieloznaczny nigdy nie zostanie trafiony.

Answer 3

To, co nynnyithann wspomniał, jest poprawne. Napisałem poniższy kod w F #

let Hello name = 
let n = "Sample" 
match name with 
| n -> 1 
| _ -> 0 

Otrzymałem to samo ostrzeżenie. Używane reflektor, aby zobaczyć, co kod jest generować i znaleźć poniższy kod (dekompilowana w C#)

public static int Hello<a>(a name) 
{ 
    a local = name; 
    a name = local; 
    return 1; 
} 

Nie wiem, dlaczego kompilator to zrobił :(. Czy ktoś może opisać ten problem?