C++, что является типом T [] в специализации шаблона

Question

У меня есть вопрос о реализации std::remove_extent (Visual Studio 11)

template<class _Ty> 
     struct remove_extent 
     { 
     typedef _Ty type; 
     }; 

    template<class _Ty, unsigned int _Ix> 
     struct remove_extent<_Ty[_Ix]> 
     { 
     typedef _Ty type; 
     }; 

    template<class _Ty> 
     struct remove_extent<_Ty[]> //what for? 
     { 
     typedef _Ty type; 
     }; 

Я просто попытался это: std::cout << typeid(int[]).name() << '\n';

и выход : int [0], поэтому я полагаю _Ty[] означает _Ty[0].

но какая цель специализации для _T[0], я думаю, что для этого был обработан второй случай.

Кроме того, я действительно сомневаюсь, что если T [0] является допустимым типом, если да, то в каком случае вы можете использовать это?

Answer 1

T[] - массив неизвестного размера; неполный тип, отличный от любого типа массива. Кажется, что ваш компилятор, правда, но несколько смутно, использует в противном случае как строковое представление типа.

Так что эта специализация необходима, поскольку она не будет покрыта частичной специализацией для массивов с размерами.

Если да, то в каком случае вы используете это?

Вы не использовали бы массив нулевого размера, так как это недопустимый тип.

Вы можете использовать неполные типы (включая массивы неизвестного размера) в разных местах, например объявления переменных. Например:

extern int array[];       // declaration with incomplete type 
std::remove_extent<decltype(array)>::type x; // OK, gives "int" 
array[3] = 42;        // OK, array decays to pointer 

template <size_t N> size_t size(int (&a)[N]) {return N;} 
std::cout << size(array) << "\n";    // Error, needs complete type 

// somewhere else 
int array[17];        // definition with complete type 
std::cout << size(array) << "\n";    // OK, size is known 

Answer 2

и выходе: int [0], поэтому я полагаю, _Ty[] стенды для _Ty[0].

Нет, это не то же самое, как говорит Майк Сеймур. Это похоже на проблему с именем вашего компилятора type_info, если он говорит, что это то же самое.

Кроме того, я действительно сомневаюсь, что если T [0] является допустимым типом, если да, то в каком случае вы используете это?

Некоторые компиляторы позволяют это как расширение, так что это нормально на таких трансляторов:

typedef int empty_array[0]; // typedef for int[0] 
int* p = new empty_array;