C++ primer上介绍了std::function的用法，尝试写一个简单的应用

int half(int i)
{
    return i / 2;
}

function<int(int)> fn1 = half;
function<int(int)> fn2 = &half;

编译可以通过。但是我写入以下代码：

int add(int i, int j)
{
    return i + j;
}

function<int(int, int)> fn3 = add;

编译时报错：error C2440: 'initializing': cannot convert from 'overloaded-function' to 'std::function<int (int,int)>'

看起来几乎是一样的用法，请问是哪里出错了？

C++上的一道例题，目的是做一个简单的计算器。
完整的代码如下：

#include <functional>
#include <iostream>
#include <map>
#include <string>

using namespace std;

int add(int i, int j)
{
    return i + j;
}

int half(int i)
{
    return i / 2;
}

int main()
{
    function<int(int)> fn1 = half;
    function<int(int)> fn2 = &half;
    function<int(int, int)> fn3 = add;

    map<string, function<int(int, int)>> op =
    {
        "+",add
    };

    cout << fn1(60) << endl;

    return 0;
}

function<int(int, int)> fn3 = add;编译能通过，但问题出在op的初始化，提示：error C2440: 'initializing': cannot convert from 'initializer list' to 'std::map<std::string,std::function<int (int,int)>,std::less<std::string>,std::allocator<std::pair<const std::string,std::function<int (int,int)>>>>'

看起来写法几乎是一样，为什么function<int(int, int)> fn3 = add;能通过，但是初始化语句却不行？

[此贴子已经被作者于2023-5-17 10:15编辑过]

上面的问题解决了。但是当我包含一个头文件后，代码又不能编译出错了
Sales_data.h

#ifndef SALES_DATA_H
#define SALES_DATA_H

#include <iostream>
#include <string>

class Sales_data
{
    friend std::istream& read(std::istream&, Sales_data&);
    friend std::ostream& print(std::ostream&, const Sales_data&);
    friend Sales_data add(const Sales_data&, const Sales_data&);
public:
    Sales_data() : Sales_data("", 0, 0.0) { std::cout << "Sales_data()" << std::endl; }
    Sales_data(std::string& s) :Sales_data(s, 0, 0.0) { std::cout << "Sales_data(std::string &)" << std::endl; }
    Sales_data(std::string s, unsigned n, double p) :bookNo(s), units_sold(n), revenue(n* p) { std::cout << "Sales_data(std::string &,unsigned n,double p)" << std::endl; }
    Sales_data(std::istream& is) : Sales_data("", 0, 0.0) { read(is, *this); }

    std::string isbn() const { return bookNo; }
    Sales_data& combine(const Sales_data&);
    double avg_price() const;
private:
    std::string bookNo;
    unsigned units_sold = 0;
    double revenue = 0.0;
};

std::istream& read(std::istream&, Sales_data&);
std::ostream& print(std::ostream&, const Sales_data&);
Sales_data add(const Sales_data&, const Sales_data&);

#endif

exercise.cpp

#include <map>
#include <functional>
#include <iostream>
#include <string>
#include "Sales_data.h"

using namespace std;

int add(int i, int j)
{
    return i + j;
}

int half(int i)
{
    return i / 2;
}

int main()
{
    map<string, function<int(int, int)>> binops = {
        {"+",add},
        {"-",minus<int>()},
        {"*",[](int i,int j) { return i * j; }},
        {"/",[](int i,int j) { return i / j; }}
    };

    map<string, int(*)(int, int)> binops2 =
    {
        {"+",add}
    };

    function<int(int, int)> fn3 = add;

    function<int(int)> fn1 = half;
    function<int(int)> fn2 = &half;

    cout << fn1(60) << endl;

    return 0;
}

提示：error C2440: 'initializing': cannot convert from 'initializer list' to 'std::map<std::string,std::function<int (int,int)>,std::less<std::string>,std::allocator<std::pair<const std::string,std::function<int (int,int)>>>>'

[此贴子已经被作者于2023-5-17 14:37编辑过]

我有些不大明白，虽然函数名是一样的，都是add，但入参不同呀，一个是(int,int),另一个是const Sales_data&。按理说call signature不同，是能精确匹配的，不存在二义性。

重载函数的匹配不就是这么一个过程吗？同名函数都是可行性函数，然后进行参数匹配以消除二义性。

[此贴子已经被作者于2023-5-17 19:11编辑过]