c++ - if constexpr inside lambda, 不同的编译器行为

Question

考虑以下代码。如果我对 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 错误？

Answer 1

这是一个 MSVC 错误。请提交错误报告。

规则，来自[stmt.if]/2 , 是:

During the instantiation of an enclosing templated entity, if the condition is not value-dependent after its instantiation, the discarded substatement (if any) is not instantiated.

在 f<Z> 的实例化过程中，当我们实例化我们得到的条件时 true .这不是值依赖的，所以 discard 子语句(我们做 z() 的那个)没有被实例化。这只是 z() 的实例化导致错误 - 它不应该发生。