C++ 模板显式实例化，模板参数是 class 模板

Question

我在尝试显式实例化 class 时遇到链接器问题。使用 C++11，LLVM 5.1。这是一个最小的工作示例：

declaration.h :

template <class T>
class Box {
    public :
    template <class _T>
    using Box_sub = Box<_T>;
};

//argument 'int N' is only used to remove ambiguity about class instantiation
template < template <class T> class Tbox, int N >
class A {
    public :
    A();
};

A_implementation.h :

template < template <class T> class Tbox, int N >
A<Tbox,N>::A() {}

explicit_instantiation.cpp :

#include "declaration.h"
#include "A_implementation.h"

template class A<Box,1>;
template class A<Box<int>::Box_sub,2>;

main.cpp :

#include "declaration.h"

int main() {

    A<Box,1> a1;
    A<Box<int>::Box_sub,2> a2;
    return 0;
}

这是链接器错误：

Undefined symbols for architecture x86_64:
"A<Box<int>::Box_sub, 2>::A()", referenced from:
  _main in main.o

看起来编译器认为第二个显式实例化与 main 的第二个声明不同。我不明白为什么。可能是 class 模板嵌入另一个模板的问题。

实际上这个问题可能与另一个问题密切相关，正如我之前询问过动态转换：

提出了一个技巧，但在显式实例化的情况下，我想知道是否可以使用另一个（更简单的）技巧。

评论中给出的解决方案：这是 Clang 3.4 中的一个错误

Answer 1

评论中给出的解决方案：这是 Clang 3.4 中的一个错误

C++ 模板显式实例化，模板参数是 class 模板

C++ template explicit instantation, with template argument being a class template

c++

templates

llvm

explicit-instantiation

c++11