c++ - 如果在 lambda 中，MSVC 不尊重 constexpr

Question

我所指的例子:

#include <type_traits>

void voidFunction() {}

template <typename Function>
void lambdaTest(Function func) {
    [func]() -> void {
        int someInt;
        if constexpr (std::is_same_v<std::invoke_result_t<Function>, int>) {
            someInt = std::invoke(func);
        } else {
            std::invoke(func);
        }
    };
}

int main(int argc, char** argv) {
    lambdaTest(&voidFunction);
    return 0;
}

这在 gcc 7.2 中编译。但是，使用 MSVC 19.11.25547 时出现此错误:
错误 C2440:“=”:无法从“void”转换为“int”

这段代码在两个编译器上都能正常编译:

#include <type_traits>

void voidFunction() {}

template <typename Function>
void nonLambdaTest(Function func) {
    int someInt;
    if constexpr (std::is_same_v<std::invoke_result_t<Function>, int>) {
        someInt = std::invoke(func);
    } else {
        std::invoke(func);
    }
}

int main(int argc, char** argv) {
    nonLambdaTest(&voidFunction);
    return 0;
}

在我看来，MSVC 只是忽略了 constexpr if。这是 MSVC 中的错误，还是 constexpr(如果在 lambda 中被正式禁止)？

Answer 1

我稍微简化了这个例子(或者至少让它更明显):

#include <type_traits>
#include <utility>

template<typename TPointerToFunction>
void lambdaTest(TPointerToFunction)
{
    []() -> void // comment this line to make it work
    {
        constexpr const bool returns_int
        {
            std::is_same_v
            <
                int
            ,   decltype(::std::declval<TPointerToFunction>()())
            >
        };
        static_assert(!returns_int);
        if constexpr(returns_int)
        {
            static_assert(returns_int, "how did we get here?");
        }
    };
}

void voidFunction(void) {}

int
main()
{
    lambdaTest(&voidFunction);
    return(0);
}