通过C++模板编译从整数到类型的时间查找

Compile-time lookup from integer to type via C++ templates

本文关键字：类型 时间 查找 整数 C++ 编译 通过      更新时间：2023-10-16

有没有一种方法可以通过C++模板实现编译时类型字典？例如，如果我有很多这样的类：

class ProtocolMajor1Minor2   { ... };
class ProtocolMajor4Minor3   { ... };
...
class ProtocolMajor12Minor21 { ... };

有没有一种使用C++模板的方法可以让我做这样的事情：

void foo(int majorVersion, int minorVersion)
{
    LookupMap<majorVersion,minorVersion>::innertype *specific = 
        new LookupMap<majorVersion,minorVersion>::innertype;
    return specific->FunctionalityFoo();
}

如果不清楚，LookupMap就像名字所说的那样：给定两个整数参数（协议主要版本和次要版本），它应该通过innerType"trait"提供我需要的特定协议类型。

我不能使用预处理器将函数"foo"创建为宏（使用##或#），原因有两个：（a）它很大，不像本例中那样，我不希望将一个巨大的函数编码为宏，以及（b）命名映射不是直接的（即主版本a和次版本b不指向类"ProtocolMajorAMinorB"。

您可能还认为"FunctionalityFoo"应该是基类型的成员：您是对的，但这是由遗留代码生成器生成的代码，即不可接触的。事实上，有很多像"FunctionalityFoo"这样的函数是为（major，minor）的每个组合生成的，我不想为它们中的每一个创建if/then/else梯形图。

我尝试了模板专门化，但没能找到一个有效的语法。

有没有办法通过模板来做到这一点？

否，模板是编译时构造的，因此不能将变量用作模板参数。要做到这一点，你需要做这样的事情（即不使用运行时提供的变量）：

template <int A, int B>
struct LookupMap { };
template <>
struct LookupMap<1, 2> { typedef Type1_2 innertype; };
// ...
template <int A, int B>
sometype foo() {
    typedef typename LookupMap<A, B>::innertype T;
    T* ptr = new T; // also, this leaks, use a smart pointer or something
    return ptr->something();
}
// when used
foo<1, 2>();
相关文章：