¿C++ 0x permite decltype() en la firma de la función?

Question

Esta pregunta obviamente asume que no queremos usar plantillas para este tipo (por las razones que sean).

class Product 
{ 
public: 
    Product(decltype(mPrice) price_, decltype(mLabel) label_) // 1. 
     : mPrice(price_), mLabel(label_) 
    {} 

    decltype(mPrice) price() const {return mPrice;} // 2. 
    decltype(mLabel) label() const {return mLabel;} // 2. 


private: 

    float mPrice ; // type might later be changed to more acurate floating point abstraction 
    std::string mLabel; // type might later be changed by a special localization-oriented string 
}; 

La pregunta es: se 1. y 2. permitido y posible (o incluso específicamente definido) en C++ 0x?

Answer 1

Todo lo que tiene que hacer es declarar mPrice y mLabelantes utiliza decltype:

class Product 
{ 
private: 
    float mPrice ; 
    std::string mLabel; 
public: 
    Product(decltype(mPrice) price_, decltype(mLabel) label_) // 1. 
     : mPrice(price_), mLabel(label_) 
    {} 

    decltype(mPrice) price() const {return mPrice;} // 2. 
    decltype(mLabel) label() const {return mLabel;} // 2. 
}; 

Este compila bien bajo g ++ 4.4 con -std = C++ 0x.

Editar El punto es que el compilador tiene que ser capaz de analizar las declaraciones de funciones en la primera pasada. El cuerpo de una función miembro se puede compilar después de analizar las declaraciones de los miembros, pero las declaraciones de los miembros deben ser inmediatamente inteligibles; de lo contrario, ¿dónde comienza el compilador deficiente?

Por lo tanto, el tipo de cada argumento de función miembro debe conocerse tan pronto como se encuentre.

Answer 2

Sí, pero con una sintaxis diferente:

auto price() -> decltype(mPrice) { return mPrice; } 
auto price() -> decltype(mPrice) { return mPrice; } 

más general:

auto function(...) -> decltype(EXPRESSION) ... 

function tipo de retorno será el tipo de EXPRESSION

---

EDITAR

sobre el caso 1 No estoy seguro. No creo que sea válido, ya que no creo que mPrice sea una expresión válida en dicho contexto: está utilizando un miembro de función no estática (Product::mPrime) sin un objeto.

Supongo que si mPrime fuera un miembro estático, funcionaría.

Answer 3

AFAIK esto es no legal ya que las variables de instancia no están en el alcance en los puntos que las usa.

Considere qué pasaría si tuviera las siguientes variables declaradas antes de su clase:

int mPrice; 
char mLabel; 
class Product 
{ /*...*/ }; 

En el decleration función mPrice uniría a la variable global más que el miembro de instancia.

Ambos g ++ 4.5 y VS10 se niegan a compilar su código ya que mPrice y mLabel están fuera del alcance.

Sin embargo, esto parece ser inconsistente con los parámetros predeterminados.

int mPrice = 3; 
class Product 
{ // ... 
    int foo(int i = mPrice) { return i; } 
}; 

Product p(5.3, "hi"); 
std::cout << p.foo(); 

Esto me da un error de compilación:

invalid use of non-static data member 'Product::mPrice'

Answer 4

VC++ 2010 compila este w/o errores:

 

class Product 
{ 
private: 

    float mPrice ; 
    std::string mLabel; 
public: 
    Product(decltype(mPrice) price_, decltype(mLabel) label_) 
     : mPrice(price_), mLabel(label_){} 

    auto price(decltype(mPrice)* p=NULL) const -> decltype(mPrice) {return mPrice;} 

    auto label(decltype(mPrice)* m=NULL) const -> decltype(mLabel) {return mLabel;} 

}; 

pero si quito los parámetros por defecto de los métodos ficticias declaraciones, vuelve a aparecer el error. decltype en return type funciona solo si también aparece en algún parámetro de función (???)

(Disculpe, entiendo que debería ser un comentario, pero parece interesante y no es conveniente poner código en los comentarios)