Вынесенные операции из шаблонов нужно явно помечать как inline
, иначе возникают такие же проблемы, как, например, если помещать код просто функций в header-
файлы. Почему в таком случае появляются ошибки множественного определения, достаточно очевидно.
Вообще, считается стандартом де-факто писать все функции шаблонных классов прямо в теле класса, т.е как будто бы они все были автоматически помечены как inline
. Так делают в boost
, Qt
и других солидных проектах и не вижу смысла пытаться делать как-то иначе.
Update:
Извините, первая версия ответа была "не особо глядя". Т.е, она описывает проблему, которая тоже присутствует в вашем коде (см. ссылку про инлайны), но к компилируемости и линкованию она отношения не имеет.
В случае, если бы это влияло на компилируемость, то ошибка в MSVS
была бы в духе multiple definition of X
.
Возвращаясь к вопросу, стандарт C++
(да и здравый смысл, в общем-то, тоже) говорит, что в вашем случае необходимо помечать тип шаблона для дружественных операторов, т.е, если конкретно:
template <class tm> friend ostream & operator <<(ostream &out, mnogestvo<tm> &ob);
template <class tm> friend istream & operator >>(istream &in, mnogestvo<tm> &ob);
Могу дать более развернутые референсы, объясняющие причины и необходимость в этом, если вам интересно.