static_assert 和英特尔 C++ 编译器

Question

阅读cppreference.com：

静态断言声明可能出现在块范围内（作为块 声明）和在类主体内（作为成员声明）

好的，现在我有以下代码：

struct foo_t
{
    static constexpr std::size_t maxAlignment()
    {
        // This is just a sample; I removed real code from this method.
        return std::max(alignof(__m128), __alignof(__m256));
    }

    static_assert(0 == ((maxAlignment() -1) & maxAlignment()), "some message");
};

MSVC 2015 和 Intel C++ 16.0.2 均未编译此代码（前者显示“错误 C2131：表达式未计算为常量”，后者显示“函数调用必须在常量表达式中具有常量值”错误和点在static_assert 中调用maxAlignment）。

但 MSVC 2015 Update 1 会编译以下代码，而 Intel C++ 16.0.2 不会：

template <typename T, std::size_t Alignment>
struct foo_t
{
    static constexpr std::size_t maxAlignment()
    {
        return std::max(std::alignment_of<T>::value, Alignment);
    }

    static_assert(0 == ((maxAlignment() -1) & maxAlignment()), "some message");
};

foo_t<__m128, 16> foo {};
// foo_t<__m128, 33> boo {};  // here `static_assert` will stop compilation

（因此，当 static_assert 在 template 类主体中时，MSVC 可以处理它）

但是两个编译器都成功编译了以下代码（static_assert 在类主体之外；它出现在块范围内）：

struct foo_t
{
    static constexpr std::size_t maxAlignment()
    {
        return std::max(alignof(__m128), __alignof(__m256));
    }
};

static_assert(0 == ((foo_t::maxAlignment() -1) & foo_t::maxAlignment()), "some message");

我的问题是：我错过了什么还是英特尔 C++ 编译器的错误？

Answer 1

如果我没记错的话，constexpr 函数在完全定义之前不能使用，并且类成员 constexpr 函数在定义类之前是未定义的，这意味着您不能在类中使用 constexpr 成员函数- scope static_assert 定义了这个函数。

但是你可以使这个函数独立（无论如何它已经是静态的）并且它会完成这项工作。它应该到处编译。