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

Varlığının nedenleri nelerdir std::decay? Hangi durumlarda std::decayfaydalıdır?

_{<joke> Açıkça radyoaktif std::atomictürleri radyoaktif olmayan türlere bozmak için kullanılır . </joke>}

N2609 önerilen makaledirstd::decay . Makale açıklıyor:

Basitçe ifade etmek gerekirse, decay<T>::typeT bir dizi tipi ya da bir fonksiyon tipine referans olması dışında kimlik tipi-dönüşümdür. Bu durumlarda, decay<T>::typebir işleve sırasıyla bir işaretçi veya işaretçi verir.

Motive edici örnek C ++ 03'tür std::make_pair:

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

dize değişmez değerlerini çalıştırmak için parametrelerini değere göre kabul eden:

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

Eğer parametrelerini referans olarak kabul ederse, o T1zaman bir dizi tipi olarak çıkartılacak ve daha sonra pair<T1, T2>a'nın oluşturulması yanlış oluşturulacaktır.

Ancak bu açıkça önemli verimsizliklere yol açıyor. Bu nedenle, decaypass-by-value meydana geldiğinde oluşan dönüşümler kümesini uygulama gereği , parametreleri referans alarak alma verimliliğini elde etmenizi sağlar, ancak yine de kodunuzun dize değişmezleriyle çalışması için gereken tip dönüşümlerini elde etmenizi sağlar, dizi türleri, işlev türleri ve benzerleri:

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_pairuygulaması değildir - C ++ 11 make_pairde std::reference_wrappers.

Bir şablon türündeki parametreleri alan şablon işlevleriyle uğraşırken, genellikle evrensel parametreleriniz olur. Evrensel parametreler hemen hemen her zaman bir veya daha fazla referanstır. Aynı zamanda kalıcı niteliklidir. Bu nedenle, çoğu tür özelliği beklediğiniz gibi ç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

Buradaki çö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