函数指针的函数重载

Question

有一个关于重载函数的问题.看看这段代码:

#include<iostream>

void fv(int){}
void fc(const int){}
void fvr(int&){}
void fcr(const int&){}

void fm(void(*fun)(const int))
{
    std::cout << "Constant called" << std::endl;
}

//void fm(void(*fun)(int))
//{
//  std::cout << "non Constant called" << std::endl;
//}

void fm(void(*fun)(const int&))
{
    std::cout << "Constant ref called" << std::endl;
}

void fm(void(*fun)(int&))
{
    std::cout << "non Constant ref called" << std::endl;
}

int main()
{
    fm(&fc);
    fm(&fv);
    fm(&fvr);
    fm(&fcr);
    return 0;
}

如果取消注释void fm(void(*fun)(int))函数,你会发现编译器不能通过函数上的指针静态地重载函数,该函数接受参数值和接受const值的函数上的指针.此外,如果您取消注释void(*fun)(const int)并发表评论,void(*fun)(const int)那么所有编译都是成功的.但是,如果我们使用引用它编译好.不明白为什么,你能解释一下吗？这是否意味着通过值和const值接受参数的函数指针是相同的类型？

UPD: 顶级const不影响函数签名 有一个很好的解释为什么应该删除顶级const.

Answer 1

是的，顶级常量将被删除。来自海湾合作委员会的错误

\n\n

\n

重新定义 \xe2\x80\x98void fm(void (*)(int))\xe2\x80\x99

\n

\n\n

正如你所看到的，const 被删除了。

\n\n

引用自 N3376 8.3.5/5

\n\n

\n

生成参数类型列表后，任何修改参数类型的顶级 cv 限定符都会在形成函数类型时被删除。

\n

\n