सी ++ निहित मापदंडों के साथ समारोह खाका instantiaion

Question

मैं समझ नहीं क्यों निम्नलिखित कोड ठीक संकलित:

#include <iostream>                 

void bar(int x) {                 
    std::cout << "int " << x << std::endl;            
}                     

void bar(double x) {                 
    std::cout << "double " << x << std::endl;           
}                     

template <typename A, typename B> // Note the order of A and B.            
void foo(B x) {                  
    bar((A)x);                   
}                     

int main() {                   
    int x = 1;                   
    double y = 2;                  

    foo<int>(x);  // Compiles OK.                
    foo<double>(y);  // Compiles OK.            

    return 0;                   
} 

लेकिन अगर मैं A और नीचे के रूप में B का क्रम बदलने, तो यह संकलन नहीं होगा:

#include <iostream>                 

void bar(int x) {                 
    std::cout << "int " << x << std::endl;            
}                     

void bar(double x) {                 
    std::cout << "double " << x << std::endl;           
}                     

template <typename B, typename A> // Order of A and B are switched. 
void foo(B x) {                  
    bar((A)x);                   
}                     

int main() {                   
    int x = 1;                   
    double y = 2;                  

    foo<int>(x);  // error: no matching function for call to ‘foo(int&)’ 
    foo<double>(y);  // error: no matching function for call to ‘foo(double&)’                

    return 0;                   
}  

संपादित करें: तदर्थ स्पष्टीकरण स्वागत है, लेकिन बेहतर होगा अगर किसी को सही क्या कल्पना का कहना है सकते हैं। कहते हैं। धन्यवाद!

Answer 1

पहले एक में, संकलक जानता है कि A है int क्योंकि आप विशेष रूप से foo<int> साथ तो यह बताओ, और यह जानता है कि B भी पैरामीटर है कि आप इसे पारित की वजह से int है। तो A और B दोनों ज्ञात या कटौती की जा सकती हैं (आप कह सकते हैं: A, B निहित है)।

हालांकि, दूसरे में, B पहले आता है और A पैरामीटर सूची में प्रकट नहीं होता है, संकलक यह नहीं बता सकता कि A क्या है और आपको एक त्रुटि देता है। आप स्पष्ट रूप से यह कह रहे हैं क्या Bfoo<int> साथ है, और फिर पैरामीटर पारित भी एक B जो, कॉल पर, एक int जो B के अपने पिछले स्पष्ट परिभाषा से सहमत है परोक्ष है, लेकिन कोई जिक्र नहीं A से बना है, या स्पष्ट रूप से, इसलिए संकलक को रोकना और त्रुटि होना चाहिए।

आपको इसके लिए मानक की आवश्यकता नहीं है, यह सामान्य ज्ञान है। पृथ्वी पर क्या A दूसरे में होगा?

हालांकि इस सवाल को पूछने के लिए धन्यवाद, क्योंकि मुझे एहसास नहीं हुआ कि आप स्पष्ट रूप से कुछ पैरामीटर निर्दिष्ट कर सकते हैं और इससे पहले पैरामीटर सूची में दूसरों को निर्दिष्ट कर सकते हैं।