¿Qué significa esta sintaxis de C++ y por qué funciona?

Question

Estaba buscando a través de la fuente de OpenDE y me encontré con algún uso de sintaxis extraña del operador de indexación de matriz '[]' en una clase. Aquí está un ejemplo simplificado para mostrar la sintaxis:

#include <iostream> 

class Point 
{ 
public: 
    Point() : x(2.8), y(4.2), z(9.5) {} 

    operator const float *() const 
    { 
     return &x; 
    } 

private: 
    float x, y, z; 
}; 

int main() 
{ 
    Point p; 
    std::cout << "x: " << p[0] << '\n' 
       << "y: " << p[1] << '\n' 
       << "z: " << p[2]; 
} 

Salida:

x: 2.8 
y: 4.2 
z: 9.5 

¿Qué está pasando aquí? ¿Por qué funciona esta sintaxis? La clase Point no contiene operator [] sobrecargado y aquí este código intenta hacer una conversión automática para flotar en alguna parte.

Nunca antes había visto este tipo de uso: definitivamente parece inusual y sorprendente por decir lo menos.

Gracias

Answer 1

p está siendo convierten implícitamente en un const float* const, que apunta a x. Por lo tanto, *p es x, *(p+1) es y, y así sucesivamente. Es una idea bastante extraña (¡y confusa!) Hacerlo de esta manera, por supuesto. Por lo general, es preferible almacenar x, y y z en una matriz y tener una función para obtener la matriz completa si realmente quieren hacer las cosas de esta manera.

Answer 2

Esta es solo una forma de tratar los datos de sus miembros como una matriz. También puedes hacer esto con structs. Esto es útil cuando desea legibilidad, pero desea poder iterar sobre estructuras de datos simples. Un ejemplo de uso sería declarar una matriz de esta manera:

typedef struct { 
    CGFloat m11,m12,m13,m14; 
    CGFloat m21,m22,m23,m24; 
    CGFloat m31,m32,m33,m34; 
    CGFloat m41,m42,m43,m44; 
} CATransform3D; 

Es práctica para hacer referencia a cada celda por su nombre, sin embargo, también puede pasar alrededor de un puntero a M11 en todas partes (y C verá su estructura como una matriz, m11 es el primer elemento) e iterar sobre todos los elementos.

Answer 3

La idea aquí es dar acceso a los miembros del Punto por subíndice o nombre. Si quieres hacer eso, sin embargo, que sería mejor de sobrecarga operator[] algo como esto:

struct Point { 
    float x, y, z; 

    float &operator[](size_t subscript) { 
     switch(subscript) { 
      case 0: return x; 
      case 1: return y; 
      case 2: return z; 
      default: throw std::range_error("bad subscript"); 
     } 
    } 
}; 

De esta manera, si el compilador inserta relleno entre los flotadores, seguirá siendo el trabajo - y cualquiera que pueda leer C++ debería ser capaz de entenderlo sin ningún problema.