constexpr 函数中的 for 循环无法使用 MSVC 19.23 进行编译

For loop in constexpr function fails to compile with MSVC 19.23

本文关键字：MSVC 编译 函数 for 循环 constexpr      更新时间：2023-10-16

以下代码在 Clang 和 GCC 中编译，但在 MSVC 中失败。

template <typename... FieldsSequence>
struct S {
static constexpr bool checkIdUniqueness()
{
using IdType = int;
constexpr IdType fieldIds[sizeof...(FieldsSequence)]{ 0 };
for (size_t i = 0; i < std::size(fieldIds) - 1; ++i)
{
if (fieldIds[i] > fieldIds[i + 1])
{
constexpr auto tmp = fieldIds[i];
fieldIds[i] = fieldIds[i + 1];
fieldIds[i + 1] = tmp;
}
}
return true;
}
};

错误消息是：

expression did not evaluate to a constant
note: failure was caused by a read of a variable outside its lifetime
note: see usage of 'i'

有没有办法让这三个编译器都工作？最终，我需要对数组进行气泡排序，以便在编译时断言所有值都是唯一的。

https://godbolt.org/z/9XbP6-

你过度使用了constexpr声明。首先，如果fieldIds被声明为constexpr那么它也是常量，你不能改变它。至于tmp，因为它被声明constexpr初始值设定项必须是一个常量表达式，但它实际上不能是一个。

正确的方法是从这些声明中删除constexpr：

template <typename... FieldsSequence>
struct S {
static constexpr bool checkIdUniqueness()
{
using IdType = int;
IdType fieldIds[sizeof...(FieldsSequence)]{ 0 };
for (size_t i = 0; i < std::size(fieldIds) - 1; ++i)
{
if (fieldIds[i] > fieldIds[i + 1])
{
auto tmp = fieldIds[i];
fieldIds[i] = fieldIds[i + 1];
fieldIds[i + 1] = tmp;
}
}
return true;
}
};

整个函数仍然可以在常量表达式中计算，但现在对这些变量没有额外的要求，可能会干扰它们的声明或使用。

相关文章：