How can a template function 'know' the size of the array given as template argument?

Question

In the C++ code below, the templated Check function gives an output that is not what I would like: it\'s 1 instead of 3. I suspect that K is mapped to int*, not

Answer 1

template 
void Check(T (&)[S]) {  
   cout << "Deduced size: " << S << endl;
}