Объявление typedef класса шаблона

Question

есть разница, от предполагаемого метапрограммирования, например, между двумя объявлениями ?

template<typename T> 
struct matrix { 
    typedef matrix self_type; // or 
    typedef matrix<T> self_type; 
}; 

спасибо

Answer 1

В этой конкретной ситуации (внутри шаблона класса) matrix является сокращением на matrix<T>. Когда вы пишете много волосатых шаблонов весь день, пытаясь вместить все в 80 столбцов, стенография приветствуется.

Обратите внимание, что вы можете также сокращайте аргументы метода:

template <typename T> 
struct matrix 
{ 
    typedef matrix my_type; 
    matrix(); // constructor is abbreviated too 
    matrix& operator=(matrix); 
}; 

// Method argument types can be abbreviated too 
// but not result types. 
template <typename T> 
matrix<T>& matrix<T>::operator=(matrix m) 
{ 
    // ... 
} 

Answer 2

Они оба относятся к одному типу. Единственное различие, которое я вижу, - с точки зрения производительности: Я полагаю (в зависимости от реализации компилятора), только матрица ссылается на сам класс, поэтому ему ничего не нужно от среды. матрица говорит о шаблонной матрице классов, шаблон которой T (т. е. матрица), поэтому, возможно, для компилятора, возможно, потребуется больше механизмов вычитания. Но я просто догадываюсь, я никогда ничего не читал об этом.