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拒绝它是错误的。根据{{3}}：

条件表达式E1的类型和值类别？ E2：E3根据以下规则确定：
  [1-4不要申请]
  5）否则，结果是prvalue。如果E2和E3没有相同的类型，并且具有（可能是cv限定的）类类型，则使用下面的内置候选项执行重载决策，以尝试将操作数转换为内置类型。 / strong>如果重载决策失败，则程序格式错误。否则，将应用选定的转换，并使用转换的操作数代替步骤6的原始操作数。

上述内置候选者包括试图将两个操作数转换为指针的候选者。由于两个lambdas都有一个空的捕获列表，它们可以转换为bool(*)()，因此应该选择这个候选者。（其他候选人不合适，所以指针一个不模糊。）

总结：

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

应该将两个lambda都转换为bool(*)()并生成一个指向函数的指针，该函数在被调用时具有与所选lambda相同的效果。该指针不是悬空的，与lambda对象的生命周期无关。（详情documentation。）
然后可以将生成的函数指针分配给std::function。

请注意，具有空捕获列表的两个lambda都至关重要。如果其中一个lambdas会捕获某些东西，那么转换为指针将不再起作用，并且代码将是错误的。

您可以通过将一个或两个lambda明确地转换为bool(*)()或std::function<bool()>来帮助您的旧MSVC。后者还允许您将lambdas与非空捕获列表一起使用。（here）

解释IDE为您提供的诊断：

编译器错误似乎来自我链接的列表中的步骤3）：它尝试将一个操作数转换为另一个操作数的类型并失败。

IntelliSense似乎至少有正确的想法，并抱怨过载解决方案，如步骤5中所述。为什么会发现太多候选人我不知道。这是一个错误。

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

1 个答案: