एफ #: मैं पैटर्न प्रकार कैसे मेल करूं?

Question

मेरे पास एक ऐसा फ़ंक्शन है जो सामान्य पैरामीटर लेता है, और इसके अंदर मुझे पैरामीटर के प्रकार के आधार पर दो कार्यों में से एक को निष्पादित करने की आवश्यकता होती है।

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

.... जहां लोडलाइकक्रैजी और लोडविथपाइज़ दोनों एक 'टी।

वीएस मुझे सूचित करता है कि वाइल्डकार्ड केस कभी निष्पादित नहीं होगा, क्योंकि मुझे स्पष्ट रूप से संकलन समय पर जेनेरिक का प्रकार मिल रहा है, न कि रनटाइम पर वास्तविक प्रकार। यह कैसे करना है?

Answer 1

अपने कोड में, पहला पैटर्न मिलान नियम < 'T> के साथ hhType के विरुद्ध तुलना नहीं करता है। इसके बजाए, यह एचएचटीपी नामक एक नया मूल्य पेश करेगा। यही कारण है कि आपको चेतावनी मिली है। मैं इस तरह के कोड को संशोधित करना चाहता हूं।

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

Answer 2

_path'T का एक उदाहरण है?

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

त्रुटि के लिए कारण यह है कि hhType अपने match अभिव्यक्ति के भीतर hhType की पूर्व घोषणा पीछा कर रहा है: यदि हां, तो Talljoe के समाधान के लिए काम करेंगे, अन्यथा आप की तरह कुछ करना होगा। तो, यह केवल आपके मिलान अभिव्यक्ति के मूल्य को एक नए बाध्यकारी में कैप्चर कर रहा है। यह सब कुछ मेल खाता है, इसलिए आपकी वाइल्डकार्ड की स्थिति कभी भी हिट नहीं होगी।

Answer 3

क्या nyinyithann का उल्लेख किया गया सही है। मैंने नीचे दिए गए कोड को एफ #

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

को वही चेतावनी मिली। खेतों में प्रयुक्त परावर्तक देखने के लिए कोड उत्पन्न कर रहा है और नीचे दिए गए कोड पाया (सी # में decompiled)

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

नहीं

यकीन है कि क्यों संकलक इस :(किया था। किसी को भी इस व्यवहार का वर्णन कर सकते हैं?