获取地址时模板类型（类/函数）实例化的规则是什么？

在回答中this https://stackoverflow.com/questions/6734492/c-callback-to-function-template-explicitly-instantiate-template问题，我发现了模板实例化方面的行为差异。

最初有一个函数模板

template <typename T> void my_callback(void* data) { … }

现在有些东西需要这个的地址 - 特别是void*，所以显而易见的方法是

bar(reinterpret_cast<void*>(&my_callback<int>));

但是，对于 gcc 4.5 之前的编译器版本，此操作会失败并出现 not-enough context... 错误。很好 - 所以解决方法是首先“强制转换” - 这会强制实例化，即：

void (*callback)(void*) = my_callback<int>;
bar(reinterpret_cast<void*>(callback));

这很好用。

现在第二种情况，它不是一个自由函数，而是一个类模板的静态成员，即

template <typename T>
struct foo
{
  static void my_callback(void* data) {
    T& x = *static_cast<T*>(data);
    std:: cout << "Call[T] with " << x << std::endl;
  }
};

现在，原来的reinterpret_cast工作正常。

bar(reinterpret_cast<void*>(&foo<int>::my_callback));

所以我的问题是 - 为什么行为上会出现这种明显的差异？

来自 n3290，14.7.1 隐式实例化 [temp.inst]

2 除非函数模板特化已经明确 实例化或显式专门化的函数模板 当专业化是隐式实例化时 在需要存在函数定义的上下文中引用。

第 1 段中对于类模板特化也有类似的规则。请注意，该标准是用专业化来表述的，因为使用模板时会隐式声明专业化，这里没有用户提供的专业化，至少对于函数模板而言（第 8 段）。

结合第10段，

10 实现不应隐式实例化函数 模板、成员模板、非虚成员函数、成员 类，或类模板的静态数据成员，但不 需要实例化。

我认为经验法则是：一旦需要对象/类成员/函数或使程序正常工作（非正式地说），模板就会隐式实例化，但是不早于。这包括获取函数的地址。

至于您链接的问题，一些用途reinterpret_cast可能会使程序不符合规范，到那时提及实例化就无关紧要了——我邀请你在那里看到我的答案 https://stackoverflow.com/questions/6734492/c-callback-to-function-template-explicitly-instantiate-template/6735302#6735302</无耻>。