Question

对于一个应用程序，我需要确保一个类型（Instance）已经注册到另一个类型（System），然后再与它一起使用。

通过创建Register类的全局实例进行注册：

// Instance.cpp
#include "Instance.h"
#include "System.h"
#include "Register.h"

static Register<Instance, System> instanceRegistration;

注册后，Instance可与System结合使用，在此简化示例中，您可以调用runme函数：

// main.cpp
#include "Instance.h"
#include "System.h"

template <typename T, typename T_System>
void runme() {
    // TODO: error if type T was not registered for type T_System.
    // ...
    // Code that fails if no instance of Register<Instance, System> exists
    // ...
}

int main() {
    runme<Instance, System>();
}

使用未注册的模板参数组合调用runme应该会失败（在这种情况下，真正的代码会出现段错误。）

目前，runme针对在bool的构造函数中设置的全局Register进行了运行时检查。如果全局bool为false，则会引发异常。这很好。

但是，我想将错误检查移到编译时，因为从理论上讲，链接器应该能够确定是否存在Register类的全局实例。

问题：

如果在没有runme<Instance, System>()类型的全局变量的情况下调用Register<Instance, System>，是否有某种方法可以生成链接器错误？

其他头文件如下：

// Instance.h
class Instance { };

// System.h
class System { };

// Register.h
template <typename T, typename T_System>
class Register {
public:
    Register() {
        // Some side effects...
    }
};

Answer 1

这并不完美，但它可以帮助你完成大部分工作。首先，声明一个名为（例如）EnsureRegistered()的未实现函数，该函数与Register在相同的参数上进行模板化;也许在Register.h：

template<typename T, typename T_System>
void EnsureRegistered(); // not implemented here!

现在，无论何时创建Register，都要提供EnsureRegistered()的显式特化（可能使用预处理器宏来自动执行此操作）：

Register<int, int> g_Register_i_i;

template<>
void EnsureRegistered<int, int>() {}

最后，在runme()中调用该函数（或者只是获取其地址并将其分配给某些内容，如果性能至关重要）：

template<typename T, typename T_System>
void runme()
{
    EnsureRegistered<T, T_System>();
    // ...
}

现在，runme<int, int>()将构建，但runme<int, double>()会出现链接错误。

如果不存在类的全局实例，则触发错误

问题：

1 个答案: