Дедукция типов в крестовых темплейтах

Чтобы не происходило копирования всего массива в стек, а передавалась только ссылка?

Ссылка на массив, вестимо. Когда в списке аргументов функции указывается «просто массив», он неявно заменяется на указатель.

Массивы никогда не копируются при передаче. Дело не в этом, а в type inference.

т.е. char strDestination[size] свернется в обычный char* и компилятор не будет детектить размерность, а char (&strDestination)[size] не свернется в char*& и дедукция будет работать?

Не совсем понятно, что ты не понимаешь. Если опустить скобки, & будет относится к char, а не к самому массиву.

Или ты вообще про передачу массива по ссылке? Ну так иначе никак не получится узнать его размер, потому что просто массив (без ссылки) трансформируется в указатель. Это называется array to pointer decay rule.

Начиная с с++11 можно использовать http://ru.cppreference.com/w/cpp/container/array

А не набор байт из полуассемблера

Да.

странно. тогда не понятно, почему такая перегрузка работает:

void strcpy_s(char strDestination[10]);
void strcpy_s(char strDestination[20]);

Может потому что ты тут явно указал, что ждешь на вход массив, а не char*?

мне было не понятно, почему для дедукции типов в шаблонных функциях при передаче параметром char[N] нужно, чтобы параметр был ссылкой на массив. т.е. было не понятно, почему не #1, а #2:

#1 template <int size> void strcpy_s(char strDestination[size]);
#2 template <int size> void strcpy_s(char (&strDestination)[size])

intelfx правильно подсказал на счет свертывания типов:

14.8.2.1 Deducing template arguments from a function call [temp.deduct.call]

Template argument deduction is done by comparing each function template parameter type (call it P) with the type of the corresponding argument of the call (call it A) as described below.

If P is not a reference type:

-- If A is an array type, the pointer type produced by the array-to-pointer standard conversion (4.2) is used in place of A for type deduction; otherwise,

ссылка тут, судя по спеке, специальный костылик.