MSVC2015 decltype पैरामीटर प्रकार ओवरलोडेड टेम्पलेट फ़ंक्शन

Question

क्या निम्न प्रोग्राम अनुपालन C++ 11 है? यदि हां, तो क्या आप एक विशिष्ट एमएसवीसी बग के बारे में जानते हैं जो इसे ट्रिगर करता है? और/या एक संभावित काम के आसपास?

#include <iostream> 

struct A {}; 
struct B {}; 

constexpr A aaa = {}; 
constexpr B bbb = {}; 

template <typename T> 
void foo(T, decltype(aaa)) { std::cout << "a"; } 

template <typename T> 
void foo(T, decltype(bbb)) { std::cout << "b"; } 
//^C2995 'void foo(T,unknown-type)': function template has already been defined 

int main() 
{ 
    foo(0, aaa); 
    foo(0, bbb); 
} 

वास्तविक प्रकार decltype के लिए प्रतिस्थापित रहे हैं तो यह काम करता है, लेकिन व्यवहार में इन प्रकार भी पुन: पेश करने जटिल हो जाते हैं और मैं उन्हें कल्पित नामों के लिए नहीं करना चाहते। निम्नलिखित मामूली संशोधन के साथ मेरे लिए

Answer 1

काम करता है (वी.एस. 2015/v140):

#include <iostream> 

struct A {}; 
struct B {}; 

constexpr A aaa = {}; 
constexpr B bbb = {}; 

using A_type = decltype(aaa); 
using B_type = decltype(bbb); 

template <typename T> 
void foo(T, A_type) { std::cout << "a"; } 

template <typename T> 
void foo(T, B_type) { std::cout << "b"; } 

int main() 
{ 
    foo(0, aaa); 
    foo(0, bbb); 
} 

लेकिन इस प्रकार एक ही त्रुटि (यकीन नहीं क्या इसके बारे में करने के लिए) पैदावार:

template <typename T> 
struct TypeWrapper { 
    using type = T; 
}; 

template <typename T> 
void foo(T, typename TypeWrapper<decltype(aaa)>::type) { std::cout << "a"; } 

template <typename T> 
void foo(T, typename TypeWrapper<decltype(bbb)>::type) { std::cout << "b"; }