c++: что за синтаксис используется в шаблоне класса function<Res(ArgTypes...)>?

Это частичная специализация на тип функции в качестве шаблонного параметра. Как T* для указателей, но для функций.

Ну а где можно увидеть описание к этому синтаксису? Если знаешь как называется, то найти не сложно, а по фразе «частичная специализация на тип функции» нашлось много чего но все не то.

Здесь нет ничего особенного. Это обычная специализация и обычный синтаксис объявления функции (если имя выбросить), а точнее её сигнатура. Про частичную специализацию можно здесь глянуть, например. Про функции там тоже что-то есть, но не уверен, что сильно полезно.

синтаксис объявления функции (если имя выбросить), а точнее её сигнатура

https://timsong-cpp.github.io/cppwp/n4659/defns.signature

signature ⟨function⟩ name, parameter-type-list, and enclosing namespace

Если выбросить имя, это уже не сигнатура. И сигнатура включает в себя только тип параметров, но не возвращаемый тип.

интересует что за синтаксис со скобками

Никогда (тип) функций не видел?

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

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

Не помню, чтобы встречал такое. Помню что встречал как синоним набора типов аргументов. (И скорее всего (лень проверять), это совпадает с определением в стандарте C. В стандарте C++ к сигнатуре добавляется имя функции и неймспейса).

Ну если выбросить имя, то получится Res(*)(Args...). Если убрать * как признак указателя, то Res()(Args...), хотя где такое можно применять не понятно. И дальше, где прописано, что Res()(Args...) эквивалентно Res(Args...)?

Есть типы указателей на функции, типы ссылок на функции и типы функций (первые два это составные типы с участием последних):

using fptr = void(*)(int, float);
using fref = void(&)(int, float);
using func = void(int, float);
using fptr2 = func*; // == fptr
using fref2 = func&; // == fref

// объявляем две функции `void myFunc1(int, float)` и `void myFunc2(int, float)`
func myFunc1, myFunc2;

Сами типы функций обычно только в шаблонных параметрах и появляются, хотя их можно использовать и менее очевидными способами.

И дальше, где прописано, что Res()(Args…) эквивалентно Res(Args…)?

Как типы они разные: указатель на функцию != функции. Просто функции автоматически разлагаются до типа указателя на них.

В стандарте C++ к сигнатуре добавляется имя функции и неймспейса

Ещё должны быть const-, volatile- и ref-qualifiers. По ним ведь тоже перегрузка происходит.

В стандарте C слова «signature» не нахожу. Ну, может это только я его так использую.

Ещё должны быть const-, volatile- и ref-qualifiers.

https://timsong-cpp.github.io/cppwp/n4659/defns.signature.member

using func = void(int, float);

// объявляем две функции `void myFunc1(int, float)` и `void myFunc2(int, float)`
func myFunc1, myFunc2;

Все, понял, всем спасибо.