Neden çift sütun kullanarak bir ad alanındaki bir sınıfı ileri bildiremiyorum?

class Namespace::Class;

Bunu neden yapmam gerekiyor ?:

namespace Namespace {
    class Class;
}

Derleyici VC ++ 8.0 kullanarak:

hata C2653: 'Ad alanı': bir sınıf veya ad alanı adı değil

Burada sorun derleyici Namespacebir sınıf ya da bir ad alanı olup olmadığını söyleyemiyorum olduğunu varsayalım ? Peki bu sadece ileri bir beyan olduğu için neden önemli?

Bazı ad alanlarında tanımlanan bir sınıfı iletmenin başka bir yolu var mı? Yukarıdaki sözdizimi, ad alanını "yeniden açıyorum" ve tanımını genişletiyormuşum gibi geliyor. Ya Classaslında tanımlanmamışsa Namespace? Bu bir noktada hataya neden olur mu?

Çünkü yapamazsın. C ++ dilinde tam nitelikli adlar yalnızca var olan (yani daha önce bildirilen) varlıkları ifade etmek için kullanılır . Yeni tanıtmak için kullanılamazlar varlıkları .

Ve olan Yeni varlık beyan etmek ad "yeniden açılması" aslında. Eğer sınıfClass daha sonra farklı ad alanının bir üyesi olarak tanımlanırsa - burada bildirdiğiniz sınıfla hiçbir ilgisi olmayan tamamen farklı bir sınıftır.

Önceden bildirilen sınıfı tanımlama noktasına geldiğinizde, ad alanını tekrar "yeniden açmanıza" gerek yoktur. Genel ad alanında (veya alanınızı çevreleyen herhangi bir ad alanında Namespace)

class Namespace::Class {
  /* whatever */
};

Daha önce ad alanında bildirilmiş bir objeye başvurduğunuzdan Namespace, nitelikli ad kullanabilirsiniz Namespace::Class.

Doğru cevaplar alıyorsunuz, sadece yeniden yazmayı deneyelim:

class Namespace::Class;

Bunu neden yapmam gerekiyor?

Bunu yapmak zorundasınız çünkü terim Namespace::Classderleyiciye şunu söylüyor:

... Tamam, derleyici. Git Ad Alanı adlı ad alanını bulun ve bunun içinde Sınıf adlı sınıfa bakın.

Ancak derleyici, neden bahsettiğinizi bilmiyor çünkü adında bir ad alanı bilmiyor Namespace. Şu şekilde adlandırılmış bir ad alanı olsa bile Namespace:

namespace Namespace
{
};

class Namespace::Class;

yine de işe yaramaz, çünkü o ad alanının dışından bir ad alanındaki bir sınıfı bildiremezsiniz. İsim alanında olmalısınız.

Böylece, aslında bir ad alanı içindeki bir sınıfı ileri bildirebilirsiniz. Sadece bunu yap:

namespace Namespace
{
    class Class;
};

Sanırım aynı nedenden ötürü iç içe ad alanlarını şöyle bildiremezsiniz:

namespace Company::Communications::Sockets {
}

ve bunu yapmak zorundasınız:

namespace Company {
  namespace Communications {
    namespace Sockets {
    }
  }
}

İleri bildirilen bir değişkenin türünün gerçekte ne olduğu açık değildir. Ön deklarasyon class Namespace::Class;,

namespace Namespace {
  class Class;
}

veya

class Namespace {
public:
  class Class;
};

Onlara izin vermemenin mantığı hakkında çok sayıda mükemmel cevap var. Sadece sıkıcı standardı hüküm vermek istiyorum, özellikle yasaklar. Bu, C ++ 17 (n4659) için geçerlidir.

Söz konusu paragraf [class.name] / 2'dir :

Yalnızca sınıf anahtarı tanımlayıcısından oluşan bir bildiri ; ya geçerli kapsamdaki adın bir yeniden ifadesi ya da sınıf adı olarak tanımlayıcının ileri bir bildirimidir. Sınıf adını geçerli kapsama sokar.

Yukarıdakiler, ileri bir bildirimi (veya bir sınıfın yeniden düzenlenmesini) neyin oluşturduğunu tanımlar. Esas olarak, biri olmalıdır class identifier;, struct identifier;ya da union identifier;burada tanıtıcısında yaygın sözcük tanımı [lex.name] :

identifier:
  identifier-nondigit
  identifier identifier-nondigit
  identifier digit
identifier-nondigit:
  nondigit
  universal-character-name
nondigit: one of
  a b c d e f g h i j k l m
  n o p q r s t u v w x y z
  A B C D E F G H I J K L M
  N O P Q R S T U V W X Y Z _
digit: one of
  0 1 2 3 4 5 6 7 8 9

[a-zA-Z_][a-zA-Z0-9_]*Hepimiz aşina olduğumuz ortak planın üretilmesidir . Gördüğünüz gibi, bu bir tanımlayıcı olmadığından class foo::bar;geçerli bir ileri bildirim olmaktan kaçınır foo::bar. Tamamen nitelikli bir isim, farklı bir şey.