没有可以执行此转换的用户定义转换运算符,或者无法调用该运算符

问题描述 投票:0回答:2

我在 VS2013 中遇到了一个我不太明白的奇怪错误。 这只是我的实际问题的简化,导致了同样的错误。

std::function<bool()> x = (someCondition == true)
    ? []() { return true; }
    : []() { return false; };

VS编译错误是:

1>f:\test\cppconsoleapplication\cppconsoleapplication.cpp(497): error C2446: ':' : no conversion from 'main::<lambda_96d01fe3721e46e4e8217a69a07d151b>' to 'main::<lambda_0d38919a9b2aba5caf910d83eac11776>'
1>          No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called

IntelliSense 甚至提出了这个神秘的错误消息:

IntelliSense: more than one operator "?" matches these operands:
        built-in operator "expression ? pointer : pointer"
        built-in operator "expression ? pointer : pointer"
        built-in operator "expression ? pointer : pointer"
        built-in operator "expression ? pointer : pointer"
        operand types are: lambda []bool ()->bool : lambda []bool ()->bool  f:\Test\CppConsoleApplication\CppConsoleApplication.cpp 496

而以下编译

std::function<bool()> x = []() { return true; };

if (someCondition == false)
    x = []() { return false; };

这只是 VisualStudio 的错误之一还是我在这里做错了什么?

c++ lambda conditional-operator std-function
2个回答
6
投票

你的代码没问题,MSVC 拒绝它是错误的。根据文档

条件表达式E1的类型和值类别? E2 : E3 根据以下规则确定:
[1-4 不适用]
5) 否则,结果是纯右值。 如果 E2 和 E3 没有相同的类型,并且其中一个具有(可能是 cv 限定的)类类型,则使用下面的内置候选执行重载决策,以尝试将操作数转换为内置类型。 如果重载决策失败,程序格式错误。否则,将应用选定的转换,并使用转换后的操作数代替步骤 6 中的原始操作数。

上述内置候选者包括尝试将两个操作数转换为指针的候选者。由于两个 lambda 都有一个空的捕获列表,因此它们都可以转换为

bool(*)()
,因此应该选择这个候选者。 (其他候选者不适合,因此指针之一没有歧义。)

总结一下:

(someCondition == true)
    ? []() { return true; }
    : []() { return false; };

应将两个 lambda 转换为

bool(*)()
并生成一个函数指针,该函数在调用时具有与所选 lambda 相同的效果。该指针不是悬空的,独立于 lambda 对象的生命周期。 (详情这里。)
然后可以将生成的函数指针分配给
std::function

请注意,两个具有空捕获列表的 lambda 至关重要。如果其中一个 lambda 捕获了某些内容,则到指针的转换将不再起作用,并且代码将格式错误。

您可以通过将一个或两个 lambda 显式转换为

bool(*)()
std::function<bool()>
来帮助您的旧 MSVC。后者还允许您使用具有非空捕获列表的 lambda。 (直播


解释 IDE 为您提供的诊断信息:

编译器错误似乎源于我链接的列表中的步骤 3):它尝试将一个操作数转换为另一个操作数的类型,但失败了。

IntelliSense 似乎至少有正确的想法,并抱怨步骤 5) 中描述的重载解析。我不知道为什么它会找到太多候选人。这是一个错误。


0
投票

我刚刚对 Visual Studio 22 的类似问题感到困惑。

auto foo = (true) ? [=](){} : [=](){};

捕获列表中的任何内容都会导致错误发生(两个 lambda 中相同)。

显式输入 foo 没有什么区别,正如预期的那样,因为错误显然是在两个函数类型之间,大概是第二个表达式与第一个函数类型的类型之间的错误。但它们是相同的。

Error   C2446   ':': no conversion from 'main::<lambda_40859dd43d02fece30d1c6edf01f6746>' to 'main::<lambda_481cf129a4273d2102195e234d13c782>'  sendosc C:\projects\sendosc\sendosc.cpp 68

所以看起来每个都给出了一个哈希值,我想知道这是否导致了错误?

这是一个非常典型的函数编程,所以是最烦人的。

我不想转换为指针,因为这违背了 lambda 的要点。我只是将值传递给函数(使用 std::function 使其正常工作)。

有解决办法吗?这似乎是一个编译错误,甚至是规范错误。

© www.soinside.com 2019 - 2024. All rights reserved.