Funciones virtuales puras en C++11

La notación = 0 para las funciones virtual no era literalmente "asignar null", sino una notación especial que en realidad es engañosa: también se puede implementar una función virtual pura.

Con varias palabras clave de contexto, tendría más sentido permitir abstract en lugar de = nullptr y tener abstract como palabra clave de contexto.

Así es como se define la gramática, si nos fijamos en la sección draft C++ standard 9.2 Miembros de la clase la gramática relevante es la siguiente:

[...]
member-declarator:
 declarator virt-specifier-seqopt pure-specifieropt
[...]
pure-specifier:
  = 0
  ^^^

La gramática indica específicamente que un puro-especificador es = 0 y no un literal entero o expresión, que no parece dejar ningún margen de maniobra. Si intento cosas como:

virtual void foo() = 0L;

O:

virtual void foo() = NULL ;

gcc me dice:

Error: especificador puro no válido (solo se permite '= 0') antes de'; ' token

Y clang dice:

Error: el inicializador en la función no se parece a un especificador puro

Aunque lo siguiente funciona en ambos:

#define bar 0
//...
virtual void foo() = bar;

También parece Que clang permite octal literal, hexadecmical literal y binario literal cero, lo que es un comportamiento incorrecto.

Update

Aparentemente Visual Studio acepta NULL y cualquier cero entero literal incluyendo 0L, 0x0, 00 etc... Aunque no acepta nullptr.

= 0 tiene un significado fijo allí. No es realmente un cero entero allí. Por lo tanto, no puedes simplemente reemplazarlo así.

El punto completo de nullptr (o la mayor parte del punto de todos modos) es que solo se puede asignar a (o usar para inicializar) punteros.

En este caso, no está inicializando o asignando a un puntero, por lo que ni siquiera tiene sentido que pueda usarlo en esta situación.

La sintaxis = 0 no se usó para inicializar un puntero, sino simplemente para indicar sintácticamente que el virtual proporcionado era puro.

Por lo tanto, la sintaxis = 0 para declarar virtual s puros no cambia.

Eso no significa que sea un puntero, o que tenga que ser igual a nullptr.

= 0 es suficiente y significa que la función virtual debe ser pura.

La gramática de C++11 solo permite 0 aquí (y no significa un puntero). Como nullptr no es 0, falla. NULL solo funciona cuando NULL se define como 0 (a veces es el caso, pero no siempre). Simplemente use 0 aquí, o use following define (si realmente desea usar un null, cuando no es un puntero).

#define VIRTUAL_NULL 0
struct X
{
    virtual void foo() = VIRTUAL_NULL;
};