¿Se puede escribir una función que toma un tipo y devuelve un tipo diferente

Question

? Es posible escribir una función que toma un tipo y devuelve un tipo (relacionado). Por ejemplo, una función que toma un tipo llamado "RandomVariable" y devuelve un tipo llamado "RandomVariableCovariance". Supongo que, en general, la pregunta es si typenames pueden ser parámetros o tipos de devolución. C++ 0x está bien.

Answer 1

Usted no puede hacerlo con las funciones, pero se puede hacer con especializaciones de plantilla. Por ejemplo

template <class T> 
struct ConvertType; 

template <> 
struct ConvertType<RandomVariable> 
{ 
    typedef RandomVariableCovariance type; 
}; 

int main() 
{ 
    ConvertType<RandomVariable>::type myVar; 
} 

define un tipo ConvertType que está especializada para convertir RandomVariable-RandomVariableCovariance. Es posible hacer todo tipo de selección de tipos inteligentes de esta manera dependiendo de lo que necesite.

Answer 2

Los nombres de tipos no pueden ser parámetros o valores devueltos de una función; los tipos son una cosa de tiempo de compilación!

Answer 3

Pardon mi horrible, C, ya que ha sido siempre desde que en realidad trabajaba con él:

typedef int RandomVariable; 
typedef float RandomVariableCovariance; 

RandomVariableCovariance myFunc(RandomVariable x) { 
    .... 
} 

Answer 4

Esto estaba en la larga lista de cosas para C++ 0x. Es por eso que crearon este extraño formato de definición de función:

auto FuncName(Type1 param1, Type2 param2) -> ReturnType {...} 

que, combinado con decltype, le permite hacer cosas como esta:

auto FuncName(Type1 param1, Type2 param2) -> decltype(param1 + param2) {...} 

Esto significa que el tipo de retorno será lo que se obtiene cuando llama al operador + (Tipo1, Tipo2).

Tenga en cuenta que C++ es un lenguaje estáticamente tipado. No puede hacer cálculos de tipo en tiempo de ejecución. Debe hacerse en tiempo de compilación, a través de mecanismos como este o alguna forma de metaprogramación de plantillas.