Възможно ли е да се декларира виртуална статична постоянна стойност в C++ клас?

Метод static не може да бъде virtual и никакви членове на данни не могат да бъдат virtual.

Но можете да скриете static полета в производни класове и да използвате virtual метод, за да ги върнете.

class A
{
public:
    static const int ID = 0;
    virtual int getID() { return A::ID; }
};
class B : A
{
public:
    static const int ID = 1;
    virtual int getID() { return B::ID; }
};

алтернатива:

class A
{
public:
    A(int id = 0) : ID(id) {}
    const int ID;
    getID() { return ID; }
};
class B : public A
{
public:
    B() : A(1) {}
};

Наистина би било много полезно да има виртуални статични членове в C++. Те могат лесно да бъдат добавени към езика, не са необходими нови ключови думи. Следният код например назовава типове фигури за графична библиотека:

class Shape {
public:
    static constinit virtual std::string name = delete;
    static constexpr virtual bool closed = delete;
    ...
};

class Circle : public Shape {
public:
    static constinit std::string name override { "circle" };
    static constexpr bool close override { true };
    ...
};

class Line : public Shape {
public:
    static constinit std::string name override { "line" };
    static constexpr bool close override { false };
    ...
};

Това декларира Shape като абстрактен базов клас, тъй като конструкцията на Shape::name и Shape::closed изрично се пропуска чрез = delete.

Пространството за виртуални статични членове може да бъде разпределено в същата VTable, която вече се използва за извиквания на виртуални функции. Ако всички виртуални статични членове са constinit (ново с C++20) или constexpr, тогава VTable може да бъде записана в памет само за четене, където повечето компилатори също я записват в момента. Ако не, тогава VTable трябва да се постави в памет за четене и запис.

По принцип не е необходимо виртуалните статични членове да са const, те също могат да бъдат четене-запис.

Виртуалните статични членове могат да бъдат достъпни с името на класа като префикс (където те ще се държат като нормални статични членове) или чрез обект, където указателят на VTable на обекта ще се използва за достъп до правилната VTable.

Докато не са в стандарта, те могат да бъдат емулирани с помощта на виртуални функции, които връщат препратка към локална статична променлива:

virtual const std::string& get_name() const {
    static const std::string name { "circle" };
    return name;
}

В случай, че производен клас не отменя статичния член (съответно виртуалната функция за получаване), семантиката между реалните виртуални статични членове и емулираните виртуални статични членове е малко по-различна: Истинският виртуален статичен член между родителския и дъщерния клас всъщност ще се отнася до различни екземпляри на този обект, като конструкторът се извиква за родителя и всяко дете, което не отменя виртуалния статичен член. Но емулираната функция за получаване винаги ще върне препратка към точно същия обект. При виртуални статични членове само за четене това не би трябвало да има значение (освен ако конструкторът действително не инициализира всеки екземпляр по различен начин), но при виртуални статични членове за четене и запис актуализирането им би имало значение.