Question

尝试显式实例化类时，我遇到了链接器问题。使用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的第二个声明不同。我不明白为什么。可能是类模板嵌入另一个模板的问题。

实际上问题可能与另一个问题密切相关，正如我之前提到的关于动态投射的问题：C++ dynamic downcasting to class template having template template parameter being a class template or an alias template

提出了一个技巧，但在明确实例化的情况下，我想知道是否有其他（更简单的）技巧可能。

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

Answer 1

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

C ++模板显式即时，模板参数是类模板

1 个答案: