Tipos y variablesTypes and variables

Hay dos clases de tipos en C#: tipos de valor y tipos de referencia.There are two kinds of types in C#: value types and reference types. Las variables de tipos de valor contienen directamente los datos, mientras que las variables de los tipos de referencia almacenan referencias a los datos, lo que se conoce como objetos.Variables of value types directly contain their data whereas variables of reference types store references to their data, the latter being known as objects. Con los tipos de referencia, es posible que dos variables hagan referencia al mismo objeto y que, por tanto, las operaciones en una variable afecten al objeto al que hace referencia la otra variable.With reference types, it is possible for two variables to reference the same object and thus possible for operations on one variable to affect the object referenced by the other variable. Con los tipos de valor, cada variable tiene su propia copia de los datos y no es posible que las operaciones en una variable afecten a la otra (excepto en el caso de las variables de parámetro ref y out).With value types, the variables each have their own copy of the data, and it is not possible for operations on one to affect the other (except in the case of ref and out parameter variables).

Los tipos de valor de C# se dividen en tipos simples, tipos de enumeración, tipos de estructura y tipos de valores NULL.C#’s value types are further divided into simple types, enum types, struct types, and nullable value types. Los tipos de referencia de C# se dividen en tipos de clase, tipos de interfaz, tipos de matriz y tipos delegados.C#’s reference types are further divided into class types, interface types, array types, and delegate types.

A continuación se proporciona información general del sistema de tipos de C#.The following provides an overview of C#’s type system.

  • Tipos de valorValue types
    • Tipos simplesSimple Types
      • Entero con signo: sbyte, short, int,longSigned integral: sbyte, short, int, long
      • Entero sin signo: byte, ushort, uint,ulongUnsigned integral: byte, ushort, uint, ulong
      • Caracteres Unicode: charUnicode characters: char
      • Punto flotante de IEEE: float, doubleIEEE floating point: float, double
      • Decimal de alta precisión: decimalHigh-precision decimal: decimal
      • Booleano: boolBoolean: bool
    • Tipos de enumeraciónEnum types
      • Tipos definidos por el usuario con el formato enum E {...}User-defined types of the form enum E {...}
    • Tipos de estructuraStruct types
      • Tipos definidos por el usuario con el formato struct S {...}User-defined types of the form struct S {...}
    • Tipos de valor que aceptan valores NULLNullable value types
      • Extensiones de todos los demás tipos de valor con un valor nullExtensions of all other value types with a null value
  • Tipos de referenciaReference types
    • Tipos de claseClass types
      • Clase base definitiva de todos los demás tipos: objectUltimate base class of all other types: object
      • Cadenas Unicode: stringUnicode strings: string
      • Tipos definidos por el usuario con el formato class C {...}User-defined types of the form class C {...}
    • Tipos de interfazInterface types
      • Tipos definidos por el usuario con el formato interface I {...}User-defined types of the form interface I {...}
    • Tipos de matrizArray types
      • Unidimensional y multidimensional; por ejemplo, int[] y int[,]Single- and multi-dimensional, for example, int[] and int[,]
    • Tipos delegadosDelegate types
      • Tipos definidos por el usuario con el formato delegate int D(...)User-defined types of the form delegate int D(...)

Los ocho tipos enteros proporcionan compatibilidad con valores de 8, 16, 32 y 64 bits en formato con o sin signo.The eight integral types provide support for 8-bit, 16-bit, 32-bit, and 64-bit values in signed or unsigned form.

Los dos tipos de punto flotante, float y double, se representan mediante los formatos IEC-60559 de precisión sencilla de 32 bits y de doble precisión de 64 bits, respectivamente.The two floating-point types, float and double, are represented using the 32-bit single-precision and 64-bit double-precision IEC-60559 formats, respectively.

El tipo decimal es un tipo de datos de 128 bits adecuado para cálculos financieros y monetarios.The decimal type is a 128-bit data type suitable for financial and monetary calculations.

El tipo bool de C# se utiliza para representar valores booleanos; valores que son true o false.C#’s bool type is used to represent Boolean values—values that are either true or false.

El procesamiento de caracteres y cadenas en C# utiliza la codificación Unicode.Character and string processing in C# uses Unicode encoding. El tipo char representa una unidad de código UTF-16 y el tipo string representa una secuencia de unidades de código UTF-16.The char type represents a UTF-16 code unit, and the string type represents a sequence of UTF-16 code units.

Resume los tipos numéricos de C#.This summarizes C#’s numeric types.

  • Entero con signoSigned Integral
    • sbyte: 8 bits, de -128 a 127sbyte: 8 bits, range from -128 - 127
    • short: 16 bits, de -32,768 a 32,767short: 16 bits, range from -32,768 - 32,767
    • int: 32 bits, de -2,147,483,648 a 2,147,483,647int : 32 bits, range from -2,147,483,648 - 2,147,483,647
    • long: 64 bits, de -9,223,372,036,854,775,808 a 9,223,372,036,854,775,807long : 64 bits, range from –9,223,372,036,854,775,808 to 9,223,372,036,854,775,807
  • Entero sin signoUnsigned integral
    • byte: 8 bits, de 0 a 255byte : 8 bits, range from 0 - 255
    • ushort: 16 bits, de 0 a 65,535ushort : 16 bits, range from 0 - 65,535
    • uint: 32 bits, de 0 a 4,294,967,295uint : 32 bits, range from 0 - 4,294,967,295
    • ulong: 64 bits, de 0 a 18,446,744,073,709,551,615ulong : 64 bits, range from 0 - 18,446,744,073,709,551,615
  • Punto flotanteFloating point
    • float: 32 bits, de 1.5 × 10−45 a 3.4 × 1038, precisión de 7 dígitosfloat : 32 bits, range from 1.5 × 10−45 - 3.4 × 1038, 7-digit precision
    • double: 64 bits, de 5.0 × 10−324 a 1.7 × 10308, precisión de 15 dígitosdouble : 64 bits, range from 5.0 × 10−324 - 1.7 × 10308, 15-digit precision
  • DecimalDecimal
    • decimal: 128 bits, al menos de –7.9 × 10−28 a 7.9 × 1028, con una precisión mínima de 28 dígitosdecimal : 128 bits, range is at least –7.9 × 10−28 - 7.9 × 1028, with at least 28-digit precision

Los programas de C# utilizan declaraciones de tipos para crear nuevos tipos.C# programs use type declarations to create new types. Una declaración de tipos especifica el nombre y los miembros del nuevo tipo.A type declaration specifies the name and the members of the new type. Cinco de las categorías de tipos de C# las define el usuario: tipos de clase, tipos de estructura, tipos de interfaz, tipos de enumeración y tipos delegados.Five of C#’s categories of types are user-definable: class types, struct types, interface types, enum types, and delegate types.

A tipo class define una estructura de datos que contiene miembros de datos (campos) y miembros de función (métodos, propiedades y otros).A class type defines a data structure that contains data members (fields) and function members (methods, properties, and others). Los tipos de clase admiten herencia única y polimorfismo, mecanismos por los que las clases derivadas pueden extender y especializar clases base.Class types support single inheritance and polymorphism, mechanisms whereby derived classes can extend and specialize base classes.

Un tipo struct es similar a un tipo de clase, por el hecho de que representa una estructura con miembros de datos y miembros de función.A struct type is similar to a class type in that it represents a structure with data members and function members. Sin embargo, a diferencia de las clases, las estructuras son tipos de valor y no suelen requerir la asignación del montón.However, unlike classes, structs are value types and do not typically require heap allocation. Los tipos struct no admiten la herencia especificada por el usuario y todos los tipos de struct se heredan implícitamente del tipo object.Struct types do not support user-specified inheritance, and all struct types implicitly inherit from type object.

Un tipo interface define un contrato como un conjunto con nombre de miembros de función públicos.An interface type defines a contract as a named set of public function members. Un class o struct que implementa un interface debe proporcionar implementaciones de miembros de función de la interfaz.A class or struct that implements an interface must provide implementations of the interface’s function members. Un interface puede heredar de varias interfaces base, y un class o struct pueden implementar varias interfaces.An interface may inherit from multiple base interfaces, and a class or struct may implement multiple interfaces.

Un tipo delegate representa las referencias a métodos con una lista de parámetros determinada y un tipo de valor devuelto.A delegate type represents references to methods with a particular parameter list and return type. Los delegados permiten tratar métodos como entidades que se puedan asignar a variables y se puedan pasar como parámetros.Delegates make it possible to treat methods as entities that can be assigned to variables and passed as parameters. Los delegados son análogos a los tipos de función proporcionados por los lenguajes funcionales.Delegates are analogous to function types provided by functional languages. Son similares al concepto de punteros de función en otros lenguajes, pero a diferencia de los punteros de función, los delegados están orientados a objetos y presentan seguridad de tipos.They are also similar to the concept of function pointers found in some other languages, but unlike function pointers, delegates are object-oriented and type-safe.

Los tipos class, struct, interface y delegate admiten parámetros genéricos, mediante los cuales se pueden parametrizar con otros tipos.The class, struct, interface and delegate types all support generics, whereby they can be parameterized with other types.

Un tipo enum es un tipo distinto con constantes con nombre.An enum type is a distinct type with named constants. Cada tipo enum tiene un tipo subyacente, que debe ser uno de los ocho tipos enteros.Every enum type has an underlying type, which must be one of the eight integral types. El conjunto de valores de un tipo enum es igual que el conjunto de valores del tipo subyacente.The set of values of an enum type is the same as the set of values of the underlying type.

C# admite matrices unidimensionales y multidimensionales de cualquier tipo.C# supports single- and multi-dimensional arrays of any type. A diferencia de los tipos enumerados anteriormente, los tipos de matriz no tienen que ser declarados antes de usarlos.Unlike the types listed above, array types do not have to be declared before they can be used. En su lugar, los tipos de matriz se crean mediante un nombre de tipo entre corchetes.Instead, array types are constructed by following a type name with square brackets. Por ejemplo, int[] es una matriz unidimensional de int, int[,] es una matriz bidimensional de int y int[][] es una matriz unidimensional de la matriz unidimensional de int.For example, int[] is a single-dimensional array of int, int[,] is a two-dimensional array of int, and int[][] is a single-dimensional array of single-dimensional array of int.

Los tipos de valor NULL tampoco tienen que ser declarados antes de usarlos.Nullable value types also do not have to be declared before they can be used. Para cada tipo de valor distinto de NULL T, existe un tipo de valor NULL correspondiente T?, que puede tener un valor adicional, null.For each non-nullable value type T there is a corresponding nullable value type T?, which can hold an additional value, null. Por ejemplo, int? es un tipo que puede contener cualquier número entero de 32 bits o el valor null.For instance, int? is a type that can hold any 32-bit integer or the value null.

El sistema de tipos de C# está unificado, de tal forma que un valor de cualquier tipo puede tratarse como un object.C#’s type system is unified such that a value of any type can be treated as an object. Todos los tipos de C# directa o indirectamente se derivan del tipo de clase object, y object es la clase base definitiva de todos los tipos.Every type in C# directly or indirectly derives from the object class type, and object is the ultimate base class of all types. Los valores de tipos de referencia se tratan como objetos mediante la visualización de los valores como tipo object.Values of reference types are treated as objects simply by viewing the values as type object. Los valores de tipos de valor se tratan como objetos mediante la realización de operaciones de conversión boxing y operaciones de conversión unboxing.Values of value types are treated as objects by performing boxing and unboxing operations. En el ejemplo siguiente, un valor int se convierte en object y vuelve a int.In the following example, an int value is converted to object and back again to int.

using System;
class BoxingExample
{
    static void Main()
    {
        int i = 123;
        object o = i;    // Boxing
        int j = (int)o;  // Unboxing
    }
}

Cuando se convierte un valor de un tipo de valor al tipo object, se asigna una instancia object, también denominada "box", para contener el valor, y el valor se copia en dicho box.When a value of a value type is converted to type object, an object instance, also called a "box", is allocated to hold the value, and the value is copied into that box. Por el contrario, cuando se convierte una referencia object en un tipo de valor, se comprueba si la referencia object es un box del tipo de valor correcto y, si la comprobación es correcta, se copia el valor del box.Conversely, when an object reference is cast to a value type, a check is made that the referenced object is a box of the correct value type, and, if the check succeeds, the value in the box is copied out.

El sistema de tipos unificado de C# conlleva efectivamente que los tipos de valor pueden convertirse en objetos "a petición".C#’s unified type system effectively means that value types can become objects "on demand." Debido a la unificación, las bibliotecas de uso general que utilizan el tipo object pueden usarse con tipos de referencia y tipos de valor.Because of the unification, general-purpose libraries that use type object can be used with both reference types and value types.

Hay varios tipos de variables en C#, entre otras, campos, elementos de matriz, variables locales y parámetros.There are several kinds of variables in C#, including fields, array elements, local variables, and parameters. Las variables representan ubicaciones de almacenamiento, y cada variable tiene un tipo que determina qué valores pueden almacenarse en la variable, como se muestra a continuación.Variables represent storage locations, and every variable has a type that determines what values can be stored in the variable, as shown below.

  • Tipo de valor distinto a NULLNon-nullable value type
    • Un valor de ese tipo exactoA value of that exact type
  • Tipos de valor NULLNullable value type
    • Un valor null o un valor de ese tipo exactoA null value or a value of that exact type
  • objetoobject
    • Una referencia null, una referencia a un objeto de cualquier tipo de referencia o una referencia a un valor de conversión boxing de cualquier tipo de valorA null reference, a reference to an object of any reference type, or a reference to a boxed value of any value type
  • Tipo de claseClass type
    • Una referencia null, una referencia a una instancia de ese tipo de clase o una referencia a una instancia de una clase derivada de ese tipo de claseA null reference, a reference to an instance of that class type, or a reference to an instance of a class derived from that class type
  • Tipo de interfazInterface type
    • Un referencia null, una referencia a una instancia de un tipo de clase que implementa dicho tipo de interfaz o una referencia a un valor de conversión boxing de un tipo de valor que implementa dicho tipo de interfazA null reference, a reference to an instance of a class type that implements that interface type, or a reference to a boxed value of a value type that implements that interface type
  • Tipo de matrizArray type
    • Una referencia null, una referencia a una instancia de ese tipo de matriz o una referencia a una instancia de un tipo de matriz compatibleA null reference, a reference to an instance of that array type, or a reference to an instance of a compatible array type
  • Tipo delegadoDelegate type
    • Una referencia null o una referencia a una instancia de un tipo delegado compatibleA null reference or a reference to an instance of a compatible delegate type