模板函数范围内的条件模板类型别名

Question

假设我有 N 具有一组相同参数的函数。我调用带有参数的工厂方法，以及一些允许我在 N 函数之间进行选择的值。

一个不整洁的方法是像这样做一个 if 语句：

if(choice == 1)
    foo_one<T>(args);
else if (choice == 2)
    foo_two<T>(args);
etc

这很好，除非在我的情况下参数数量很大。因此工厂方法非常拥挤。

假设我有一个调用工厂方法的主函数：

int main(int argc, char *argv[])
{
    int choice = 1;
    float arg = 1.5;
    foo_choose(choice, arg);
    return 0;
}

我正在考虑在 choice 参数上进行分支，并在该 if 语句中设置函数别名。

这意味着无论N 有多大，我只需要传递一次参数。

它可能看起来像这样：

template <typename T>
void foo_one(T arg) { std::cout << "foo_one\n"; };

template <typename T>
void foo_two(T arg) { std::cout << "foo_one\n"; };

template <typename T>
void foo_choose(int choice, T arg)
{
    if(choice == 1)
        using foo = foo_one<T>;
    else
        using foo = foo_two<T>;        

    foo(arg);
};

但是，我无法让它与模板一起使用。是否有明显的我遗漏的东西，或者我应该添加的搜索词。

由于我可能多次调用 foo_choose 并使用不同的 choice 值，我不希望别名 foo 存在于函数范围之外。

This question suggests也许我走错了路，但我不确定。

Answer 1

问题

template <typename T>
void foo_choose(int choice, T arg)
{
    if(choice == 1)
        using foo = foo_one<T>;
    else
        using foo = foo_two<T>;        

    foo(arg);
};

是说 using 语句是作用域语句。这意味着它们仅适用于声明的范围，因此一旦您到达foo(arg);，foo 就会超出范围并且您会收到错误消息。您可以获取指向它的指针，而不是获取函数的别名，然后在最后调用该指针。看起来像

template <typename T>
void foo_choose(int choice, T arg)
{
    using f_ptr = void(*)(T);
    f_ptr foo;
    if(choice == 1)
        foo = foo_one<T>;
    else
        foo = foo_two<T>;        

    foo(arg);
};

这确实伴随着您必须指定所有函数模板参数的警告。

Answer 2

如果您的所有候选函数都是相同类型的函数，您可以简单地设置一个函数指针的本地数组并从中进行选择：

template <typename T>
void foo_choose(int choice, T arg)
{
    constexpr void (*funcs[])(T) = { foo_one<T>, foo_two<T> };

    assert(choice > 0 && choice < std::extent_v<decltype(funcs)>);

    return funcs[choice](arg);
};

live example here

这里的其他答案已经给出了为什么您的原始方法不起作用的解释。我不认为我可以添加...

Answer 3

小点

没有必要使用

using foo = foo_one<T>;

紧随其后

foo(arg);

你也可以使用

foo_one(arg);

更重要

正如您已经注意到的，使用级联 if/else 语句是一个维护问题，很容易导致错误。

如果你可以保留一个函数/仿函数的映射，可以用来分派对适当函数的调用，那就更好了。但是，对于函数模板，我认为没有明确的通用类型可以用来创建函数/仿函数的映射。

让我们回家吧，其他人有正确的想法来证明它是可以做到的。