Clang ++は、テンプレートクラスでリンカーを失敗させます(ただし、g ++では機能します)

Dec 23 2020

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.hClangには十分ではないと思いますが、それが何を望んでいるのか理解できません。

回答

5 Jarod42 Dec 23 2020 at 07:17

明示的なインスタンス化は、定義が表示される場所である必要があるため、Points.cppの最後にあります。

class_template#Explicit_instantiationから:

明示的なインスタンス化定義は、それらが参照するクラス、構造体、または共用体のインスタンス化を強制します。これは、テンプレート定義の後の任意の場所でプログラムに表示される可能性があり、特定の引数リストに対して、プログラム全体で1回だけ表示されることが許可されており、診断は必要ありません。