'::' yerine 'konulur. 'C ++' da belirsizlikler yaratıyor mu?

C ++ uygulamasında, ::bir ad alanındaki veya sınıftaki sınıflara, işlevlere ve değişkenlere erişmek için kullanılır.

Bu durumlarda .yerine kullanılan dil belirtimi ::bir nesnenin örnek değişkenlerine / yöntemlerine erişimde olduğu gibi olursa, o zaman mevcut olmayan olası belirsizlikler neden olur ::mu?

C ++, aynı zamanda bir tür adı olan değişken adlarına izin vermediği göz önüne alındığında, bunun olabileceği bir durum düşünemiyorum.

Açıklama: Neden işe yarayabilirse neden ::seçildiğini sormuyorum .?

C ++ 'ı çoğunlukla mevcut C koduyla (nesne adları ve yapı etiketleri arasında ad çakışmalarına izin verir) uyumlu hale getirme girişimleri nedeniyle, C ++ sınıf adları ve nesne adları arasında ad çakışmalarına izin verir.

Bu şu anlama gelir:

struct data {
    static int member;
};

struct data2 {
    int member;
};

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

yasal koddur.

Her ikisinin de geçerli olduğu, ancak farklı nesnelere başvurduğu bir örnek:

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

Bkz canlı coliru .

Ad alanı olarak kullanılan a::bve a.bburada ad alanı veya tür adı anlamına gelen ::ima arasında fark vardır a. C ++ 'ın sanal olmayan çoğul devralmayı desteklemesi ve bir değişkenin bir türle aynı ada sahip olması şartıyla, bu yanlış nesneye gönderme şansını ortadan kaldırır. Şablon meta programlaması için gereklidir.

Başka bir örnek olabilir &B::foovs &B.foosınıf B bağlamında

@Deduplicator örneğini genişletelim:

#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'da Yayında

Hangi üye ile erişmek istediğimiz :: yardımıyla farklılaşma olanağımız olmadığında, aynı sınıfta bir ebeveyn sınıfında beyan edilen üyelere erişmek imkansızdır.