Açık türetme neden özel miras için öngörüye izin veriyor?

Question

#include<iostream> 
using namespace std; 

class A { 
    public: 
    void f(){cout<<"A"<<endl;} 
}; 

class B : private A { 
    public: 
    void f(){cout<<"B"<<endl;} 
}; 

int main(){ 

olarak B sınıfı özel Sınıf A devralıyorsa, bu upcasting çalışmak gerekiyordu değildir:

A* a = new B; 

Ama açık tiplemeleri bunu izin veriyor. Neden?

A* a1 = (A*)new B; 
    a1->f(); 
    return 0; 
} 

Answer 1

A* a1 = (A*)new B; 

yılında döküm ulaşılmaz temel sınıf bir atıldı.

Yalnızca C stili bir döküm olarak ifade edilebilir. Bu durumda bir static_cast'un ne işe yaradığına eşdeğerdir ve bu durumda reinterpret_cast'a eşdeğer değildir. Özellikle sonuç adresi, argüman adresi ile aynı değildir.

C++ 11 §5.4/4:

” The same semantic restrictions and behaviors [as for a static_cast ] apply [for a C style cast], with the exception that in performing a static_cast in the following situations the conversion is valid even if the base class is inaccessible:

— a pointer to an object of derived class type or an lvalue or rvalue of derived class type may be explicitly converted to a pointer or reference to an unambiguous base class type, respectively;

Answer 2

Açık döküm, istediğiniz her şeyi yapmanızı sağlar. Örneğin, şu şekilde yazabilirsiniz:

int *p = (int*)new B; 

ve kod derlenecek. Açık yayınlama, ne yaptığınızı bildiğiniz anlamına gelir.

Answer 3

Bu C-stil kuralları tarafından izin verilen atmalarını:

(N3337) [expr.cast]/4 : The conversions performed by

• a const_cast (5.2.11),
• a static_cast (5.2.9),
• a static_cast followed by a const_cast,
• a reinterpret_cast (5.2.10), or
• a reinterpret_cast followed by a const_cast,

can be performed using the cast notation of explicit type conversion. The same semantic restrictions and behaviors apply, with the exception that in performing a static_cast in the following situations the conversion is valid even if the base class is inaccessible:

• a pointer to an object of derived class type or an lvalue or rvalue of derived class type may be explicit converted to a pointer or reference to an unambiguous base class type, respectively;

• [...]

Bir static_cast değiştirmek, o zaman bu başarısız olur derlemek GCC bu hatayı veriyor:

error: 'A' is an inaccessible base of 'B' 
    A* a1 = static_cast<A*>(new B); 

Answer 4

açık tiplemeleri herhangi bir nesne yönelim özellikleri veya kurallar yoktur C dilinin bir programlama özelliğidir. C dili için her şey işaretçilerdir (belleğe veya işlevlere). Updcasting ve downcasting, C++ tarafından sağlanan nesne yönlendirme özellikleridir. Miras döküm, dilin nesne yönelim kurallarına uygun davranmalıdır. Ancak, nesneyi aşağıdaki gibi yazarak: A* a1 = (A*)new B;, derleyiciyi, bir yapının işaretçisini diğerine zorlayarak, A nesnesini C'ye yaptığınız gibi işlemek için 'u zorlayın. Bu nedenle, derleyici, dökümlenen nesnenin f() çağrı işaretçisinde atanacak hangi işlev işaretçisine karar verdiğinde, A sınıf uygulamasının işaretçisini atar.