Sınıf üyesi neden aynı isimle gölge içermeyen işlevler çalıştırıyor?

Question

It recently came to my attention o üye fonksiyonları serbest fonksiyonlar sınıf içinde aynı adla tamamen gölgesi. Ve tamamen demek istediğim, aynı ada sahip her bir serbest fonksiyonun aşırı yükleme çözünürlüğü için hiç dikkate alınmadığı. Ben böyle somwthing ile bitti neden anlayabiliyorum:

işlevleri özdeş imzalara sahip

void f(); 

struct S 
{ 
    void f(); 

    void g() 
    { 
     f(); // calls S::f instead of ::f 
    } 
}; 

, Değişken etki alanı olarak sadece doğal aynı şekilde çalışır. Ben sınıf içinde gelen serbest fonksiyonu gölgeli çağırmak nasıl sormuyorum

void f(); 

struct S 
{ 
    void f(int x); 

    void g() 
    { 
     f(); // fails to compile attempting to call S::f, which has wrong signature 
    } 
}; 

: ücretsiz işlevi aşağıdaki gibi farklı imza sahip olduğu Ama neden unambigious aramalar engellenir. Bilmek istediğim bu tasarımın ardındaki mantıktır.

Answer 1

Niteliksiz ad arama için, bir seferde yalnızca bir kapsam göz önünde bulundurulur ve bu kapsamdaki arama sonuç vermezse, bir sonraki daha yüksek kapsam aranır. Sizin durumunuzda sadece S'un kapsamı aranır.

Ama serbest fonksiyonu böyle farklı imza sahip olduğu neden unambigious aramaları engeller:

sorun ad arama, isimleri dışında herhangi bir şeyle tanımlayıcıyı ele almıyor olmasıdır. Bir işlevi çağırmak aslında bir tanımlayıcı görür, aslında tamamen habersizdir. Sadece auto x = f;'u kullanırsanız, aynı ad arama işlemi olur ve bu şekilde düşünürseniz, arama yapmak için çok sınırlı bir kapsamı istediğinizden çok iyi nedenler vardır. Başka bir şey sadece kullanıcıyı şaşırtacaktır.

Answer 2

Yetkili bir yanıt veremiyorum (Belki bazıları Design and Evolution of C++'dan bir alıntıyı hatırlar ya da o anda komite üzerinde olmuştur), ancak ilk tahminim, gösterdiğiniz gibi, tam olarak başarısız olmaktır. Belirli bir zamanda kaç şeyin kapsama alanı olduğunu unutmak kolaydır. Ek olarak aşırı yük çözünürlüğü oldukça karmaşık olabilir ve varsayılan argümanlar ve dönüşümler olabilir. Bu durumda, tam olarak neyin çağrıldığına her zaman emin olmak için en sınırlı kapsamı seçmeyi tercih ederim.

Answer 3

özel, çok şaşırtıcı, kural (ama sizin örnek için geçerli değildir) bir sınıf üye adı ad arama tarafından bulunduğunda, hiçbir ad kapsamları arandığını belirten yok:

#include <string> 

struct C { 
    std::string s; 

    explicit C (std::string); 

    void swap (C& rhs) { 
     swap (s, rhs.s); // error: swap is C::swap 
    } 
}; 

void swap (C& lhs, C& rhs) { 
    swap (lhs.s, rhs.s); // std::swap(string,string) 
} 

IMO, bu çılgınlık.

Ama serbest fonksiyonu böyle farklı imza sahip olduğu neden unambigious aramaları engeller:

İsim arama aşırı çözünürlük önce olur: arama belirsiz

• , çözünürlüğü aşırı yapılmaz.
• Geçerli bir işlev ad arama tarafından bulunamazsa, başka bir arama turu denenmez.

kural aşırı yükleme ve adı arama arasındaki "geri besleme" olmadan yeterince karmaşıktır. Karmaşıklıktan ziyade basitleştirme (üye gizler ad alanı kapsam kuralının kaldırılması ve belirsiz ad aramasının kaldırılması gibi) öneririm.