C++模板：使用隐式转换到模板实例化类型来选择重载函数！

Question

考虑这些重载函数，

void fun(Int2Type<1>) {}
void fun(Int2Type<2>) {}
void fun(Int2Type<3>) {}
void fun(Int2Type<4>) {}

我想以这种方式调用它们，

fun(1); // this should call first function
fun(4); // this should call fourth function

有没有办法做到这一点？如果是的话，我们可以对一些运行时值做同样的事情，这样说， （请注意，在上面的调用中，参数在编译时已知）

fun(value); // value can be decided at runtime!

---

或者如果不可能的话还有其他选择吗？目标是，根据不同的积分值调用不同的函数！

---

编辑

顺便说一下，我不能使用以下任何一个：

1. 使用 switch(value)
2. 使用一些 SomeFuncTable funTable[] = {fun(Int2Type<1>(), fun(Int2Type<2> ;()} 等

Answer 1

您可以采取一些不同的做法：

template<int N> void func();
template<> void func<1>(){/*the body*/}
template<> void func<2>(){/*the body*/}

然后您可以调用：func<1>()。

或者您可以这样调用原始代码：func(Int2Type<1>())。

无论如何，所有这些都仅适用于编译时常量。

Answer 2

不，无法使用运行时值作为模板参数。你唯一能做的就是：

void fun(int x) {
    switch(x) {
    case 1:
        fun(Int2Type<1>());
        break;
    case 2:
        fun(Int2Type<2>());
        break;
    case 3:
        fun(Int2Type<3>());
        break;
    case 4:
        fun(Int2Type<4>());
        break;
    }
}

Answer 3

没有办法实现你想要的，因为它们都归结为同一件事——跳转表，或者一大堆 if/else。就是这样。任何其他功能都将变得如此。只需制作一个跳转表即可。您可以使用函数指针数组（最快）或更灵活的数组，例如 unordered_map>。

哦，除非你想编写自己的 JIT 编译器并在需要时 JIT 新的汇编代码。你可以这么做。但我真的不明白这一点，因为你仍然遇到同样的问题 - 如何选择要采用的代码路径，这将成为跳转表或 if/else 链。