头文件中模板专门化的静态变量初始化

Static variable initialization for template specialization in header

本文关键字:静态 变量 初始化 专门化 文件      更新时间:2023-10-16

有一个c++头库,但在某些时候已经添加了模板专门化(就在头中)。一切都很好,直到需要链接使用这个库的两个文件。当然,有一个链接错误。问题是库的类使用静态变量。它们在头文件中直接为模板特化而初始化。

问题是:是否有可能在头文件中初始化模板专门化的静态变量并以某种方式避免链接错误?(类似于为模板类方法专门化添加内联关键字,有类似的链接问题)

欢迎任何想法(包括肮脏的把戏等)。

一些代码示例:

lib.hpp:

template <typename T>
struct LibClass
{
    static const int variable;
    static void f()
    {
        // use variable
    }
};
typedef LibClass<int> IntLibClass;
template <> const int IntLibClass::variable = 0;
typedef LibClass<double> DoubleLibClass;
template <> const int DoubleLibClass::variable = 1;

A.cpp:

#include "lib.hpp"
void g()
{
    IntLibClass a;
    a.f();
}

B.cpp:

#include "lib.hpp"
void h()
{
    DoubleLibClass b;
    b.f();
}
int main()
{
     h();
}

我想把A和B连在一起

g++ A.cpp B.cpp

只需将以下内容添加到项目的附加文件lib.cpp:

#include "lib.hpp"
template <> const int IntLibClass::variable = 0;
template <> const int DoubleLibClass::variable = 1;

并以以下方式更改lib.hpp文件(删除初始化):

typedef LibClass<int> IntLibClass;
template <> const int IntLibClass::variable;
typedef LibClass<double> DoubleLibClass;
template <> const int DoubleLibClass::variable;

正如Johannes Schaub - litb在注释中指出的那样,这个解决方案意味着在头文件中不初始化静态变量(正如问题中所要求的那样),因此变量值不能用于常量表达式(lib.cpp文件之外)。

但是这个解决方案适用于问题中给出的代码片段