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

Question

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

询问的原因是以下代码,在链接时将错误地引用check_error<char>(void*, long)与Clang和GCC 4.4.5 的未定义引用,表明它没有实例化模板.然而,MSVC和GCC 4.5.1编译和链接就好了,导致相信它确实实例化了模板.但是,如果省略演员表,MSVC和GCC(4.4.5和4.5.1)将check_error<char>仅出错(所需行为),而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.实例化完成是因为它的完整性可能会影响程序的语义.

那个铿锵不遵守这里的规范已经知道了,不久前我发了一封公关.见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

可以在类模板中声明好友类或函数.实例化模板时,会将其朋友的名称视为在实例化时明确声明了特化.

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