क्यों सी ++ 1 * फिर भी पूर्ण बतख टाइपिंग के लियू में टेम्पलेट कीवर्ड की आवश्यकता है

Question

कई साल पहले, (कम से कम मेरे लिए) स्थिर सी ++ बहुरूपता सुसंगत लगती थी। इस तरह अजगर के रूप में बोली duck typing पर भरोसा किया है, जहां आप हैं:

def fn(foo, bar): 
    foo.baz(bar.bo()) 

और विचार है कि अगर यह "quacked" उचित रूप से, यह भाषा से ठीक था।

सी ++ में, इसके विपरीत, आप को समझाने के लिए क्या "जानवर" यह था होगा:

void fn(foo_type foo, bar_type bar); 

और "परिवारों के राज्यों के लिए", आप स्पष्ट रूप से template कीवर्ड का उपयोग पूरे करने होंगे:

template<class Foo, class Bar> 
void fn(Foo foo, Bar bar); 

---

auto ...() -> decltype वापसी प्रकार है, लेकिन विशेष रूप से generic lambdas की तरह नई सुविधाओं के साथ, वहाँ और अधिक की तरह कुछ हो गया लगता है गैर टेम्पलेट अजगर की तरह डु सी.के. टाइपिंग:

[] (auto container) { return container.size(); }; 

---

मेरा प्रश्न है, तो, है क्यों template कीवर्ड है अभी भी जरूरत है? क्यों न सिर्फ पूरी तरह से (वैकल्पिक) बतख टाइपिंग आलिंगन:

// Takes a foo_type and a bar_type 
void fn(foo_type foo, bar_type bar); 

// Takes some "foo-quacking" type, and a bar_type 
void fn(auto foo, bar_type bar); 

// Etc. 

Answer 1

यह Concepts सुविधा का हिस्सा के रूप में लगभग दरवाजे पर वास्तव में है, और कुछ compilers पहले से ही इसे लागू! उदाहरण के लिए, जीसीसी 4.9 के साथ, अगर आप -std=c++1y निर्दिष्ट करते हैं, तो आप वास्तव में संकलन और निम्नलिखित चला सकते हैं:

auto print_arg(auto arg) { 
    std::cout << arg; 
}