`void f (A <I>, tuple <T *...>)` dan daha özel değil (A <0>, tuple <T *...>) `` dır?

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 ikinci aşırı yükü daha fazla uzman değil mi? g ++ 4.9.2, çağrının belirsiz olduğunu söyler, argo 3.6.0 bunu kabul eder. Hangi derleyici doğru?

std::tuple<T *...>'u std::tuple<T...> olarak değiştirirseniz, g ++ bununla iyi anlaşılamıyor, ki bu anlamadım.

Answer 1

Mevcut kurallara göre, ikinci aşırı yük daha uzman. @ sentezlenmiş değeri olan A<@> numaralı bazı uzmanlıklar, A<0> ile eşleştirilemez, ancak A<0>, A<I> (I=0 ile) ile eşleştirilebilir. Bu ilk çiftin asimetrisi belirleyicidir. T veya T* modelini, ikinci parametrede kalıbın alakasız olması durumunda, kesinti bu çift için her iki yolu başarılı bir şekilde kullanır.

Hata hala gövdede devam ediyor ve @Barry tarafından 67228 olarak bildirildi.