คุณสามารถเข้าถึงข้อมูลที่มีการป้องกันและสมาชิกฟังก์ชันของคลาสใด ๆ โดยไม่ต้องมีพฤติกรรมที่ไม่ได้กำหนดและด้วยความหมายที่คาดหวัง อ่านต่อเพื่อดูวิธีการ อ่านรายงานข้อบกพร่องด้วยเกี่ยวกับเรื่องนี้ด้วย
โดยปกติ C ++ จะห้ามไม่ให้คุณเข้าถึงสมาชิกที่มีการป้องกันแบบไม่คงที่ของอ็อบเจ็กต์ของคลาสแม้ว่าคลาสนั้นจะเป็นคลาสพื้นฐานของคุณก็ตาม
struct A {
protected:
int a;
};
struct B : A {
// error: can't access protected member
static int get(A &x) { return x.a; }
};
struct C : A { };
นั่นเป็นสิ่งต้องห้าม: คุณและคอมไพเลอร์ไม่รู้ว่าข้อมูลอ้างอิงนั้นชี้ไปที่อะไร อาจเป็นCวัตถุซึ่งในกรณีนี้คลาสBไม่มีธุรกิจและเบาะแสเกี่ยวกับข้อมูล การเข้าถึงดังกล่าวจะได้รับxก็ต่อเมื่อมีการอ้างอิงถึงคลาสที่ได้รับมาหรือคลาสที่ได้รับมา และสามารถอนุญาตให้ชิ้นส่วนของรหัสโดยพลการอ่านสมาชิกที่ได้รับการป้องกันโดยการสร้างคลาส "โยนทิ้ง" ที่อ่านสมาชิกออกไปตัวอย่างเช่นstd::stack:
void f(std::stack<int> &s) {
// now, let's decide to mess with that stack!
struct pillager : std::stack<int> {
static std::deque<int> &get(std::stack<int> &s) {
// error: stack<int>::c is protected
return s.c;
}
};
// haha, now let's inspect the stack's middle elements!
std::deque<int> &d = pillager::get(s);
}
แน่นอนว่าอย่างที่คุณเห็นสิ่งนี้จะทำให้เกิดความเสียหายมากเกินไป แต่ตอนนี้ตัวชี้สมาชิกอนุญาตให้หลีกเลี่ยงการป้องกันนี้! ประเด็นสำคัญคือชนิดของตัวชี้สมาชิกถูกผูกไว้กับคลาสที่มีสมาชิกดังกล่าวจริงไม่ใช่กับคลาสที่คุณระบุเมื่อรับแอดเดรส สิ่งนี้ทำให้เราสามารถหลีกเลี่ยงการตรวจสอบได้
struct A {
protected:
int a;
};
struct B : A {
// valid: *can* access protected member
static int get(A &x) { return x.*(&B::a); }
};
struct C : A { };
และแน่นอนมันยังใช้ได้กับstd::stackตัวอย่าง
void f(std::stack<int> &s) {
// now, let's decide to mess with that stack!
struct pillager : std::stack<int> {
static std::deque<int> &get(std::stack<int> &s) {
return s.*(pillager::c);
}
};
// haha, now let's inspect the stack's middle elements!
std::deque<int> &d = pillager::get(s);
}
มันจะง่ายยิ่งขึ้นด้วยการประกาศโดยใช้ในคลาสที่ได้รับซึ่งทำให้ชื่อสมาชิกเป็นสาธารณะและหมายถึงสมาชิกของคลาสพื้นฐาน
void f(std::stack<int> &s) {
// now, let's decide to mess with that stack!
struct pillager : std::stack<int> {
using std::stack<int>::c;
};
// haha, now let's inspect the stack's middle elements!
std::deque<int> &d = s.*(&pillager::c);
}