İç içe şablon uzmanlığı "Açık şablon bağımsız değişkenlerinin yasa dışı kullanımı" ile sonuçlanır?

Question

İç içe geçmiş bir şablonu nasıl uzmanlaşırım? (Aşağıdaki hataya bakın.)

using std::reverse_iterator; 

template<typename It> 
reverse_iterator<It> make_reverse_iterator(const It &it) 
{ 
    return reverse_iterator<It>(it); 
} 

template<typename It> 
It make_reverse_iterator<reverse_iterator<It> >(const reverse_iterator<It> &it) 
{ 
    // Above     ^
    // error C2768: 
    // 'make_reverse_iterator': illegal use of explicit template arguments 
    return it.base(); 
} 

Answer 1

Bu, bir işlev şablonunun kısmi bir özelleşmesidir. Buna izin verilmiyor.

yerine bir aşırı ile bu örnekte sorunu çözebilir: aşırı yükler sınıf şablonları kısmi uzmanlaşma için çare olabilir çalışmayan vakalarda

template<typename It> 
It make_reverse_iterator(const reverse_iterator<It> &it) 
{ 
    return it.base(); 
} 

.

Answer 2

Bu, partial function template specialization numaralı telefona izin verilmez. Bununla birlikte işlevini aşırı yükleyerek aynı etkiyi elde edebilirsiniz:

template<typename It> 
It make_reverse_iterator(const reverse_iterator<It> &it) 
{ 
    return it.base(); 
} 

üzerinde bir şablon uzmanlık, ancak parametresi bir const_reverse_iterator<It> olan make_reverse_iterator bir şablon aşırı yük değildir.