Question

我不熟悉函数指针，我正在进行一些测试。但是在下面的程序中，我不明白为什么第一个版本有效以及为什么第二个版本无法编译。什么是正确的语法？

#include <iostream>
#include <cmath>
#include <vector>
#include <algorithm>
#include <numeric>
#include <functional>

template<typename Type> 
void display(const std::vector<Type>& v)
{
    if (!v.empty()) {
        for (unsigned int i = 0; i < v.size()-1; ++i)
            std::cout<<v[i]<<" ";
        std::cout<<v[v.size()-1];
    }
}

// Compiles 
template<typename Type> 
void apply1(std::vector<Type>& v, void(f)(Type*, Type*, Type))
{
    f(&*v.begin(), &*v.end(), 0);
}

// Does not compile
template<typename Type> 
void apply2(std::vector<Type>& v, std::function<void(Type*, Type*, Type)> f)
{
    f(&*v.begin(), &*v.end(), 0);
}

int main()
{
    std::vector<double> v = {1., 2., 3., 4., 5., 6.};
    display(v); std::cout<<std::endl;
    apply1(v, std::iota);
    display(v); std::cout<<std::endl;
    apply2(v, std::iota);
    display(v); std::cout<<std::endl;
    return 0;
}

错误如下：

error: cannot resolve overloaded function 'iota' based on conversion to type 'std::function<void(double*, double*, double)>'

Answer 1

函数指针提供我称之为转换上下文的内容。它明确说明了哪些重载意味着，而std::function没有。 std::function的构造函数接受任何可调用的实体，因此不提供上下文来消除何种重载的歧义。另请参阅this question。

要手动消除歧义，要么强制转换函数指针

apply2(v, static_cast<void(*)(double*,double*,double)>(std::iota));

或使用命名函数指针

void (*iota)(double*, double*, double) = std::iota;
apply2(v, iota);

或使用lambda

apply2(v, [](double* f, double* l, double d){ std::iota(f, l, d); });

指向函数和std :: function的指针：第一个编译而不是第二个编译？

1 个答案: