Можно ли переопределить виртуальную функцию с помощью чистого спецификатора?

Примечание: я не спрашиваю, разумно ли это делать или это хороший дизайн. Я просто спрашиваю, является ли это четко определенным поведением и соответствуют ли результаты ожидаемым.

Я столкнулся со следующей иерархией классов:

struct A
{
    virtual void foo() = 0;
};

struct B: public A
{
    void foo() override 
    {
        std::cout << "B::foo()\n";
    }
};

struct C: public B
{
    virtual void foo() = 0;
};

struct D: public C
{
    void foo() override
    {
        std::cout << "D::foo()\n";
    }
};

int main()
{
    A* d = new D;
    d->foo(); //outputs "D::foo()"
    // A* c = new C; // doesn't compile as expected
}

Этот код хорошо определен? Можно ли переопределить определение с помощью pure-specifier?