使用 Visual Studio 2017 的编译器在 C++17 中使用 lambda 编译 Kevlin Henney 的 Fizzbuzz

Question

我在 Lambdas 上关注 Kevlin Henney's Youtube video 进行编程。在大约 20:30 - 20:40 在他的视频中，他给出了这个代码 sn-p：

string fizzbuzz(int n)
{
    auto fizz = [=](function<string(string)> f)
    {
        return n % 3 == 0 ? [=](auto) {return "Fizz" + f("");} : f;
    };
    auto buzz = [=](function<string(string)> f)
    {
        return n % 5 == 0 ? [=](auto) {return "Buzz" + f("");} : f;
    };
    auto id = [](auto s) { return s; };
    return fizz(buzz(id))(to_string(n));
}

这是我在 IDE 中的实际代码：

#include <functional>
#include <iostream>
#include <string>

std::string fizzbuzz(int n) {
    auto fizz = [=](std::function<std::string(std::string)> f) {
        return n % 3 == 0 ? [=](auto) { return "Fizz" + f(""); } : f;
    };
    auto buzz = [=](std::function<std::string(std::string)> f) {
        return n % 5 == 0 ? [=](auto) { return "Buzz" + f(""); } : f;
    };
    auto id = [](auto s) { return s; };
    return fizz(buzz(id))(std::to_string(n));
}

int main() {
    for (int i = 1; i <= 100; i++)
        std::cout << fizzbuzz(i) << '\n';
    return 0;
}

但是，当我尝试编译此 Visual Studio 时，会生成以下编译器错误：

1>------ Build started: Project: Data Structure Samples, Configuration: Debug x64 ------
1>main.cpp
1>c:\...\main.cpp(62): error C2445: result type of conditional expression is ambiguous: types 'fizzbuzz::<lambda_9027e592dd51e6f4c5342b61ff8c23f0>::()::<lambda_2463463a8046fa170a40e78d59e9f461>' and 'std::function<std::string (std::string)>' can be converted to multiple common types
1>c:\...\main.cpp(62): note: could be 'fizzbuzz::<lambda_9027e592dd51e6f4c5342b61ff8c23f0>::()::<lambda_2463463a8046fa170a40e78d59e9f461>'
1>c:\...\main.cpp(62): note: or       'std::function<std::string (std::string)>'
1>c:\...\main.cpp(65): error C2445: result type of conditional expression is ambiguous: types 'fizzbuzz::<lambda_c18a2fee5ba13240be9b86f815911a7c>::()::<lambda_2774da13f447e3dfb583778d4ea6d5bd>' and 'std::function<std::string (std::string)>' can be converted to multiple common types
1>c:\...\main.cpp(65): note: could be 'fizzbuzz::<lambda_c18a2fee5ba13240be9b86f815911a7c>::()::<lambda_2774da13f447e3dfb583778d4ea6d5bd>'
1>c:\...\main.cpp(65): note: or       'std::function<std::string (std::string)>'
1>c:\...\main.cpp(68): error C2664: 'void fizzbuzz::<lambda_9027e592dd51e6f4c5342b61ff8c23f0>::operator ()(std::function<std::string (std::string)>) const': cannot convert argument 1 from 'void' to 'std::function<std::string (std::string)>'
1>c:\...\main.cpp(68): note: Expressions of type void cannot be converted to other types
1>Done building project "Data Structure Samples.vcxproj" -- FAILED.
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

当我对照 CompilerExplorer 进行检查时发现 here，此代码可使用所有三个主要编译器编译：GCC、Clang 和 MSVC...

我知道 C++17 支持lambdas 和std::function<T>，但是这种类型的实现或用法是否特定于较新版本的编译器？意思是这种技术或用法仅适用于 C++20 及更高版本吗？如果是这样，可以对这段代码 sn-p 做什么，以便它可以在 Visual Studio 2017 下使用提供相同语义和行为的 C++17 进行编译？

---

编辑

以下是我的编译器关于 C/C++ 语言部分的所有命令行设置：

/JMC /permissive- /GS /W3 /Zc:wchar_t /Qspectre /ZI /Gm- /Od /sdl /Fd"x64\Debug\vc141.pdb" /Zc:inline /fp:precise /D "_DEBUG" /D "_CONSOLE" /D "_UNICODE" /D "UNICODE" /errorReport:prompt /WX- /Zc:forScope /RTC1 /Gd /MDd /std:c++latest /FC /Fa"x64\Debug\" /EHsc /nologo /Fo"x64\Debug\" /Fp"x64\Debug\Data Structure Samples.pch" /diagnostics:classic

Answer 1

这是一个错误；如果b 可以转换为c 类型的右值，则a?b:c 是合法的，反之亦然（除其他规则外）。

修复：

auto fizz = [=](std::function<std::string(std::string)> f) {
    if(n%3 == 0)
      f = [=](auto) { return "Fizz" + f(""); };
    return f;
};
auto buzz = [=](std::function<std::string(std::string)> f) {
    if(n % 5 == 0)
      f = [=](auto) { return "Buzz" + f(""); };
    return f;
};

应该可以的。

Answer 2

当存在/permissive- 标志时，MSVC 似乎在处理三元语句的推导方面存在问题。 /permissive- 标志应该强制 MSVC 使用 strict standards conformance 编译，但具有讽刺意味的是，这似乎破坏了 should be valid code。

这可以在 Compiler Explorer 上轻松复制：Live Example。这似乎在具有 v19.25 及更高版本的较新 MSVC 版本中得到修复 Live Example

---

不幸的是，由于这是一个编译器错误，因此几乎没有解决此问题的方法。 您仅限于：

• 更新编译器，
• 删除/permissive-，或
• 不使用返回不同类型的三元语句（例如，使用具有不同返回的if/else）