К>Подытоживая, К>- f(x) — может быть void или какого-нибудь неудобного для передачи в (...) типа К>- f(x),0 — может быть типа с перегруженным operator,(T,int) — получим вместо int неизвестно что К>- f(x),void() — получим void, но ничего с ним не сможем сделать К>- f(x),void(),0 — получим int
