使用 auto 添加 const 的 std::function 参数类型的类型推导

Question

我有一个带有const超载的方法的结构，该结构称为call。一个也是唯一的参数是std :: function，它可以根据过载来进行int引用或const int引用。

genericCall方法可以做完全相同的事情，但使用模板参数而不是std :: function作为类型。

struct SomeStruct {
    int someMember = 666;

    void call(std::function<void(int&)> f) & {
        f(someMember);
        std::cout << "call: non const\n";
    }

    void call(std::function<void(const int&)> f) const& {
        f(someMember);
        std::cout << "call: const\n";
    }


    template <typename Functor>
    void genericCall(Functor f) & {
        f(someMember);
        std::cout << "genericCall: non const\n";
    }

    template <typename Functor>
    void genericCall(Functor f) const& {
        f(someMember);
        std::cout << "genericCall: const\n";
    }
};

现在，当我使用lambda和auto＆amp;作为参数创建此结构并调用调用时尽管对象不是const，但const int＆amp; 。

另一方面，genericCall将参数正确推论为lamdba内部的int＆amp;。

SomeStruct some;
some.call([](auto& i) {
    i++;  // ?? why does auto deduce it as const int & ??
});
some.genericCall([](auto& i) {
    i++;  // auto deduces it correctly as int &
});

我没有任何线索，为什么auto在这两种情况下的行为有所不同，或者为什么std :: function似乎更喜欢在此处进行参数const。尽管调用了正确的方法，但这会导致编译错误。当我将参数从auto＆amp;/code>更改为int＆amp;时，一切都很好。

some.call([](int& i) {
    i++; 
});

当我使用结构的const版本进行相同的调用时，所有内容都是按预期推导的。 call和genericCall在此处推论const int＆amp;在此处。

const SomeStruct constSome;
constSome.call([](auto& i) {
    // auto deduces correctly const int & and therefore it should
    // not compile
    i++;
});
constSome.genericCall([](auto& i) {
    // auto deduces correctly const int & and therefore it should
    // not compile
    i++;
});

如果有人能对此发光，我将非常感谢！

对于想深入深入研究的更好奇的人，这个问题出现在拉动请求中： https ：//github.com/eclipse-eceoryx/iceoryx/pull/1324 在实现预期实现的功能接口时。

Answer 1

问题在于，尝试确定您的 lambda 是否可调用是一个很难的错误 与 const int & 返回 void，这是确定是否可以构造一个std::function。

您需要实例化 lambda 主体以确定返回类型。这并不在替换模板参数的直接上下文中，所以它不是 SFINAE。

这是实例化特征的等效错误。

正如 @aschepler 在评论中指出的，指定返回类型无需实例化你的 lambda 的主体。

Answer 2

问题在于通用 lambda（auto param）相当于一个可调用对象，其 operator() 是模板化的。这意味着 lambda 参数的实际类型不包含在 lambda 中，并且仅在调用 lambda 时推导。

然而，在您的情况下，通过使用特定的 std::function 参数，您可以在调用 lambda 之前强制转换为具体类型，因此无法从任何内容推断出 auto 类型。非模板上下文中没有 SFINAE。

如果没有特定的参数类型，您的两个调用都是有效的重载。实际上，任何可以匹配 [](auto&) 的 std::function 都是有效的。现在唯一的规则可能是最符合简历资格的超载获胜。您可以尝试使用易失性浮点&，您会看到它仍然会选择它。一旦选择此重载，尝试调用时编译将失败。