Параметры, не являющиеся типами, можно использовать и в шаблонах функций. Например, можно написать шаблон функции, обнуляющий любой двухмерный числовой массив:
template <std::size_t М, std::size_t N, typename T>
void Im'tArray(T array[M][N]) // передача массива
{ for(std::size_t i = 9; i<M; ++i) for(std::size_t j = 0; j<N; ++j) array[i][j] = T();
}
Вызов такой функции-шаблона может осуществляться, например, так:
const int m = 2; const int n = 3; int g[m][n];
InitArray<m,n>(g); // явное задание аргументов
Однако такие параметры иногда тоже могут быть выведены компилятором, и их можно не задавать при вызове. Нужно немного изменить шаблон, задав передачу массива по ссылке:
template <std::size_t М, std::size_t N, typename T>
void InitArray(T (&array)[M][N]) // передача массива по ссылке
{ for(std::size_t i = 0; i<M; ++i) for(std: :size__t j = 0; j<N; ++j) array[i][j] = T();
}
Тогда вызов с массивом g в качестве параметра ничем не отличается от вызова обычной функции:
InitArray(g); // аргументы вычисляются компилятором
|