c++ - constexpr 函数中的 For 循环无法使用 MSVC 19.23 进行编译

Question

以下代码在 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-

Answer 1

您过度使用了 constexpr 声明。其一，如果 fieldIds 被声明为 constexpr 那么它也是 const，你不能改变它。至于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;
    }
};

作为一个整体的函数仍然可以在常量表达式中求值，但现在对那些可能干扰它们的声明或使用的变量没有额外的要求。