Clang ++ faz com que o linker falhe em classes de modelo (mas funciona com g ++)

Dec 23 2020

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.hnão são boas o suficiente para o Clang, mas não consigo descobrir o que ele quer.

Respostas

5 Jarod42 Dec 23 2020 at 07:17

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.