Представьте, что у вас есть файл a.h
#include <iostream>
template<typename T> struct A{
int magic;
A():magic(1234){}
void f(){std::cout<<"default f"<<magic<<std::endl;}
};
void f(A<int>* a);
то функция f определена в "a.cpp"
#include "a.h"
void f(A<int>* a){
a->f();
}
и, наконец, "main.cpp" специализируется на шаблоне, а затем использует f
#include "a.h"
template<> struct A<int>{
};
int main(){
A<int> a;
f(&a);
}
Очевидно, что компилятор использует неспециализированную версию для a.o и специализированную версию для main.o, то есть существуют две разные реализации A. При выполнении f может печатать только мусор /segfault, потому что переданный объект имеет другую структуру от ожидаемой.
Есть ли способ заставить компоновщика предупредить, что есть две версии A?
