c++函数映射实现答案

【问题标题】：c++ function map implementationc++函数映射实现
【发布时间】：2012-01-04 08:04:45
【问题描述】：

我一直在使用新的 c++ 标准中的可变参数模板，并想出了一个映射函数（不包括标题 + 使用 decs）：

template<typename T>
T square(T i)
{
        return i * i;
}

template <typename T, typename... Ts>
const tuple<Ts...> map(const T f, const Ts...args)
{
        return make_tuple(f(args)...);
}

int main(int c, char *argv[])
{
        tuple<int, int> t;
        int (*fp) (int) = square;

        t = map(fp, 6, 8);

        cout <<get<0>(t) <<endl;
        cout <<get<1>(t) <<endl;

        return 0;
}

哪个有效。只要 map 的所有参数都是相同的类型。如果我将 main 更改为使用更通用的形式：

 tuple<int, float> t;

 t = map(square, 6, 8.0f);

gcc 4.4 报告：

In function ‘int main(int, char**)’:
error: no matching function for call to ‘map(<unresolved overloaded function type>, int, float)’

任何想法如何使这项工作？

【问题讨论】：

你是abusing namespace std;吗？ tuple 来自哪里？
@KerrekSB：他说他删除了using decs，这对我来说似乎很明显using 滥用。

标签： c++ templates map functional-programming c++11

【解决方案1】：

首先，您不能将未解析的函数模板作为指针（或模板参数）传递，您只能传递它的实例。这意味着您的模板的第一个参数在此示例中作为int (*)(int) 传递，它不能调用float (*)(float) 实例化。我不确定解决这个问题的最佳方法，但无论如何，从技术上讲，这不是你所问的。

我没有编译器来测试这个，但我认为如果你使用std::function 来推断你传入的函数想要的类型，你也许可以将参数转换为函数。像这样：

template<typename T, typename Ts...>
tuple<Ts...> map(std::function<T (T)> const &f, Ts... args) {
    return make_tuple(static_cast<Ts>(f(static_cast<T>(args)))...);
}

看，我认为你需要为函数转换参数（作为T）和返回类型（作为Ts），因为在这个模板中似乎一些隐式转换规则不起作用。

如果我的语法不起作用（它可能不起作用，...s 在您没有编译器时会很棘手），您可能可以将其重写为更冗长在调用函数之前解包每个Ts 的函数，然后在执行过程中构建一个元组。我不确定这是否真的有必要，但我的感觉是编译器对所有 ... 解包的支持现在有点参差不齐，所以即使你想出了一些应该工作的东西，我也不会如果您的编译器无法处理它，您会感到惊讶。

【讨论】：