3

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

声明.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() {}

显式实例化.cpp：

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

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

主.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++ 动态向下转换到具有模板模板参数是类模板或别名模板的类模板

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

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

4

1 回答 1

1

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

于 2015-11-17T13:31:10.877 回答