Здравствуйте, Alex34, Вы писали:



A>Но не могу понять как теперь определить сигнатуру функции Union , чтобы автоматически могла выводить тип предиката после переменного количества параметров
A>Таким образом чтобы цчтобы мозжно было вызывать :
A> auto res = Union( list_1, list_2, list_3); — с компаратором по умолчанию
A>и
A>auto res = Union( list_1, list_2, list_3, cmp());

Я бы назвал функцию, принимающую предикат, как-нибудь по-другому (UnionIf, например) и поместил бы предикат в начало списка формальных параметров.