c++ - Lamba 依赖模板依赖值作为该模板构造函数的默认值在 MSVC 上失败

Question

我刚刚升级了我的 msvc，遇到了麻烦。

这是在我的旧代码中重现问题的最小完整可验证示例:

#include <functional>

#define VERSION 1

template<typename T>
class Foo
{
public:
    static constexpr int bar = 512;

#if VERSION == 1
    Foo(std::function<int()> f = []() { return Foo<T>::bar;})
#elif VERSION == 2
    Foo(std::function<int()> f = []() { return Foo::bar;})
#elif VERSION == 3
    Foo(std::function<int()> f = []() { return bar;})
#elif VERSION == 4
    Foo(std::function<int()> f = [bar = Foo<T>::bar]() { return bar;})
#endif
        : m_f{std::move(f)}
    {}

public:
    std::function<int()> m_f;
};


void use()
{
    Foo<int> foo;
}

Live demo

当 VERSION定义为 1这类似于我的原始代码。 我还必须支持 clang 和 gcc。 Curretly 我的项目正在使用 C++17 标准(我的项目可能在明年或两年内使用 C++20)。

我正在寻找一些不需要讨厌的解决方法 #if并涵盖所有编译器(旧新 msvc gcc clang )。

VERSION的其他值展示我到目前为止所做的尝试(总是有些编译器失败)。

<表类="s-表"> <头> 版本 哪些编译器失败了 <正文> 1 MSVC 19.28 2 msvc 19.28，msvc 19.27，msvc 19.25 3 msvc所有版本 4 clang 11.0

如果有人知道 MSVC 链接的相应错误报告也很好。

最简单的解决方法是将常量移动到全局范围，但我更愿意避免这种情况。

Answer 1

静态函数完成工作:

static std::function<int()> defaultF() {return []() { return bar;};}

Foo(std::function<int()> f = defaultF())
    : m_f{std::move(f)}
{}

Demo