Neden bir kullanarak-beyan çalışma elmas problemli m çözmek için geliyor?

Question

Aşağıdaki kodu göz önünde bulundurun:

struct A 
{ 
    void f() 
    { 
    } 
}; 

struct B1 : A 
{ 
}; 

struct B2 : A 
{ 
}; 

struct C : B1, B2 
{ 
    void f() // works 
    { 
     B1::f(); 
    } 
    //using B1::f; // does not work 
    //using B1::A::f; // does not work as well 
}; 

int main() 
{ 
    C c; 
    c.f(); 

    return 0; 
} 

Ben nazikçe ("sanal devralma kullanmak") elmas sorunu çözmek için nasıl bir standart cevap yapıştırmak kopyalamak değil istiyoruz. Ne ben burada soruyorum bu durumda bir kullanma-beyanname işi yapmaz nedeni budur. Kesin derleyici hatadır: Bir kullanarak-bildirisinin bu örnekten çalışmalıdır izlenimini aldım

In function 'int main()': 
prog.cpp:31:6: error: 'A' is an ambiguous base of 'C' 
    c.f(); 

:

struct A 
{ 
    void f() 
    { 
    } 
}; 

struct B 
{ 
    void f() 
    { 
    } 
}; 

struct C : A, B 
{ 
    using A::f; 
}; 

int main() 
{ 
    C c; 
    c.f(); // will call A::f 

    return 0; 
} 

Answer 1

Birisi standart alıntı bulabilirsiniz ama kavramsal olarak açıklamak için gidiyorum.

bir -bildirge kullanarak çünkü çalışmıyor sadece adı araması etkiler. aksi başarısız olacağını nerede başarılı olmak için ad arama neden

Sizin kullanarak-beyanname, yani o fonksiyonu f bulmak için derleyici söyler. Ancak alt nesnesinin f alteylemlerini, f çağrıldığında örtük this parametresi olarak iletileceğini belirtmez.

C iki A alt nesneler bulunmasına rağmen sadece tek bir işlev A::f vardır ve bu tip A* bir örtük this argüman alır. Bir C nesne üzerinde diyoruz amacıyla, C* örtülü A* dönüştürülmesi gerekir. Bu her zaman belirsizdir ve herhangi kullanarak beyanname etkilenmez.

(Bu A içine veri üyeleri koyarsanız daha mantıklı. Veri üyeleri erişirse Sonra C, denir f her tür veri üyesi iki. Olurdu, bu miras A altnesnesi olanları erişmek yok B2 miras A altnesnesi içinde B1 veya olanları?)

Answer 2

bu durumu doğrudan hitap/p17 [namespace.udecl] bir not var :

[Not: bir için kullanan-beyan bir temel sınıf elemanı belirtir (ve üye subobject veya bir temel sınıf altnesnesi üyesi fonksiyonu), bir kullanılarak-beyan üye belirsizlikleri kalıtsal gidermek için kullanılabilir olamaz. Örneğin,

struct A { int x(); }; 
struct B : A { }; 
struct C : A { 
    using A::x; 
    int x(int); 
}; 
struct D : B, C { 
    using C::x; 
    int x(double); 
}; 
int f(D* d) {  
    return d->x(); // ambiguous: B::x or C::x 
} 

için - uç not] Başka

Answer 3

TC cevap ek olarak, ben türetilmiş sınıfta ad arama bölümünde ayrıntılı olarak standardında hemen hemen izah olduğunu eklemek istiyorum 10.2.

10,2/3: arama seti (...) iki bileşenli setler oluşur: beyanı seti, adlandırılmış üyelerin kümesi kullanılarak beyanname işleme konusunda söylenenlerin İşte

f; ve alt-nesne seti, bu üyelerin beyanlarının (muhtemelen bildirimleri de dahil olmak üzere) bulunduğu bir alt nesne kümesidir. Beyan setinde, kullanım bildirimleri, belirttikleri üyeler tarafından değiştirilir ve bildirimler ( enjekte edilmiş sınıf adları da dahil olmak üzere), belirttikleri türlerle değiştirilir. B1::f ve B2::f yüzden hala belirsiz olduğunu:

Yani derleyici yine mümkün adayları bulur arama kurallarına göre struct C

using B1::f; // you hope to make clear that B1::f is to be used 

yılında beyan çalıştığınızda.