Aracılığıyla paylaş

Şablonlar ve ad çözümlemesi

  • Makale

Şablon tanımları içinde üç tür adları vardır.

  • Adları yerel olarak bildirilen, şablonun adını ve tüm adları da dahil olmak üzere, şablon tanımının içinde bildirilen.

  • Şablon tanımının dışında kapsayan kapsam adları.

  • Herhangi bir şekilde bağlı olan şablon bağımsız değişken adlarını adlandırılır bağımlı adları.

İlk iki ad da sınıf ve işlev kapsamlara ilgilidir, ancak ad çözümlemesi için özel kurallar karmaşayı bağımlı adları ile dağıtılacak şablon tanımlarında gereklidir.Şablon örneği kadar tamamen farklı türleri hangi şablonu bağlı bağımsız değişkenler kullanılır olabilir çünkü derleyici bu adlar hakkında en az biliyor olmasıdır.İlgisiz veya bağımsız adlar, her zamanki kurallara uygun şekilde ve şablon tanımının at noktasında, aranır.Tüm şablon specializations için bir kez yukarı şablon bağımsız değişkenleri, bağımsız olan bu adları görünüyordu.Bağımlı adları şablon örneği kadar görünüyordu değil ve her özelleştirme için ayrı olarak aranır.

Bir tür şablon bağımsız bağımlıysa bağlıdır.Özellikle, bir tür Öyleyse bağlıdır:

  • Şablon değişkeni kendisi:

    T

  • Bağımlı bir türü de dahil olmak üzere bir niteliğe sahip tam adı:

    T::myType

  • Nitelenmemiş bölümü bağımlı bir tür tanımlarsa nitelenmiþ bir ad:

    N::T

  • Taban türü bağımlı bir türü olan bir sabit veya değişken türü:

    const T

  • Bir işaretçi, başvuru, dizi veya bağımlı türüne göre işlev işaretçisi türü:

    T *, T &, T [10], T (*)()

  • Boyutları bir şablon parametresi temelinde bir dizi:

    template <int arg> class X {
int x[arg] ; // dependent type
}

  • bir şablon parametresinden oluşturulmuş bir şablon türü:

    T<int>, MyTemplate<T>

Yükleme türü ve değer yükleme

Adları ve ifadeler bir şablon parametresinde bağımlı bağımlı tür veya değer bağımlı şablona parametre türü parametre veya değer parametre olmasına bağlı olarak kategorilere ayrılır.Ayrıca, Entegral veya numaralandırma türü bir değer bağımlı ifadesiyle başlatılmış olduğu gibi değer bir şablonu şablon bağımsız değişkenine bir türü ile bildirilen herhangi bir tanımlayıcıya bağımlı, değerlendirilir.

Türe bağımlı ve bağımlı değeri türü bağımlı ya da değer bağımlı değişken içeren ifadeler deyimleridir.Bu ifadeler şablon için kullanılan parametreleri bağlı olarak farklılık gösteren semantiği içerebilir.

Ayrıca bkz.

Diğer Kaynaklar

Şablonlar