`void f (ए <0>, tuple <T *...>)` void f (ए <I>, tuple <T *...>) से अधिक विशिष्ट नहीं है?

Question

#include <tuple> 

template<int I> 
struct A {}; 

template<int I, typename... T> 
void f(A<I>, std::tuple<T *...>) {} 

template<typename... T> 
void f(A<0>, std::tuple<T *...>) {} 

int main() 
{ 
    f(A<0>{}, std::tuple<char*, int*, float*>{}); 
} 

f का दूसरा अधिभार अधिक विशिष्ट नहीं है? जी ++ 4.9.2 कहता है कि कॉल संदिग्ध है, clang 3.6.0 इसे स्वीकार करता है। कौन सा कंपाइलर सही है?

यह दिलचस्प है कि यदि आप std::tuple<T *...> से std::tuple<T...> बदलते हैं, तो g ++ इसके साथ ठीक है, जिसे मैं समझ नहीं पा रहा हूं।

Answer 1

वर्तमान नियमों के अनुसार, दूसरा अधिभार अधिक विशिष्ट है। संश्लेषित मूल्य @ के साथ कुछ विशेषज्ञता A<@>A<0> के विरुद्ध मेल नहीं खाया जा सकता है, लेकिन A<0>A<I> (I=0 के साथ) के साथ मिलान किया जा सकता है। यह पहली जोड़ी असममितता निर्णायक है। चाहे आप T या T* का उपयोग करें क्योंकि दूसरे पैरामीटर में पैटर्न अप्रासंगिक है, क्योंकि कटौती उस जोड़ी के दोनों तरीकों से सफल होती है।

बग अभी भी ट्रंक में बनी हुई है और @ बररी द्वारा 67228 के रूप में रिपोर्ट की गई थी।