这个指针总是运行时构造吗

Question

我正在学习此 C ++中的指针。然后我遇到以下“ noreferrer”> stragent 来自标准：

表达式e是核心常数表达式>

• 此，除了constexpr函数或constexpr构造函数以e;
的一部分进行评估。

---

我不了解上述语句的含义。我认为此指针是运行时构建，因此不能在编译时上下文中使用。但是上述陈述似乎在上述情况下暗示了其他方式。 我的第一个问题是这是什么意思。有人可以举个例子，以便我可以理解该陈述的含义。

---

我试图创建一个示例以更好地理解我自己的陈述含义，但该程序无效正如预期的那样（这意味着在我认为应该根据引用的语句工作时会出现错误）：

struct Person 
{
    constexpr int size()
    {
      return 4;
    }
    void func()
    {
            int arr[this->size()]; //here size is a constexpr member function and so "this" should be a core constant expression and arr should not be VLA
    }
    
};

demo

在上面的程序中，我认为我们可以使用expression this-＆gt; size（）作为数组的大小（必须是编译时间常数），因为> size是 constexpr ，因此引用的语句适用，因此该程序应编译。另外，由于size是 constexpr arr不应是VLA。但是令我惊讶的是，arr似乎是VLA，并且该程序也没有在MSVC中编译（因为我认为MSVC没有VLA）。因此，我的第二个问题是为什么不适用上述示例中的引用语句，为什么arr vla？我的意思是size是constexpr，所以arr不应该是VLA。

Answer 1

在核心常数表达式中使用此的唯一方法是调用构造函数（并在构造函数中使用）或在现有对象上调用成员函数。

此在constexpr函数或constexpr constructor 中，该<> 正在评估为e; ; ;

此除constexpr函数或constexpr ）

在您尝试时，常数表达式应为this-＆gt; size（），但是person :: func（函数此出现在）未作为该表达的一部分进行评估。

这允许的简单示例：

struct S {
    int i = 0;
    constexpr S(int x) {
        this->i = x;
    }
    constexpr int get_i() const {
        return this->i;
    }
};

// `this` used in constructor
constexpr S s{7};
// `this` used in `S::get_i`
static_assert(s.get_i() == 7);
static_assert(S{4}.get_i() == 4);

演示： https://godbolt.org.org/z/hea8cvcxw