模板成员函数专业化也可以是实例化吗？

Question

我遇到了模板专业化的问题。以下构建和运行，但我不确定它应该：

// template.h
template <typename T>
class interface{
public:
   void doSomething();
};

// template.cpp
#include "template.h"
#include <iostream>
template <> void interface<int>::doSomething(){std::cout << "Did something\n";}

// main.cpp
#include "template.h"
int main(){
   interface<int> instance;
   instance.doSomething();
   return 0;
 };

g++ main.cpp template.cpp; ./a.out

我的理解是所有编译单元都应该可以访问所有模板特化，而main.cpp则没有。如果我理解正确发生的事情，template.cpp中的特化也会实例化接口＆lt; int＆gt;，因此符号生成，一切都愉快地链接。但是，我很确定这属于不确定性的范畴，我不能指望它始终在任何地方工作。有人可以确认或否认我的怀疑吗？

谢谢！