模板方法在哪里实例化

为了将不完整类型与智能指针(如boost::scoped_ptr)一起使用，必须在相应的CPP文件中为父类显式定义一个空的析构函数。示例：

// H file
class Foo
{
public:
~Foo();
private:
class Pimpl;
boost::scoped_ptr<Pimpl> pimpl_;
};
// CPP file
class Foo::Pimpl {};
Foo::~Foo() {}

编译器将boost::scoped_ptr的析构函数实例化具体放在哪里？我试图直观地想象它在这两个源文件中的位置，就好像我自己明确定义了scope_ptr的析构函数一样。这样想合理吗？

我知道模板方法和类在与类型一起使用之前不会为该类型实例化，但我现在正在尝试从结构上考虑它，以及如果编译器真的手工编写了它，它会放在哪里。这将帮助我更好地理解如何使用这些技术(如上面的技术)。

此外，我不确定模板类的整个定义是实例化的，还是只实例化了其中的相关部分。换句话说，boost::scoped_ptr的整个定义是否可能只存在一部分？