C++ aşırı yük operatörü iki kez, bir const olmayan const başvuru ve diğer const referansı, tercih nedir?

Question

Bir operatöre aynı parametre listesiyle iki kez aşırı yükleniyorum. ancak farklı dönüş türüyle:

T& operator()(par_list){blablabla}  
const T& operator()(par_list){blablabla} 

yüzden neyin tercihi veya durumuna göre aranmak function() operatörü, aradığım zaman? Const işlevini çağırırsam() çağrısı T & one olmalıdır.

Sadece C++ ile böyle bir durumun nasıl işlediğini ve varsayılan tercihin nasıl çalıştığını merak ediyorum.

Teşekkür

Answer 1

Bu işlevler birbirini aşırı yüklemez; Aynı imzalara sahipler ve aynı işlevi yeniden tanımlama girişimi, bu bir hatadır. Dönüş tipi, bir fonksiyonun imzasının bir parçası değildir. Bir işlevi aşırı yüklemek için, aynı ada sahip ikinci bir işlev, ancak farklı parametreler veya const/volatile niteleyicileri bildirmeniz gerekir - yani, işlevdeki niteleyiciler, dönüş türünü değil.

(Bunlar birbirlerini de geçersiz kılmazlar; geçersiz kılan sınıflar, temel sınıfların sanal işlevlerine göre türetilmiş sınıfların ne yaptığını geçersiz kılar).

Bir üye işlevinin bir const ve const bir aşırı yük tanımlaması yaygındır;

T& operator()(par_list){blablabla} 
const T& operator()(par_list) const {blablabla} 
           ^^^^^ 

Şimdi

dışı bir const nesneye () uygularsanız adı verilecek ilk ve const nesne üzerinde ikinci: const aşırı yük değil, sadece döndürme türü, işlevi const bildirmelidir. Örneğin,

Thingy nc; 
Thingy const c; 

nc(); // calls the first (non-const) overload 
c(); // calls the second (const) overload 

Answer 2

Sen dönüş türüne göre bir fonksiyon/aşırı yükleme yapamazsınız. Derleyicinin burada bir hata atmasını beklerdim. Ne yapabilirsiniz

const T& operator()(par_list) const {blahblah} 

sadece bu const alıcı üzerindeki çağrılabilir anlamına const tanımlamasını kullanarak, bir const yöntem olarak yöntem kendisi belirtmek olduğunu, ama aynı zamanda aşırı yük çözünürlükte kullanılır. Bu, yönteme iletilen örtülü *this parametresini etkilediği için olur; const yöntemi, *this üzerinde const niteleyicisini kullanır ve aşırı yükleme çözünürlüğü sırasında const niteleyicileri dikkate alınır.

Answer 3

Operatörlerinizi tanımlama şekliniz, derleyicinin hangi operatörü() çağırması gerektiğine karar veremez. Fonksiyonların (ve operatörlerin) aşırı yüklenmesi sadece argüman türünde, asla dönüş tipinde yapılamaz. Ve aslında, ikincisini tanımladığınız anda derlemede bir hata olacak, derleyici aynı işlevi/operatörü yeniden tanımladığınızı düşünüyor.

Ancak, aşağıdaki (ne varsa ve muhtemelen) yaygındır:

Eğer üye fonksiyonları ve üye fonksiyonları statik olmayan tanımlayan çünkü argüman listesinden sonra bu ek "const" var

T& operator()(par_list){blablabla} 
const T& operator()(par_list) const {blablabla} 

örtük var gizli argüman: sınıfın örneğine "bu" işaretçi. Buradaki "const" anahtar sözcüğü, bu gizli göstericinin bir const örneğinin olup olmadığını gösterir.Bu argüman aşırı yüklenme çözünürlüğüne katılır ve bu durumda derleyicinin hangi operatörün kullanacağını seçmek için kullandığı durumdur.

Yani:

class A { 
    T& operator()() { ... } 
    const T& operator()() const { .... } 
}; 

A a; 
const A& ca(a); 
a(); -> returns a T& 
ca(); -> returns a const T&