क्लोजर इंस्टेंस? एकल तर्क

Question

मैं क्लोजर instance? फ़ंक्शन द्वारा थोड़ा उलझन में हूं। यह एक भी तर्क लेने में काफी खुश लगता है। तो

(instance? String) 

ठीक काम करता है, लेकिन हमेशा झूठा होता है।

क्या मुझे यहां कुछ याद आ रही है? मैंने इसे दो दिनों में दो बार किया है, और दोनों बार मुझे डीबग करने में काफी लंबा समय लगता है (हाँ, मैं मानता हूं कि गलती करने के लिए एक बार दुर्भाग्य के रूप में माना जा सकता है, लेकिन दो बार लापरवाही की तरह दिखता है)।

एक धैर्य त्रुटि के साथ क्यों नहीं टूटता है?

नोट बाद में जोड़ा गया: क्लोजर 1.6 के रूप में यह तय किया गया है!

http://dev.clojure.org/jira/browse/CLJ-1171

Answer 1

दिलचस्प ... भले ही instance?core.clj में परिभाषित किया गया है, ऐसा लगता है वहाँ विशेष (instance?) रूपों के लिए clojure.lang.Compiler करने के लिए बनाया से निपटने है।

Compiler.java, line 3498:

if(fexpr instanceof VarExpr && ((VarExpr)fexpr).var.equals(INSTANCE)) 
     { 
     if(RT.second(form) instanceof Symbol) 
      { 
      Class c = HostExpr.maybeClass(RT.second(form),false); 
      if(c != null) 
       return new InstanceOfExpr(c, analyze(context, RT.third(form))); 
      } 
     } 

मैं व्याख्या मतलब है कि कि, जब आप संकलन/एक (instance?) प्रपत्र का मूल्यांकन, समारोह core.clj में परिभाषित हार्ड वायर्ड व्यवहार के पक्ष में नजरअंदाज कर दिया है, जो एक लापता व्याख्या करता है nil के रूप में दूसरा तर्क। मुझे लगता है कि यह प्रदर्शन के कारणों के लिए किया जाता है, इन-लाइनिंग के प्रकार के रूप में।

स्पष्ट रूप से यह विशेष हैंडलिंग केवल कुछ मामलों में लागू होती है (और मैं संकलक के साथ पर्याप्त परिचित नहीं हूं कि वे क्या हैं)। जैसा कि अंकुर के उत्तर से सचित्र है, instance? पर कॉल करने के तरीके हैं जो कार्य को core.clj में परिभाषित करने के कारण परिभाषित करते हैं।

Answer 2

आप instance? code को देखें, तो आपको लगता है कि विधि Class की isInstance कहा जाता है देखेंगे:

(def 
    ^{:arglists '([^Class c x]) 
     :doc "Evaluates x and tests if it is an instance of the class 
      c. Returns true or false" 
     :added "1.0"} 
    instance? (fn instance? [^Class c x] (. c (isInstance x)))) 

हुड के नीचे की तरह लग रहा है, nil (or false)x पैरामीटर के लिए डिफ़ॉल्ट मान के रूप में माना जाता है जब isInstance पर पास किया गया और यह false लौटाता है।

Answer 3

मुझे लगता है कि यह एक बग है। यदि आप उदाहरण के एक नए संस्करण को परिभाषित करते हैं ?, उदा।

(def 
^{:arglists '([^Class c x]) 
    :doc "Evaluates x and tests if it is an instance of the class 
     c. Returns true or false" 
    :added "1.0"} 
foo? (fn foo? [^Class c x] (. c (isInstance x)))) 

आप उम्मीद अपवाद

user=> (foo? String "bar") 
true 
user=> (foo? String 1) 
false 
user=> (foo? String) 
ArityException Wrong number of args (1) passed to: user$foo-QMARK- clojure.lang.AFn.throwArity (AFn.java:437) 

Answer 4

हम्म .... दिलचस्प ... सब नीचे कॉल विफल रहता है मिल जाएगा (जो कि यह कैसे माना जाता है है):

user=> (.invoke instance? String) 
ArityException Wrong number of args (1) passed to: core$instance-QMARK- clojure.lang.AFn.throwArity (AFn.java:437) 

user=> (instance? (type "")) 
ArityException Wrong number of args (1) passed to: core$instance-QMARK- clojure.lang.AFn.throwArity (AFn.java:437) 

user=> (apply instance? String []) 
ArityException Wrong number of args (1) passed to: core$instance-QMARK- clojure.lang.AFn.throwArity (AFn.java:437) 

user=> (#'instance? Long) 
ArityException Wrong number of args (1) passed to: core$instance-QMARK- clojure.lang.AFn.throwArity (AFn.java:437) 

इवेंट "उदाहरण" का एक नया उदाहरण बना रहा है? समारोह वस्तु काम करता है के रूप में यह काम करने के लिए माना जाता है:

user=> (def a (.newInstance (aget (.getConstructors (type instance?)) 0) (into-array []))) 
#'user/a 
user=> (a String) 
ArityException Wrong number of args (1) passed to: core$instance-QMARK- clojure.lang.AFn.throwArity (AFn.java:437) 
user=> (a String "") 
true