La palabra clave static
es una que tiene varios significados en C ++ que me parecen muy confusos y nunca puedo cambiar mi mente sobre cómo se supone que funciona.
Por lo que entiendo, hay static
una duración de almacenamiento, lo que significa que dura toda la vida del programa en el caso de un global, pero cuando se trata de un local, significa que se inicializa cero de forma predeterminada.
El estándar C ++ dice esto para los miembros de datos de clase con la palabra clave static
:
3.7.1 Duración del almacenamiento estático [basic.stc.static]
3 La palabra clave static puede usarse para declarar una variable local con duración de almacenamiento estático.
4 La palabra clave static aplicada a un miembro de datos de clase en una definición de clase proporciona al miembro de datos la duración del almacenamiento estático.
¿Qué significa con la variable local ? ¿Es esa una variable local de función? Porque también hay que cuando declaras una función local como static
que solo se inicializa una vez, la primera vez que ingresa a esta función.
También solo habla sobre la duración del almacenamiento con respecto a los miembros de la clase, ¿qué pasa si no es específico de la instancia, eso también es una propiedad de static
no? ¿O es la duración del almacenamiento?
Ahora, ¿qué pasa con el caso static
y el alcance del archivo? ¿Se considera que todas las variables globales tienen una duración de almacenamiento estático por defecto? Lo siguiente (de la sección 3.7.1) parece indicarlo:
1 Todas las variables que no tienen una duración de almacenamiento dinámico, no tienen una duración de almacenamiento de subprocesos y no son locales tienen una duración de almacenamiento estático. El almacenamiento para estas entidades durará la duración del programa (3.6.2, 3.6.3)
¿Cómo se static
relaciona con el enlace de una variable?
Toda esta static
palabra clave es francamente confusa, ¿alguien puede aclarar los diferentes usos del inglés y también decirme cuándo inicializar a un static
miembro de la clase?
Respuestas:
Variables:
static
existen variables para la "vida útil" de la unidad de traducción en la que se define , y:constexpr
. Cualquier otra cosa, y terminará con una variable separada en cada unidad de traducción, lo cual es una locura confusa)static
, pero pueden abordarse desde la clase, así como desde una instancia (comostd::string::npos
). [Nota: puede declarar miembros estáticos en una clase, pero generalmente deben definirse en una unidad de traducción (archivo cpp) y, como tal, solo hay uno por clase]ubicaciones como código:
Antes de que se ejecute cualquier función en una unidad de traducción (posiblemente después de
main
comenzar la ejecución), las variables con duración de almacenamiento estático (alcance del espacio de nombres) en esa unidad de traducción se "inicializarán constantemente" (constexpr
donde sea posible, o cero de lo contrario), y luego no los locales se "inicializan dinámicamente" correctamente en el orden en que se definen en la unidad de traducción (para cosas comostd::string="HI";
esas noconstexpr
). Finalmente, las estadísticas locales de función se inicializarán la primera vez que la ejecución "llegue" a la línea donde se declaran. Todas lasstatic
variables destruidas en el orden inverso de inicialización.La forma más fácil de hacer todo esto bien es hacer que todas las variables estáticas que no se
constexpr
inicializan se conviertan en locales estáticos de función, lo que garantiza que todas sus estáticas / globales se inicialicen correctamente cuando intente usarlas sin importar qué, evitando así la inicialización estática orden fiasco .Tenga cuidado, porque cuando la especificación dice que las variables de ámbito de espacio de nombres tienen "duración de almacenamiento estático" por defecto, significan el bit de "vida útil de la unidad de traducción", pero eso no significa que no se pueda acceder fuera del archivo.
Las funciones
Significativamente más directo, a
static
menudo se usa como una función de miembro de clase, y muy raramente se usa para una función independiente.Una función miembro estática difiere de una función miembro regular en que puede llamarse sin una instancia de una clase, y como no tiene instancia, no puede acceder a miembros no estáticos de la clase. Las variables estáticas son útiles cuando desea tener una función para una clase que definitivamente no se refiere a ningún miembro de instancia, o para administrar
static
variables de miembro.Una
static
función libre significa que ninguna otra unidad de traducción hará referencia a la función y, por lo tanto, el enlazador puede ignorarla por completo. Esto tiene una pequeña cantidad de propósitos:static void log(const char*) {}
en cada archivo cpp, y cada uno podría iniciar sesión de una manera diferente.fuente
classname::
alcance. Las funciones de miembro de clase estática son como funciones globales pero con alcance a la clase, o como miembros normales pero sinthis
(eso no es una opción, esas dos deberían ser equivalentes).namespace A { static int x; }
, lo que significa vinculación interna y es muy diferente del comportamiento de los miembros de datos de clase estática .La duración del almacenamiento estático significa que la variable reside en el mismo lugar en la memoria durante la vida útil del programa.
El enlace es ortogonal a esto.
Creo que esta es la distinción más importante que puedes hacer. Comprender esto y el resto, así como recordarlo, debería ser fácil (no dirigirse a @Tony directamente, sino a cualquiera que pueda leer esto en el futuro).
La palabra clave
static
se puede usar para denotar enlaces internos y almacenamiento estático, pero en esencia estos son diferentes.Si. Independientemente de cuándo se inicializa la variable (en la primera llamada a la función y cuando la ruta de ejecución alcanza el punto de declaración), residirá en el mismo lugar en la memoria durante la vida del programa. En este caso,
static
le da almacenamiento estático.Sí, todos los globales tienen, por definición, una duración de almacenamiento estático (ahora que aclaramos lo que eso significa). Pero las variables con ámbito de espacio de nombres no se declaran con
static
, porque eso les daría un enlace interno, por lo que una variable por unidad de traducción.Proporciona un enlace interno de variables con ámbito de espacio de nombres. Da a los miembros y las variables locales la duración del almacenamiento estático.
Vamos a ampliar todo esto:
Definitivamente, a menos que estés familiarizado con eso. :) Al tratar de evitar agregar nuevas palabras clave al idioma, el comité reutilizó esta, OMI, a este efecto: confusión. Se usa para significar cosas diferentes (podría decir, probablemente cosas opuestas).
fuente
static int x
en el ámbito del espacio de nombres, eso le da almacenamiento no estático ?Para aclarar la pregunta, preferiría clasificar el uso de la palabra clave 'estática' en tres formas diferentes:
(UNA). variables
(SI). funciones
(C). variables miembro / funciones de clases
la explicación sigue a continuación para cada uno de los subtítulos:
(A) palabra clave 'estática' para variables
Este puede ser un poco complicado, sin embargo, si se explica y comprende correctamente, es bastante sencillo.
Para explicar esto, primero es realmente útil saber sobre el alcance, la duración y la vinculación de las variables, sin las cuales las cosas siempre son difíciles de ver a través del concepto turbio de palabra clave estática
1. Alcance : determina dónde está accesible la variable en el archivo. Puede ser de dos tipos: (i) Alcance local o de bloque . (ii) Alcance global
2. Duración : determina cuándo se crea y destruye una variable. De nuevo, es de dos tipos: (i) Duración automática de almacenamiento (para variables que tienen alcance local o de bloque). (ii) Duración del almacenamiento estático (para variables que tienen alcance global o variables locales (en una función o en un bloque de código) con especificador estático ).
3. Vinculación : determina si se puede acceder (o vincular) a una variable en otro archivo. Nuevamente (y afortunadamente) es de dos tipos: (i) Enlace interno (para variables que tienen alcance de bloque y alcance global / alcance de archivo / alcance de espacio de nombres global) (ii) enlace externo (para variables que tienen solo alcance global / alcance de archivo / Alcance del espacio de nombres global)
Veamos un ejemplo a continuación para comprender mejor las variables globales y locales simples (no hay variables locales con duración de almacenamiento estático):
Ahora viene el concepto de vinculación. Cuando una variable global definida en un archivo está destinada a ser utilizada en otro archivo, el enlace de la variable juega un papel importante.
El enlace de variables globales se especifica mediante las palabras clave: (i) estático y (ii) externo
(Ahora obtienes la explicación)
La palabra clave estática se puede aplicar a variables con alcance local y global, y en ambos casos, significan cosas diferentes. Primero explicaré el uso de la palabra clave 'estática' en variables con alcance global (donde también aclararé el uso de la palabra clave 'extern') y más tarde para aquellos con alcance local.
1. Palabra clave estática para variables con alcance global
Las variables globales tienen una duración estática, lo que significa que no quedan fuera del alcance cuando finaliza un bloque de código particular (por ejemplo, main ()) en el que se usa. Dependiendo de la vinculación, se puede acceder a ellos solo dentro del mismo archivo donde se declaran (para la variable global estática) o fuera del archivo, incluso fuera del archivo en el que se declaran (variables globales de tipo externo)
En el caso de una variable global que tenga un especificador externo, y si se accede a esta variable fuera del archivo en el que se ha inicializado, debe declararse hacia adelante en el archivo donde se está utilizando, al igual que una función debe ser hacia adelante declarado si su definición está en un archivo diferente de donde se está utilizando.
Por el contrario, si la variable global tiene una palabra clave estática, no se puede usar en un archivo fuera del cual se ha declarado.
(ver ejemplo a continuación para aclaraciones)
p.ej:
main3.cpp
ahora cualquier variable en c ++ puede ser const o no const y para cada 'const-ness' obtenemos dos casos de enlace por defecto de c ++, en caso de que no se especifique ninguno:
(i) Si una variable global no es constante, su vinculación es externa por defecto , es decir, se puede acceder a la variable global no constante en otro archivo .cpp mediante declaración directa utilizando la palabra clave externa (en otras palabras, no global constante las variables tienen enlace externo (con duración estática, por supuesto)). Además, el uso de palabras clave externas en el archivo original donde se ha definido es redundante. En este caso, para hacer que una variable global no constante sea inaccesible a un archivo externo, use el especificador 'estático' antes del tipo de la variable .
(ii) Si una variable global es constante, su vinculación es estática por defecto , es decir, no se puede acceder a una variable global constante en un archivo que no sea donde se define (en otras palabras, las variables globales constantes tienen vinculación interna (con duración estática) por supuesto)). También es redundante el uso de palabras clave estáticas para evitar el acceso a una variable global constante en otro archivo. Aquí, para hacer que una variable global constante tenga un enlace externo, use el especificador 'extern' antes del tipo de la variable
Aquí hay un resumen de las variables de alcance global con varios enlaces.
A continuación, investigamos cómo se comportan las variables globales anteriores cuando se accede a ellas en un archivo diferente.
2. Palabra clave estática para variables con alcance local
Actualizaciones (agosto de 2019) sobre palabras clave estáticas para variables en ámbito local
Esto se puede subdividir en dos categorías:
(i) palabra clave estática para variables dentro de un bloque de funciones , y (ii) palabra clave estática para variables dentro de un bloque local sin nombre.
(i) palabra clave estática para variables dentro de un bloque de funciones.
Anteriormente, mencioné que las variables con alcance local tienen una duración automática, es decir, llegan a existir cuando se ingresa el bloque (ya sea un bloque normal, sea un bloque de función) y dejan de existir cuando el bloque termina, en pocas palabras, variables con alcance local tienen duración automática y las variables de duración automática (y los objetos) no tienen vinculación, lo que significa que no son visibles fuera del bloque de código.
Si el especificador estático se aplica a una variable local dentro de un bloque de funciones, cambia la duración de la variable de automática a estática y su tiempo de vida es la duración completa del programa, lo que significa que tiene una ubicación de memoria fija y su valor solo se inicializa una vez antes del inicio del programa como se menciona en la referencia de cpp (la inicialización no debe confundirse con la asignación)
Veamos un ejemplo.
Al observar el criterio anterior para las variables locales estáticas y las variables globales estáticas, uno podría verse tentado a preguntar cuál podría ser la diferencia entre ellas. Mientras que las variables globales son accesibles en cualquier punto dentro del código (en la misma unidad de traducción, así como en diferentes unidades, dependiendo de la const -ness y extern -ness), una variable estática definida dentro de un bloque de funciones no es directamente accesible. La variable tiene que ser devuelta por el valor de la función o referencia. Vamos a demostrar esto con un ejemplo:
Se puede encontrar más explicaciones sobre la elección de la variable estática global y local estática en este hilo de stackoverflow
(ii) palabra clave estática para variables dentro de un bloque local sin nombre.
No se puede acceder a las variables estáticas dentro de un bloque local (no un bloque de función) fuera del bloque una vez que el bloque local queda fuera de alcance. No hay advertencias a esta regla.
C ++ 11 introdujo la palabra clave
constexpr
que garantiza la evaluación de una expresión en tiempo de compilación y permite al compilador optimizar el código. Ahora, si el valor de una variable constante estática dentro de un ámbito se conoce en tiempo de compilación, el código se optimiza de una manera similar a la que tieneconstexpr
. Aquí hay un pequeño ejemploRecomiendo a los lectores que también busquen la diferencia entre
constexpr
ystatic const
para las variables en este hilo de stackoverflow . Esto concluye mi explicación de la palabra clave estática aplicada a las variables.B. palabra clave 'estática' utilizada para funciones
En términos de funciones, la palabra clave estática tiene un significado directo. Aquí, se refiere al enlace de la función Normalmente, todas las funciones declaradas dentro de un archivo cpp tienen enlace externo por defecto, es decir, una función definida en un archivo puede usarse en otro archivo cpp mediante declaración directa.
el uso de una palabra clave estática antes de que la declaración de función limite su vinculación a interna , es decir, una función estática no se puede usar dentro de un archivo fuera de su definición.
C. Palabra clave Staitc utilizada para variables miembro y funciones de clases
1. palabra clave 'estática' para variables miembro de clases
Empiezo directamente con un ejemplo aquí
En este ejemplo, la variable estática m_designNum conserva su valor y esta variable de miembro privado único (porque es estática) se comparte en blanco y negro con todas las variables del tipo de objeto DesignNumber
Además, como otras variables miembro, las variables miembro estáticas de una clase no están asociadas con ningún objeto de clase, lo que se demuestra al imprimir anyNumber en la función principal
variables miembro estáticas const vs no const en clase
(i) variables de miembro estático de clase no constante En el ejemplo anterior, los miembros estáticos (públicos y privados) no eran constantes. El estándar ISO prohíbe que los miembros estáticos no constantes se inicialicen en la clase. Por lo tanto, como en el ejemplo anterior, deben inicializarse después de la definición de clase, con la advertencia de que la palabra clave estática debe omitirse
(ii) variables miembro const-static de clase esto es sencillo y va con la convención de la inicialización de otras variables miembro const, es decir, las variables miembro const static de una clase se pueden inicializar en el punto de declaración y se pueden inicializar al final de la declaración de clase con una advertencia de que la palabra clave const debe agregarse al miembro estático cuando se inicializa después de la definición de clase.
Sin embargo, recomendaría inicializar las variables miembro estáticas constantes en el punto de declaración. Esto va con la convención estándar de C ++ y hace que el código se vea más limpio
Para obtener más ejemplos sobre variables miembro estáticas en una clase, busque el siguiente enlace en learncpp.com http://www.learncpp.com/cpp-tutorial/811-static-member-variables/
2. palabra clave 'estática' para la función miembro de clases
Al igual que las variables miembro de las clases pueden ser estáticas, también pueden las funciones miembro de las clases. Las funciones miembro normales de las clases siempre están asociadas con un objeto del tipo de clase. Por el contrario, las funciones miembro estáticas de una clase no están asociadas con ningún objeto de la clase, es decir, no tienen * este puntero.
En segundo lugar, dado que las funciones miembro estáticas de la clase no tienen * este puntero, pueden llamarse utilizando el operador de resolución de alcance y nombre de clase en la función principal (ClassName :: functionName ();)
En tercer lugar, las funciones miembro estáticas de una clase solo pueden acceder a las variables miembro estáticas de una clase, ya que las variables miembro no estáticas de una clase deben pertenecer a un objeto de clase.
Para obtener más ejemplos sobre funciones miembro estáticas en una clase, consulte el siguiente enlace de learncpp.com
http://www.learncpp.com/cpp-tutorial/812-static-member-functions/
fuente
struct Foo{static const std::string name = "cpp";};
es un error,name
debe definirse fuera de la clase; con variables en línea introducidas en c ++ 17 se puede codificar:struct Foo{static inline const std::string name = "cpp";};
2) Se puede acceder a las funciones miembro / miembro estático público por nombre de clase con operador de resolución de alcance y también una instancia con operador de punto (por ejemplo: instance.some_static_method ())En realidad es bastante simple. Si declara una variable como estática en el alcance de una función, su valor se conserva entre llamadas sucesivas a esa función. Entonces:
se mostrará en
678
lugar de666
, porque recuerda el valor incrementado.En cuanto a los miembros estáticos, conservan su valor en todas las instancias de la clase. Entonces el siguiente código:
imprimirá 4, porque first.a y second.a son esencialmente la misma variable. En cuanto a la inicialización, vea esta pregunta.
fuente
Cuando declara una
static
variable en el ámbito del archivo, esa variable solo está disponible en ese archivo en particular (técnicamente, la unidad de traducción *, pero no lo compliquemos demasiado). Por ejemplo:a.cpp
b.cpp
main.cpp:
Para una variable local ,
static
significa que la variable se inicializará en cero y retendrá su valor entre llamadas:Para las variables de clase , significa que solo hay una única instancia de esa variable que se comparte entre todos los miembros de esa clase. Dependiendo de los permisos, se puede acceder a la variable desde fuera de la clase utilizando su nombre completo.
Marcar una función que no es de clase
static
hace que la función solo sea accesible desde ese archivo e inaccesible desde otros archivos.a.cpp
b.cpp
Para las funciones de miembros de la clase, marcarlas como
static
significa que no es necesario invocar la función en una instancia particular de un objeto (es decir, no tiene unthis
puntero).fuente
Las variables estáticas se comparten entre cada instancia de una clase, en lugar de que cada clase tenga su propia variable.
Cada instancia de 'MyClass' tiene su propio 'myVar', pero comparte el mismo 'myStaticVar'. De hecho, ni siquiera necesita una instancia de MyClass para acceder a 'myStaticVar', y puede acceder a ella fuera de la clase de esta manera:
Cuando se usa dentro de una función como una variable local (y no como una variable miembro de la clase), la palabra clave estática hace algo diferente. Le permite crear una variable persistente, sin dar alcance global.
Es una variable global en términos de persistencia ... pero sin ser global en alcance / accesibilidad.
También puede tener funciones miembro estáticas. Las funciones estáticas son básicamente funciones no miembros, pero dentro del espacio de nombres del nombre de la clase y con acceso privado a los miembros de la clase.
Cuando llama a una función miembro, hay un parámetro oculto llamado 'esto', que es un puntero a la instancia de la clase que llama a la función. Las funciones miembro estáticas no tienen ese parámetro oculto ... son invocables sin una instancia de clase, pero tampoco pueden acceder a las variables miembro no estáticas de una clase, porque no tienen un puntero 'this' para trabajar. No se los llama en ninguna instancia de clase específica.
fuente
myStaticVar
necesita ser definido también. Es importante mencionar que al responder una pregunta sobre la semántica de lastatic
palabra clave, ¿no le parece?No soy un programador en C, así que no puedo darle información sobre los usos de la estática en un programa en C correctamente, pero cuando se trata de la programación orientada a objetos, la estática básicamente declara que una variable, una función o una clase son iguales a lo largo de la vida del programa. Toma por ejemplo.
Cuando creas una instancia de esta clase en tu Main, haces algo como esto.
Estas dos instancias de clase son completamente diferentes entre sí y operan independientemente una de la otra. Pero si fueras a recrear la clase A así.
Volvamos a la página principal nuevamente.
Entonces a1 y a2 compartirían la misma copia de int x por lo que cualquier operación en x en a1 influiría directamente en las operaciones de x en a2. Entonces si tuviera que hacer esto
Ambas instancias de la clase A comparten variables y funciones estáticas. Espero que esto responda a su pregunta. Mi conocimiento limitado de C me permite decir que definir una función o variable como estática significa que solo es visible para el archivo en el que la función o variable está definida como estática. Pero esto sería mejor respondido por un chico de C y no por mí. C ++ permite las formas C y C ++ de declarar sus variables como estáticas porque es completamente compatible con C.
fuente
Sí: no global, como una variable local de función.
Correcto.
es decir, todas las instancias de
R
la cuotaint R::a
-int R::a
Nunca se copian.Efectivamente, un global que tiene constructor / destructor donde sea apropiado: la inicialización no se difiere hasta el acceso.
Para una función local, es externa. Acceso: es accesible para la función (a menos que, por supuesto, la devuelva).
Para una clase, es externa. Acceso: se aplican los especificadores de acceso estándar (público, protegido, privado).
static
También puede especificar la vinculación interna, dependiendo de dónde se declare (archivo / espacio de nombres).Tiene demasiados propósitos en C ++.
Se inicializa automáticamente antes
main
si está cargado y tiene un constructor. Puede parecer algo bueno, pero el orden de inicialización está en gran medida fuera de su control, por lo que la inicialización compleja se vuelve muy difícil de mantener, y desea minimizar esto: si debe tener una estática, entonces las escalas locales funcionan mucho mejor en bibliotecas y proyectos En cuanto a los datos con una duración de almacenamiento estático, debe intentar minimizar este diseño, especialmente si es mutable (variables globales). El 'tiempo' de inicialización también varía por varias razones: el cargador y el kernel tienen algunos trucos para minimizar las huellas de memoria y diferir la inicialización, dependiendo de los datos en cuestión.fuente
Objeto estático: podemos definir miembros de clase estáticos usando palabras clave estáticas. Cuando declaramos un miembro de una clase como estático, significa que no importa cuántos objetos de la clase se creen, solo hay una copia del miembro estático.
Un miembro estático es compartido por todos los objetos de la clase. Todos los datos estáticos se inicializan a cero cuando se crea el primer objeto, si no hay otra inicialización presente. No podemos ponerlo en la definición de clase, pero se puede inicializar fuera de la clase como se hace en el siguiente ejemplo redeclarando la variable estática, utilizando el operador de resolución de alcance :: para identificar a qué clase pertenece.
Probemos con el siguiente ejemplo para comprender el concepto de miembros de datos estáticos:
Cuando se compila y ejecuta el código anterior, produce el siguiente resultado:
Miembros de funciones estáticas: Al declarar un miembro de función como estático, lo hace independiente de cualquier objeto particular de la clase. Se puede llamar a una función miembro estática incluso si no existen objetos de la clase y se accede a las funciones estáticas utilizando solo el nombre de la clase y el operador de resolución de alcance ::.
Una función miembro estática solo puede acceder al miembro de datos estáticos, otras funciones miembro estáticas y cualquier otra función desde fuera de la clase.
Las funciones miembro estáticas tienen un alcance de clase y no tienen acceso al puntero de esta clase. Puede usar una función miembro estática para determinar si se han creado o no algunos objetos de la clase.
Probemos con el siguiente ejemplo para comprender el concepto de miembros de funciones estáticas:
Cuando se compila y ejecuta el código anterior, produce el siguiente resultado:
fuente