整型模板参数。错误:在常量表达式中使用“this”

我试图在SO中找到一个类似的答案,但没有成功。 问题是,为什么在编译时使用在编译时已知的模板参数值(在编译时已知的类型)被认为是错误?常识告诉我,这个代码可以是正常的。这个案子怎么了? 谢谢!

#include <array>

using Cont = std::array<int, 2>;

class A
{
    Cont a_ = {};

public:
    int& at(bool first)
    {
        static_assert(sizeof(a_) / sizeof(int) == 2); // OK
        static_assert(a_.size() > 1); // error: non-constant condition for static assertion. error: use of 'this' in a constant expression
        return a_[first ? 0 : 1];
    }
};

at compiler explorer

更新 :看起来有点可疑,但可能不是因为下面的问题 link 演讲是关于运行时评估的,但是这里看起来像可以在编译时评估一个_.size()。

更新2 更清晰的例子(考虑答案和评论后)

#include <array>

using Cont = std::array<int, 2>;

// OK
void checkSize(const Cont& b)
{
    static_assert(b.size() == 2);
}

class A
{
    Cont a_ = {};

public:
    constexpr void checkSize() const
    {
        Cont b = {};
        static_assert(b.size() == 2); // OK
        static_assert(sizeof(a_) / sizeof(int) == 2); // OK
        static_assert(a_.size() == 2); // error: non-constant condition for static assertion. error: use of 'this' in a constant expression
    }
};

显示问题所在 这 参与评估 Ay.siz() . 但是为什么在那里需要它,而 阿尔 被编译器称为非虚拟类型和 尺寸() 可以在编译时评估,可能是另一个问题,所以我会检查第一个答案。