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

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

本文关键字：参数 C++ 实例化      更新时间：2023-10-16

我在尝试显式实例化类时遇到链接器问题。使用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() {}

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++动态下转换到类模板，模板模板参数是类模板或别名模板

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

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

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

相关文章：