Clang ++ faz com que o linker falhe em classes de modelo (mas funciona com g ++)
Eu tenho um programa que funciona bem com o GCC, mas compilá-lo com o Clang, em vez disso, faz com que o vinculador falhe.
Acho que meu problema é com classes de modelo, então implementei este pequeno exemplo.
test.cpp
:
#include "Point.h"
int main()
{
Point<int> p1;
Point<int> p2{ 3, 6 };
}
Point.h
:
#ifndef POINT_H
#define POINT_H
template<typename T>
class Point {
T x, y;
public:
Point();
Point(T, T);
};
template class Point<int>;
template class Point<float>;
#endif
Point.cpp
:
#include "Point.h"
template<typename T>
Point<T>::Point()
: x{0}, y{0}
{}
template<typename T>
Point<T>::Point(T t_x, T t_y)
: x{t_x}, y{t_y}
{}
Quando eu construo com g++ Point.cpp test.cpp
, ele funciona sem problemas.
Mas com o Clang, ocorrem os seguintes erros:
$ clang++ Point.cpp test.cpp
/usr/bin/ld: /tmp/test-8ab886.o: in function `main':
test.cpp:(.text+0x1a): undefined reference to `Point<int>::Point()'
/usr/bin/ld: test.cpp:(.text+0x2d): undefined reference to `Point<int>::Point(int, int)'
clang-11: error: linker command failed with exit code 1 (use -v to see invocation)
Ou, usando lld:
$ clang++ -fuse-ld=lld Point.cpp test.cpp
ld.lld: error: undefined symbol: Point<int>::Point()
>>> referenced by test.cpp
>>> /tmp/test-f95759.o:(main)
ld.lld: error: undefined symbol: Point<int>::Point(int, int)
>>> referenced by test.cpp
>>> /tmp/test-f95759.o:(main)
clang-11: error: linker command failed with exit code 1 (use -v to see invocation)
Acho que minhas instanciações explícitas em Point.h
não são boas o suficiente para o Clang, mas não consigo descobrir o que ele quer.
Respostas
Sua instanciação explícita deve ser onde as definições são visíveis, portanto, no final de Points.cpp
De class_template # Explicit_instantiation :
Uma definição de instanciação explícita força a instanciação da classe, estrutura ou união a que se referem. Ele pode aparecer no programa em qualquer lugar após a definição do modelo e, para uma determinada lista de argumentos, só é permitido aparecer uma vez em todo o programa, sem necessidade de diagnóstico.