c++ - 如何解决不明确的重载函数调用？

Question

当我用 gcc-4.6.3 或 gcc-4.7.2 编译这个程序时，编译器给我一个关于重载调用不明确的错误:

#include <iostream>
#include <functional>

class Scott
{
    public:
        void func(const bool b = true)
        {
            std::cout << "Called func() with a boolean arg" << std::endl;
        }

        void func(std::function<void(void)> f)
#ifdef WITH_CONST
            const
#endif
        {
            std::cout << "Called func() with a std::function arg" << std::endl;
        }
};


int main (int argc, char *argv[])
{
    Scott s;
    s.func([] (void) { });
}

但是，如果我将重载函数设为 const，它会正常编译并调用我没有预料到的方法!

devaus120>> g++ -Wall -std=c++11 -DWITH_CONST wtf.cxx
devaus120>> ./a.out
Called func() with a boolean arg

所以，我有两个问题:

1. 当重载方法被设置为 const 时，这会编译编译器错误吗？
2. 如何确保调用正确的重载函数？ (需要以某种方式提出论点吗？)

TIA。

斯科特。 :)

Answer 1

其实gcc是对的!因为 lambda 不是一个函数，而是一个类类型的闭包对象!真的!您甚至可以从它继承 :) ...甚至多次从不同的 lambdas...

因此，根据 8.5/16:

---

[...]

— 如果目标类型是(可能是 cv 限定的)类类型:

[...]

— 否则，如果源类型是(可能是 cv 限定的)类类型，则考虑转换函数。列举了适用的转换函数(13.3.1.5)，并通过重载决议(13.3)选择了最好的一个。如此选择的用户定义转换被调用以将初始化表达式转换为被初始化的对象。如果转换无法完成或不明确，则初始化格式错误。

---

和 13.3.1.5:

---

在 8.5 规定的条件下，作为非类类型对象初始化的一部分，可以调用转换函数将类类型的初始化表达式转换为被初始化对象的类型。重载决议用于选择要调用的转换函数。假设“cv1 T”是被初始化对象的类型，“cv S”是初始化表达式的类型，S是类类型，候选函数选择如下:

-- 考虑了 S 及其基类的转换函数。 那些未隐藏在 S 中且产生类型 T 或可以通过标准转换序列(13.3.3.1.1)转换为类型 T 的类型的非显式转换函数是候选函数。对于直接初始化，那些没有隐藏在 S 中并产生类型 T 或可以通过限定转换(4.4)转换为类型 T 的类型的显式转换函数也是候选函数。对于这个选择候选函数的过程，返回 cv 限定类型的转换函数被认为会产生该类型的 cv 非限定版本。返回“对 cv2 X 的引用”的转换函数返回左值或 x 值，具体取决于引用的类型，类型为“cv2 X”，因此在选择候选函数的过程中被认为产生 X。

---

最后，转换函数的结果是一个函数指针，它会隐式转换为 bool ...

您可以使用以下简单代码查看这一系列的转换:

#include <iostream>
#include <iomanip>

int main()
{
    std::cout << std::boolalpha << []{ return 0; } << '\n';
}

输出将是true ...

这里有几种解决方法...您肯定需要一些方法，因为这两个函数在重载解析后都适用。顺便说一句，添加const , 到第二个的签名，只是排除它，因为你有一个 Scott 的可变实例如果使用 const 声明它，您将再次遇到编译错误修饰符。

所以，你可以这样做:

• 显式转换(如评论中所述)...是的，输入时间很长...
• 用模板参数声明第二个 foo Func .根据您接下来要做什么，这里有几个选项:它可以转换为 std::function在分配时(如果你想将它存储给某个成员)，或者在立即调用的情况下你甚至会得到一些优化(通过消除转换为 std::function )
• 更复杂的方法是用模板参数声明两个函数并使用std::enable_if根据 std::is_same<bool, T> 关闭其中一个 OFF例如(或检查可调用/函数类型)
• 使用类型调度(是的，再次使用模板函数)

...我想这就足够了:)