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

Question

我有一个奇怪的错误，我不太明白，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 的错误之一还是我在这里做错了什么？

Answer 1

你的代码没问题，MSVC拒绝它是错误的。根据documentation :

The type and value category of the conditional expression E1 ? E2 : E3 are determined according to the following rules:
[1-4 Don't apply]
5) Otherwise, the result is a prvalue. If E2 and E3 do not have the same type, and either has (possibly cv-qualified) class type, overload resolution is performed using the built-in candidates below to attempt to convert the operands to built-in types. If the overload resolution fails, the program is ill-formed. Otherwise, the selected conversions are applied and the converted operands are used in place of the original operands for step 6.

上述内置候选项包括一个试图将两个操作数转换为指针的候选项。由于两个 lambda 都有一个空的捕获列表，它们可以转换为 bool(*)() , 所以应该选择这个候选人。 (其他人选都不符合，所以指针一个没有歧义。)

总结:

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

应将两个 lambda 转换为 bool(*)()并产生一个指向函数的指针，该函数在调用时与选定的 lambda 具有相同的效果。这个指针不是悬空的，独立于 lambda 对象的生命周期。 (详情here .)
然后可以将生成的函数指针分配给 std::function .

请注意，两个具有空捕获列表的 lambda 都是至关重要的。如果其中一个 lambda 表达式捕获某些东西，到指针的转换将不再有效，代码将是错误的。

您可能可以通过将一个或两个 lambda 显式转换为 bool(*)() 来帮助您的旧 MSVC或 std::function<bool()> .后者还允许您将 lambda 与非空捕获列表一起使用。 ( Live )

---

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

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

IntelliSense 似乎至少有正确的想法并提示步骤 5) 中描述的重载决议。为什么它找到了太多我不知道的候选人。这是一个错误。