header с кодом а-ля:
template<typename T>
void foo(T* arg);
И есть исходник:
template<typename T>
void foo(T* arg){
(*T)++;
}
2) Что (теоретически) мешает мне скомпилировать исходник в либу, если известно, что некий тип T будет иметь оператор инкремента?
Шаблон не содержит ничего, что может быть помещено в библиотеку
Шаблонный код должен быть в заголовке. С20го стандарта будут модули, там будет под другому и это будет можно ЕСЛИ ПРИДУМАЮТ новый вид библиотек
Я понимаю, о чем ты, но чисто гипотетеически для вот такой штуки нужно знать только некоторые вещи: размер (в байтах) аргумента и возвращаемого значения, гарантию того, что для T есть операторы разыменования и инкремента (грубо - аналог extern). В данном случае размеры входа и выхода известны на момент компиляции. Тогда в бинаре можно будет создать гипотететический "динамический" экстерн на выше названные операторы, который мог бы разрешаться по-разному. В свою очередь либа бы предоставляла свой символ foo
Обсуждают сегодня