转换为指向模板的指针是否会实例化该模板？

Question

static_cast*>(0) - 这是否以 int 类型实例化 the_template ？

询问的原因是以下代码，该代码在使用 Clang 和 GCC 4.4.5 链接时会出错，并带有对 check_error(void*, long) 的未定义引用，表明它不实例化模板。然而，MSVC 和 GCC 4.5.1 编译和链接得很好，导致人们相信它确实实例化了模板。但是，如果省略强制转换，MSVC 和 GCC（4.4.5 和 4.5.1）将仅在 check_error 上出错（所需的行为），而 Clang 在两个调用上都会出错。通常，当涉及到符合标准的东西时，我相信 Clang，但我想知道：

哪个编译器是正确的，标准对此有何规定？

---

#include <type_traits>

template<class T>
void check_error(void*, long);

template<class T>
struct foo{
  template<class U>
  friend typename std::enable_if<
    std::is_same<T,U>::value
  >::type check_error(foo<T>*, int){}
};

template struct foo<int>;

int main()
{
  check_error<int>(static_cast<foo<int>*>(0), 0);
  check_error<char>(static_cast<foo<char>*>(0), 0);
}

Answer 1

实例化类模板特化的不是强制转换，而是函数调用，因为参数会触发 ADL 。之所以进行实例化，是因为它的完整性可能会影响程序的语义。

已知 clang 不遵循此处的规范，并且我前段时间发送了 PR。请参阅http://llvm.org/bugs/show_bug.cgi?id=9440

Answer 2

n3242 §14.7.1/1

除非类模板特化已显式实例化 (14.7.2) 或显式特化 (14.7.3)，
当在上下文中引用专门化时，类模板专门化会被隐式实例化
需要完全定义的对象类型或当类类型的完整性影响语义时
程序的隐式实例化。类模板特化的隐式实例化会导致隐式实例化
类成员函数的声明的实例化，但不是定义或默认参数的实例化，
成员类、静态数据成员和成员模板；它会导致隐式实例化
匿名工会成员的定义。除非是类模板或成员模板的成员
已显式实例化或显式特化，该成员的特化已隐式实例化
当在需要成员定义存在的上下文中引用专业化时；在
特别是，静态数据成员的初始化（以及任何相关的副作用）不会发生，除非
静态数据成员本身的使用方式需要存在静态数据成员的定义。

在我看来，static_cast 需要声明的实例化，而不是定义的实例化（因为您只是处理指针）。

n3242 §14.6.5/1

可以在类模板中声明友元类或函数。当模板被实例化时，
它的朋友的名字被视为好像专业化已经在其实例化点被明确声明。

我认为它应该链接，但也许其他人可以比我更好地解释。