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

免责声明:我知道模板通常在头文件中实现.请仔细阅读.

我有一个与C++模板相关的问题.我的代码在Windows下使用MSVC构建,但在Mac OSX下不支持LLVM-Clang,但我不确定哪一个是错误的.

这是一个简单的测试用例,由三个源文件组成:

main.cpp中

#include "templ.h"

int main()
{
   templ(1);
   return 0;
}

templ.h

template
T templ(const T&);

templ.cpp

#include "templ.h"

template
T templ(const T& t)
{
   return t;
}

//explicit instantiation
template int templ(const int&);

//implicit instantiation
void f()
{
   templ(1);
}

如您所见,我希望函数模板的实现是私有的(即隐藏在.cpp文件中).为此,我必须在与其定义相同的翻译单元中实例化我的模板.在上面的例子中,我只是实例化templ.AFAIK,这是不寻常的,但完全是cromulent C++.

因此,此代码与两个编译器一起构建.但是,如果我注释掉显式实例化并且只保留隐式实例化,则编译器的行为会有所不同.MSVC成功构建,但LLVM-Clang因以下链接器错误而失败:

Undefined symbols for architecture x86_64:
  "int templ(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

对不起,如果这是重复的.选择正确的关键字非常困难.