使用LLVM-Clang隐式实例化私有c++模板时的链接器错误

免责声明:我知道模板通常在头文件中实现。

我有一个c++模板相关的问题。我的代码在Windows下使用MSVC构建，但在Mac OSX下不使用LLVM-Clang，但我不确定哪个是错误的。

• main.cpp

  #include "templ.h"
  int main()
  {
     templ(1);
     return 0;
  }
  

• templ.h

  template<typename T>
  T templ(const T&);
  

• templ.cpp

  #include "templ.h"
  template<typename T>
  T templ(const T& t)
  {
     return t;
  }
  //explicit instantiation
  template int templ(const int&);
  //implicit instantiation
  void f()
  {
     templ(1);
  }
  

正如你所看到的，我希望函数模板的实现是私有的(即隐藏在.cpp文件中)。为此，我必须在与其定义相同的翻译单元中实例化我的模板。在上面的示例中，我只实例化了templ<int>。我敢说，这是不寻常的，但却是完美的c++。

实际上，这段代码使用这两个编译器构建。但是，如果我注释掉显式实例化，只留下隐式实例化，编译器的行为就会不同。MSVC成功构建，但LLVM-Clang失败，出现以下链接器错误:

Undefined symbols for architecture x86_64:
  "int templ<int>(int const&)", referenced from:
      _main in main.cpp.o
ld: symbol(s) not found for architecture x86_64

此外，该错误仅在启用优化(例如-02)时发生。

标准对此有何规定?这是LLVM-Clang的已知行为/错误吗?

我的LLVM-Clang版本是:

Apple LLVM version 5.1 (clang-503.0.40) (based on LLVM 3.4svn)
Target: x86_64-apple-darwin13.0.0
Thread model: posix

如果这是重复的，很抱歉。选择正确的关键词是非常困难的。