Объясните, пожалуйста, зачем в функции ff используется символ &. И почему в int pos, предпочтительнее поставить size_t вместо int.

Символ & указывает, что функция принимает не копию объекта, а ссылку на него. Кстати, если убрать амперсанд, то компилироваться будет, но результат будет отличаться - insert будет сделан в копию объекта, а не в сам объект. Поэкспериментируй - увидишь. И ещё - второй параметр функции лучше сделать константной ссылкой

По поводу int и size_t.
1) позиция, в которую нужно вставлять не может быть меньше 0, поэтому лучше использовать беззнаковый тип
2) ни кем не гарантируется, что размера int хватит на адресацию, а size_t уверенно хватит