模板参数包在Clang上失败，但不是VS 2015

Question

我正在处理一个函数，该函数调用一个具有可变参数数的函数。它在Visual Studio 2015上编译并正常工作，但在Clang上编译失败。我准备了一个演示，展示了我要做的事情。我在Clang中遇到的错误是：

掠夺。cpp:在函数“int main（）”中：prog。cpp:31:2:错误：调用“run（std:：vector）”时没有匹配的函数

#include <functional>
#include <iostream>
#include <vector>
using namespace std;

template<int RepeatTimes, class ... mutrArgs>
void run(
    vector<int>& vec,
    const function<void(int&, mutrArgs ...)>& mutr,
    mutrArgs ... args
)
{
    for (int times{0} ; times < RepeatTimes ; ++times)
        for (auto& item : vec)
            mutr(item, args...);
}

void adder(int& i, const int& val)
{
    i += val;
}

int main()
{
    vector<int> v{0,1,2,3,4,5,6,7,8,9};
    const int addValue{4};
    run<2, const int&>(
        v,
        &adder,
        addValue
    );
    for (auto i : v)
        cout << i << " ";
    cout << endl;
    return 0;
}

Answer 1

如果查看所有标准库算法函数，至少那些采用“谓词”（可调用对象）的函数会将该参数作为模板类型。

如果您这样做，它将生成：

template<int RepeatTimes, typename F, class ... mutrArgs>
void run(
    vector<int>& vec,
    F mutr,
    mutrArgs ... args
)
{
    ...
}

请参阅此处获取代码示例。请注意，您不需要提供所有模板参数，编译器可以推断它们。

Answer 2

运行

run<2, const int&>(v, &adder, addValue);

有两个地方可以推断出mutrArgs：

>

addValue-

用函数地址解决那个问题

auto call_run = &run<2, const int&>;
call_run(v, &adder, addValue);

奇怪的是，clang不支持与gcc相反的内联用法：/

(&run<2, const int&>)(v, &adder, addValue);

如果要禁用扣减，可以将模板arg设置为不可扣减：

template <typename T> struct identity { using type = T; };

template <typename T> using non_deducible_t = typename identity<T>::type;

然后呢

template<int RepeatTimes, class ... mutrArgs>
void run(
    std::vector<int>& vec,
    const std::function<void(int&, non_deducible_t<mutrArgs> ...)>& mutr,
    non_deducible_t<mutrArgs> ... args
)

演示

即使在您的情况下，Joachim Pileborg建议的简单的类型名F似乎更好。