如果lambda中有constexpr,则编译器行为不同

考虑以下代码。如果我的理解 if constexpr 是正确的 else 不应编译分支,因此 z() 不应视为错误。

#include <type_traits>

struct Z{};

template<typename T>
void f(T z) {
  auto lam = [z]() {
    if constexpr(std::is_same<T, Z>::value) {
    } else {
      z();
    }
  };
}

int main() {
  f(Z{});
}

在里面 clang 和 gcc 编制;但对于最新的MSVC来说,情况并非如此。不幸的是,goldbolt的MSVC太旧了,但在我的机器上,完全更新了VS 2017, cl /std:c++17 收益率:

Microsoft (R) C/C++ Optimizing Compiler Version 19.14.26428.1 for x86
Copyright (C) Microsoft Corporation.  All rights reserved.

if_constexpr.cpp
if_constexpr.cpp(10): error C2064: term does not evaluate to a function taking 0 arguments
if_constexpr.cpp(16): note: see reference to function template instantiation 'void f<Z>(T)' being compiled
        with
        [
            T=Z
        ]

如果删除了封闭的lambda,那么代码将在所有三个编译器上编译。

我是做错了还是不受支持,还是只是一个MSVC bug?