จะแทนที่ '::' ด้วย ' สร้างความคลุมเครือใน C ++ หรือไม่

ใน C ++ ตัวดำเนินการ::ถูกใช้เพื่อเข้าถึงคลาสฟังก์ชันและตัวแปรในเนมสเปซหรือคลาส

หากข้อกำหนดทางภาษาที่ใช้.แทน::ในกรณีเหล่านั้นเช่นกันเช่นเมื่อเข้าถึงตัวแปร / วิธีการของวัตถุแล้วจะทำให้เกิดความคลุมเครือที่อาจเกิดขึ้นซึ่งไม่ได้มีอยู่ด้วย::หรือไม่?

เนื่องจาก C ++ ไม่อนุญาตให้ใช้ชื่อตัวแปรที่เป็นชื่อประเภทด้วยฉันไม่สามารถนึกถึงกรณีที่อาจเกิดขึ้นได้

ชี้แจง: ฉันไม่ได้ถามว่าทำไมถึง::เลือก.แม้ว่ามันจะทำงานได้เช่นกัน?

เนื่องจากความพยายามที่จะทำให้ C ++ ส่วนใหญ่เข้ากันได้กับรหัส C ที่มีอยู่ (ซึ่งช่วยให้การชนชื่อระหว่างชื่อวัตถุและแท็ก struct), C ++ ช่วยให้การชนชื่อระหว่างชื่อคลาสและชื่อวัตถุ

ซึ่งหมายความว่า:

struct data {
    static int member;
};

struct data2 {
    int member;
};

void f(data2& data) {
    data.member = data::member;
}

เป็นรหัสที่ถูกต้อง

ตัวอย่างที่ทั้งคู่ใช้งานได้ แต่อ้างอิงถึงออบเจกต์ต่าง ๆ :

#include <iostream>

struct A {
    int i;
};

struct B {
    int i;
    A B;
};

int main() {
    B x {0, 1};
    std::cout << x.B.i << '\n';
    std::cout << x.B::i << '\n';
}

ดูสดบน coliru

มีความแตกต่างระหว่างa::bและa.bตำแหน่งที่::บอกเป็นนัยซึ่งaใช้เป็นเนมสเปซซึ่งหมายความว่าเป็นเนมสเปซหรือพิมพ์ดีด โดยมีเงื่อนไขว่า C ++ รองรับการสืบทอดพหูพจน์ที่ไม่ใช่เสมือนจริงและตัวแปรสามารถมีชื่อเดียวกับประเภทได้ซึ่งจะช่วยลดโอกาสในการอ้างอิงวัตถุที่ผิด จำเป็นสำหรับเทมเพลตการวางแผนโปรแกรม

อีกตัวอย่างหนึ่งคือ&B::foovs &B.fooในบริบทของคลาส B

ให้ขยายตัวอย่าง @Deduplicator:

#include <iostream>

struct A {
    int i;
};

struct B : public A {
    int i;
    A A;
};

int main() {
    B x {1, 2};
    std::cout << x.i << '\n';
    std::cout << x.B::i << '\n';  // The same as the line above.
    std::cout << x.A.i << '\n';
    std::cout << x.A::i << '\n';  // Not the same as the line above.
}

ถ่ายทอดสดบน Coliru Viewer

ไม่มีความเป็นไปได้ที่จะแยกแยะด้วยความช่วยเหลือของ :: สมาชิกคนไหนที่เราต้องการเข้าถึงมันเป็นไปไม่ได้ที่จะเข้าถึงสมาชิกที่ประกาศในคลาสแม่ที่มีชื่อเหมือนกัน