C++ szablonu argument, który już jest „znany”

Question

To pytanie może być dobrze odpowiedział jeden ale niestety nie wiem prawidłową terminologię, żeby go zapytać prawidłowo, więc ...

template <class _Cp, bool _IsConst, typename _Cp::__storage_type = 0> class __bit_iterator; 

Może ktoś wyjaśnić ostatni argument szablonu? Jedyną rzeczą, którą mogę wywnioskować, jest to, że jeśli parametr określony dla _Cp ma typ podrzędny __storage_type, wówczas wszelkie użycie _Cp :: __ storage_type w szablonie rozwiąże ten problem. Jeśli tak nie jest, oznacza to, że _Cp :: __ storage_type ma wartość 0? Wydaje mi się to bardzo perwersyjne (lub raczej błędne po odrobinie eksperymentów).

Objaśnienie dotyczy poprawnej terminologii i referencji w C++.

Dla zainteresowania, ten kod został pobrany z biblioteki libC++.

Answer 1

Klasa szablon __bit_iterator przyjmuje trzy argumenty:

• klasa _Cp
• logiczną _IsConst
• obiekt typu _Cp::__storage_type (prawdopodobnie liczba całkowita), która jest podana żadna nazwa
  • to Argument jest opcjonalny i domyślnie przyjmuje wartość 0

Celem trzeciego argumentu (ponieważ jest bezimienny, a tym samym nie może być używany wewnątrz definicji __bit_iterator) wydaje się być jedynie wymagać, aby klasa _Cp ma typ użytkownika __storage_type, który jest kompatybilny z wyrażeniem 0 . Jeśli tak nie jest, ta instancja (z tym _Cp) nie może się skompilować.

Answer 2

template <class _Cp, bool _IsConst, typename _Cp::__storage_type = 0> 
class __bit_iterator; 

To wygląda jak zakaz typu szablonu argumentu (nie różni się od poprzedniego _IsConst argument), który jest inicjowane z 0, jeśli użytkownik nie przewidziane. Możliwym specjalizacja tego szablonu mogą być:

struct X { typedef int __storage_type; }; 
__bit_iterator<X, false> bi; 

To byłoby równoznaczne z:

__bit_iterator<X, false, X::__storage_type(0)> bi; 

który jest naprawdę odpowiednik (od X::__storage_type jest int) na adres:

__bit_iterator<X, false, 0> bi; 

Answer 3

template <class _Cp, bool _IsConst, typename _Cp::__storage_type = 0> 
class __bit_iterator; 

__bit_iterator to szablon klasy. Ten szablon przyjmuje trzy argumenty.

1. _Cp, który jest typem.

2. _IsConst, która jest wartością boolowską.

3. Ostatni parametr jest nienazwany i jest wartością (podobnie jak _IsConst).Typ tego parametru to type/typedef zadeklarowany w _Cp i nazwany __storage_type.

Jeśli są mylone przez typename słowa kluczowego: typename jest a method for indicating that a dependent name is a type.

_Cp jest argumentem szablonu i może być dowolnego typu. Nawet typ, który nie zawiera niczego takiego jak __storage_type. Dlatego musimy powiedzieć kompilatorowi, że coś takiego powinno tam istnieć i jest typem/typedef. Jeśli to wymaganie nie zostanie spełnione, zostanie zgłoszony błąd podczas kompilacji.