gpt4 book ai didi

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

转载 作者:塔克拉玛干 更新时间:2023-11-03 07:42:20 24 4
gpt4 key购买 nike

我所指的例子:

#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 中被正式禁止)?

最佳答案

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

#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);
}

关于c++ - 如果在 lambda 中,MSVC 不尊重 constexpr,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47269793/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com