std :: decay nedir ve ne zaman kullanılmalıdır?

Question

std::decay'un nedenleri nelerdir? std::decay hangi durumlarda kullanışlıdır?

Answer 1

< şaka > Açıkça radyoaktifçürümesi için kullanılır Radyoaktif olmayanlaratipi. </şaka >

N2609std::decay önerilen kağıttır. Kağıt açıklar: burada T bir dizi türü ya da bir fonksiyon tipi için bir başvuru ise

Basitçe

, decay<T>::type dışında kimlik tip bir dönüşümdür. Bu vakalarında decay<T>::type, sırasıyla işlevine bir işaretçi veya işaretçi verir. ,

std::pair<std::string, int> p = make_pair("foo", 0); 

o referans parametrelerini kabul ettiyse:

template <class T1, class T2> 
inline pair<T1,T2> make_pair(T1 x, T2 y) 
{ 
    return pair<T1,T2>(x, y); 
} 

dize hazır çalışması için değerine göre parametrelerini kabul hangi:

motive örnek C++ 03 std::make_pair olduğunu daha sonra T1 bir dizi tipi olarak çıkarılacak ve daha sonra bir pair<T1, T2> yapı bozuk olacak.

Ancak açıkçası bu önemli verimsizliklere yol açmaktadır. Bu nedenle, değer aktarımı gerçekleştiğinde ortaya çıkan dönüştürme setini uygulamak için decay'a gereksinim duymak, böylece parametreleri referans alarak alma verimliliğini elde etmenize izin verir, ancak kodunuz için dizgi değişmezleriyle çalışmak için gereken tür dönüşümlerini elde edebilirsiniz. , dizi tipleri, fonksiyon türleri ve benzerleri gibi:

template <class T1, class T2> 
inline pair< typename decay<T1>::type, typename decay<T2>::type > 
make_pair(T1&& x, T2&& y) 
{ 
    return pair< typename decay<T1>::type, 
       typename decay<T2>::type >(std::forward<T1>(x), 
              std::forward<T2>(y)); 
} 

Not: Bu gerçek C++ 11 make_pair uygulama değil - C++ 11 make_pair da std::reference_wrapper s deriyi açar.

Answer 2

Şablon türü parametrelerini alan şablon işlevleriyle uğraşırken, genellikle evrensel parametrelere sahipsiniz. Evrensel parametreler hemen hemen her zaman bir çeşit referanstır. Aynı zamanda kalifiye uçucu niteliktedirler. Beklediğiniz gibi gibi, çoğu yapı özellikleri üzerlerinde çalışmaz:

template<class T> 
void func(T&& param) { 
    if (std::is_same<T,int>::value) 
     std::cout << "param is an int\n"; 
    else 
     std::cout << "param is not an int\n"; 
} 

int main() { 
    int three = 3; 
    func(three); //prints "param is not an int"!!!! 
} 

http://coliru.stacked-crooked.com/a/24476e60bd906bed

burada çözüm kullanmaktır std::decay:

template<class T> 
void func(T&& param) { 
    if (std::is_same<typename std::decay<T>::type,int>::value) 
     std::cout << "param is an int\n"; 
    else 
     std::cout << "param is not an int\n"; 
} 

http://coliru.stacked-crooked.com/a/8cbd0119a28a18bd