Clang ++ приводит к сбою компоновщика в классах шаблонов (но он работает с g ++)

Question

У меня есть программа, которая хорошо работает с GCC, но компиляция ее с Clang вместо этого приводит к сбою компоновщика.

Я думаю, что моя проблема связана с классами шаблонов, поэтому я реализовал этот небольшой пример.

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}
{}

Когда я его собираю g++ Point.cpp test.cpp, он работает без проблем.

Но с Clang выдает следующие ошибки:

$ 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)

Или, используя 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)

Я предполагаю, что мои явные экземпляры Point.hнедостаточно хороши для Clang, но я не могу понять, чего он хочет.

Answer 1

Ваш явный экземпляр должен быть там, где определения видны, поэтому в конце Points.cpp

Из class_template # Explicit_instantiation :

Явное определение экземпляра требует создания экземпляра класса, структуры или объединения, на которые они ссылаются. Он может появиться в программе где угодно после определения шаблона, и для данного списка аргументов разрешено появляться только один раз во всей программе, диагностика не требуется.