такое вот определение. непонятно как это работает и работает ли для статических и динамических массивов любого типа?

непонятно, если такой трюк работает.

то зачем в функцию помимо указателя на массив передают еще и размер массива обычно?

Ну так там же есть:

Так что для динамических [любого типа] не работает.


Потому что 'этот трюк' работает только для оригинального определения массива, а для указателя, который дойдет до функции, это уже не работает. Это не работает даже для

это понятно.


а это нет.


так для каких работает? только для статических? и как вы это поняли из кода?


что значит "оригинального определения массива"? т.е. только в его области видимости где он объявлен?

Это С++ реализация на шаблонах. Определяется прототип функции, принимающей ссылку на массив размера N (тип массива и N - параметры шаблона). Сама функция возвращает массив char'ов из N элементов. При вызове такой функции не будет работать автоматическое приведение массива в указатель на его первый элемент, а будет взят референс на массив целиком, т.к. именно так описан формальный параметр. Размер возвращаемого массива при этом равен количеству элементов в массиве - параметре.


Да. Или определен (через extern), но с явным указание длинны.