编译期new，constexpr虚函数，C++

标准：C++20

环境：VSCode g++13.2

C++20新特性，constexpr虚函数，编译期new表达式，可以在编译期实现多态。

示例代码：

// 这段仅仅示例编译期new。
struct A{
    constexpr A(){
        p = new int(6);
    }
    constexpr ~A(){
        delete p;
    }
    constexpr auto get() const {
        return *p;
    }
private:
    int* p;
};

constexpr auto fn(){
    A* a = new A;
    auto b = a->get();
    delete a;
    return b;
}

int main(){

   constexpr auto m = fn();

}

m此时的结果在编译期即可得到。编译期new要求，new和delete必须在同一个域中。

示例代码2：

struct A{
    constexpr A(){
        p = new int(6);
    }
    constexpr virtual ~A(){
        delete p;
    }
    constexpr virtual int get() const {
        return *p;
    }
private:
    int* p;
};

struct B : A{
    constexpr B(){s = new int(8);}

    constexpr virtual int get()const{
        return *s;
    }

    constexpr virtual ~B(){
        delete s;
    }

private:
    int* s;
};

constexpr int fn(){
    A* a = new B;
    auto b = a->get();
    delete a;
    return b;
}

int main(){

   constexpr int m = fn();

}

m此时获得编译期结果8。