visual studio2022を用いて、静的ライブラリを生成するプロジェクト(ProjectLib)とそのlibを参照する実行ファイルのプロジェクト(ProjectExe)を開発しています。
ProjectLibは以下のファイルを含みます。
projectlib.h
#pragma once
template<typename T>
void func(T t);
projectlib.cpp
#include "projectlib.h"
#include <iostream>
#include <variant>
template<typename T>
void func(T t) {
std::cout << t;
}
struct Instantiate {
void operator()() {
std::variant<int, std::string> v;
std::visit([](auto v) { func(v); }, v);
}
};
上記のファイルではテンプレート関数funcに対してstruct Instantiateを用いてint, std::string型のインスタンス化をしています。
ProjectExe
main.cpp
#include "lib.h"
#pragma comment(lib, "ProjectLib.lib")
int main()
{
int i = 10;
std::string s = "test";
func(i);
func(s);
}
main.cppではProjectLib.libをリンクしてインスタンス化したint, std::string型のfuncを使用します。
問題
上記の書き方の場合、vc++では正常にビルドできるのですが、clangを使用したときにProjectExeビルド時にfuncのインスタンスのシンボルを解決できずにリンクエラーになることです。
回避策1
回避策として、Instantiateの宣言をprojectlib.hに記述して、void Instantiate::operator()()の定義をprojectlib.cppに記述ことですが、それは避けたい回避策です。
回避策2
明示的インスタンス化を使用して、各型に対応するインスタンスを生成することもできますが、今後型が増えるたびにメンテナンスする必要があるので、この回避策も避けたいです。
template void func(int t);
インスターフェースを汚さずにcppファイル内でインスタンス化する方法はありますでしょうか?
~~~~~最終コード~~~~
// projectlib.h
class Func
{
private:
struct Instantiate;
public:
template <typename T>
static void func(T t);
}
// projectlib.cpp
template <typename T>
void Func::func(T t) { ... }
struct Func::Instantiate
{
void operator()();
}
void Func::Instantiate::operator()()
{
// if(false) {
std::variant<int, std::string> v;
std::visit([](auto v) { func(v); }, v);
//} //if(false)で囲った場合は実体化されない
}
template
はソースコードレベルで使ってこそおいしいので DLL/LIB のように分離しちゃうのはそもそも想定されていない使い方だと思うっス。template
は関数のひな型であって、まだ関数ではないのでそれをライブラリの形で公開するというのは無理難題。既存コードの誤りを正すのは今しかないのでは?