【发布时间】：2019-01-31 19:19:03
【问题描述】：
我正在写一个实体entity component system game engine。作为其中的一部分，我编写了一个Manager 类，它将注册各种IBase 实现，然后允许我实例化这些实现。请参阅下面的示例，了解我希望如何使用它。
class Manager{
public:
template<class T>
void registerDerived()
{ /*Register a Derived with the Manager*/ };
template<class T>
T createDerived()
{ /*if T is not registered, throw an error*/
return T();};
};
struct IBase{
};
struct Derived1 : public IBase{
};
struct Derived2 : public IBase{
};
如 cmets 中所述，我在 template<class T>Manager::createDerived() 中有代码，用于检查 Base 的特定实现是否已使用 template<class T>Manager::registerDerived() 注册，如果尚未注册，则会引发错误。这个检查是微不足道的，为了简单起见，代码示例中省略了。
这是我的问题：是否可以将此检查移至编译时，而不是等到运行时？似乎在运行时应该有足够的信息来做出这个决定。
到目前为止，我已经探索/阅读了有关 SFINAE 的信息，这似乎是可以采用的方法，但我无法弄清楚如何使这些成语在这种特定情况下发挥作用。 This link 很好地概述了基本的 SFINAE 习语，this SO 问题提供了一些很好的代码 sn-ps，最后 This blog post 似乎几乎解决了我的确切情况。
这是一个完整的示例，我尝试实现这些链接中的信息：
#include <iostream>
class Manager{
public:
template<class T>
void registerDerived()
{ /*Register a Derived with the Manager*/ }
template<class T>
T createDerived()
{ /*if T is not registered, throw an error*/
return T();}
};
struct IBase{
};
struct Derived1 : public IBase{
};
struct Derived2 : public IBase{
};
template<typename T>
struct hasRegisterDerivedMethod{
template <class, class> class checker;
template <typename C>
static std::true_type test(checker<C, decltype(&Manager::template registerDerived<T>)> *);
template <typename C>
static std::false_type test(...);
typedef decltype(test<T>(nullptr)) type;
static const bool value = std::is_same<std::true_type, decltype(test<T>(nullptr))>::value;
};
int main(){
Manager myManager;
myManager.registerDerived<Derived1>();
// whoops, forgot to register Derived2!
Derived1 d1 = myManager.createDerived<Derived1>(); // compiles fine, runs fine. This is expected.
Derived2 d2 = myManager.createDerived<Derived2>(); // compiles fine, fails at runtime (due to check in createDerived)
std::cout << std::boolalpha;
// expect true, actual true
std::cout << "Derived1 check = " << hasRegisterDerivedMethod<Derived1>::value << std::endl;
// expect false, actual true
std::cout << "Derived2 check = " << hasRegisterDerivedMethod<Derived2>::value << std::endl;
return 0;
}
**
TL;DR
如何修改上面的代码以产生编译时错误（可能使用static_assert），而不是等到运行时才检测到错误？
**
【问题讨论】：
-
恐怕，这在编译时是不可能的。您不能在编译时将“状态”附加到非
constexpr对象，也不能在编译时读取该状态。 -
Manager是单身人士吗？ -
用
register()替换create()后跟create()有什么问题（但在一个函数调用中完成）？假设多个register<T>()不会导致任何问题。 -
目前还不清楚您为什么要这样做（在创建之前和之前分别键入注册）。你能提供一个简单的用例，这是最惯用的解决方案吗？
-
是的，我可以努力更新我的答案以使这一点更清楚。我的经理确保每个 Derived 都有唯一的 ID 和唯一的字符串表示，这有助于数据的（反）序列化
标签： c++ c++11 templates template-meta-programming introspection