düşünün işlev parametresi olarak aşağıdaki işlevi

Question

ilkel türde sabit referans geçen bir kayıt mı?

Answer 1

Bu, tamamen platform ve derleyiciye bağımlıdır ve argümanların bir işleve nasıl aktarıldığıdır.
Bu özellikler programın çalıştığı sistemin ABI'sında tanımlanmıştır; Bazılarının çok sayıda kaydı vardır ve bu nedenle bunları esas olarak kullanır. Bazıları hepsini yığının üstüne itiyor. Bazıları onları N-th parametresine kadar karıştırır.

Yine, güvenemeyeceğiniz bir şeydir; Yine de birkaç şekilde kontrol edebilirsiniz. C++ dilinin bir kayıt konsepti yoktur.

Answer 2

Daha önce değinildiği gibi, optimizasyonlar derleyici ve platform bağımlıdır. Bununla birlikte, iyi bir optimizasyon derleyicisini kullanırken genellikle gün başına bir dizi optimizasyonun olmasını bekledik. Örneğin, sorunuza cevap vermek için, vb

, tahsisi kayıt bit vardiya mümkün olduğunda sürekli çarpımı ve bölünmeler dönüştürerek, fonksiyon inlining güvenebilir

misiniz Modern x86-64 derleyicileri kadar akıllı olmak Öncelik türü bir kayıt içine sığabiliyorsa, önceliği argümanını referans yerine değerle iletir?

Sadece bunu deneyeceğim.

• GCC latest (without inlining)
• CLANG 3.5.1 (without inlining) Bu kodudur

:

template<typename T> 
T square(const T& num) { 
    return num * num; 
} 

int sq(int x) { 
    return square(x); 
} 

GCC -O3, -O2 ve -O1 güvenilir bu gerçekleştirmek için kendini gör optimizasyonu. Öte yandan, 3.5.1, Clang 3.5.1, bu optimizasyonu gerçekleştiriyor gibi görünmemektedir.

Böyle bir optimizasyonda sayılır mı? Her zaman ve kesinlikle değil - C++ standardı bunun gibi bir optimizasyonun ne zaman gerçekleşebileceği hakkında hiçbir şey söylemiyor. Pratikte, GCC kullanıyorsanız, '' un gerçekleşmesi için optimizasyonun olmasını bekleyebilirsiniz.

Böyle bir optimizasyonun gerçekleştiğinden kesinlikle emin olmak istiyorsanız, template specialization'u kullanmak isteyeceksiniz.

Answer 3

Derleyici, optimizasyonu yapabilir, ancak zorunlu değildir.(Değer geçirerek doğru olduğu) http://www.boost.org/doc/libs/1_55_0/libs/utility/call_traits.htm

call_traits<T>::param_type ile const T& değiştirilmesi:

"en iyi" tipi geçmek zorlamak için, destek kullanabilir.

Yani kod olabilir:

template <class T, class Priority> 
void MutableQueue<T, Priority>::update(call_traits<T>::param_type item, 
             call_traits<Priority>::param_type priority) 
{ 
    ... 
}