Akan mengganti '::' dengan '. dapat membuat ambiguitas dalam C ++?

Dalam C ++, operator ::digunakan untuk mengakses kelas, fungsi dan variabel dalam namespace atau kelas.

Jika spesifikasi bahasa yang digunakan .sebagai pengganti ::dalam kasus-kasus tersebut juga seperti ketika mengakses variabel instan / metode dari suatu objek, apakah itu akan menyebabkan kemungkinan ambiguitas yang tidak ada ::?

Mengingat bahwa C ++ tidak mengizinkan nama variabel yang juga merupakan nama jenis, saya tidak bisa memikirkan kasus di mana itu bisa terjadi.

Klarifikasi: Saya tidak bertanya mengapa ::dipilih ., hanya jika itu bisa bekerja juga?

Karena upaya untuk membuat C ++ sebagian besar kompatibel dengan kode C yang ada (yang memungkinkan collision nama antara nama objek dan tag struct), C ++ memungkinkan collision nama antara nama kelas dan nama objek.

Yang berarti:

struct data {
    static int member;
};

struct data2 {
    int member;
};

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

adalah kode yang sah.

Contoh di mana keduanya valid, tetapi merujuk ke objek yang berbeda:

#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';
}

Lihat langsung di coliru .

Ada perbedaan di antara keduanya a::b dan di a.bmana ::menyiratkan yang adigunakan sebagai namespace, yang berarti bahwa itu adalah namespace atau nama ketik. Asalkan C ++ mendukung pewarisan jamak non-virtual dan bahwa suatu variabel dapat memiliki nama yang sama dengan tipe, ini menghilangkan peluang referensi objek yang salah. Ini diperlukan untuk metaprogramming template.

Contoh lain adalah &B::foovs &B.foodalam konteks kelas B.

Biarkan memperpanjang contoh @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.
}

Langsung di Coliru Viewer

Tidak memiliki kemungkinan untuk membedakan dengan bantuan ::, anggota mana yang ingin kita akses, tidak mungkin untuk mengakses anggota yang dinyatakan dalam kelas induk dengan nama yang identik.