Ir al contenido principal

Punteros en Rust, ¿Qué son y para qué sirven?

En Rust existe el concepto de punteros, pero se maneja de manera distinta a lenguajes como C o Go, porque Rust pone mucho énfasis en la seguridad de memoria y en evitar errores comunes como dangling pointers o data races.

Recordando el post anterior tenemos que una variable se compone de: 

  1.  Un tipo de dato. 
  2.  Un nombre. 
  3.  Un valor. 
  4.  Una dirección de memoria.

Las dos primeras características las define el programador, el valor depende del flujo del programa. La memoria la designa el sistema.

Y es aquí donde entran los punteros, que son variables que almacenan la dirección de memoria de otra variable. En Rust, el concepto puede ser un poco diferente a lenguajes como C y Go como lo vamos a ver.

Tipos de punteros en Rust

En Rust, veremos los punteros como en referencias, Box, Rc/Arc, raw pointers y su uso está regulado por el sistema de propiedad para garantizar seguridad y eficiencia.

¿Para qué sirven en Rust?

  • Referencias: para pasar valores sin copiarlos y controlar mutabilidad. 
  • Box: para manejar datos en el heap y estructuras recursivas. 
  • Rc/Arc: para compartir datos entre múltiples dueños. 
  • Raw pointers: interoperabilidad con C o casos muy específicos de bajo nivel.

1. Referencias (& y &mut).

  • Son el equivalente más cercano a los punteros en Go. 
  • &T : referencia inmutable a un valor. 
  •  &mut T : referencia mutable, permite modificar el valor.

referencia.rs

fn incrementar(x: &mut i32) {
    *x += 1;
}

fn main() {
    let mut valor = 10;
    incrementar(&mut valor);
    println!("Valor: {}", valor); // 11
}

2. Box (Box <T>)

  • Es un puntero inteligente que guarda datos en el heap en lugar del stack
  • Útil para estructuras grandes o recursivas.

caja.rs

fn main() {
    let b = Box::new(42);
    println!("Valor en Box: {}", b);
}

3. Rc y Arc.

Rc<T> : Reference Counted, permite compartir datos entre varias partes del programa en un solo hilo. Arc<T> : Atomic Reference Counted, igual que Rc pero seguro para múltiples hilos.

rc.rs

use std::rc::Rc;

fn main() {
    let x = Rc::new(5);
    let y = Rc::clone(&x);
    println!("x = {}, y = {}", x, y);
}

4. Raw pointers (*const T y *mut T)

  • Son punteros "crudos" como en C, pero en Rust se consideran inseguros. 
  • Solo se usan dentro de bloques unsafe { ... }.

pointers.rs

fn main() {
    let x = 10;
    let p: *const i32 = &x;
    unsafe {
        println!("Valor apuntado: {}", *p);
    }
}

En Go, los punteros son simples y seguros, pero no hay control estricto sobre aliasing o mutabilidad.

En Rust, el sistema de ownership y borrowing asegura que:

  • No haya dos referencias mutables al mismo tiempo. 
  • No se acceda a memoria liberada. 
  •  Se eviten data races en concurrencia, cuando dos o más hilos acceden simultáneamente a la misma ubicación de memoria, al menos uno de ellos realiza una escritura y los accesos no están sincronizados.

Comparando los punteros en Go y Rust tenemos esta tabla:

Aspecto Punteros en Go Punteros en Rust
Sintaxis básica & obtiene dirección, * accede al valor.
Ejemplo: p := &x, *p
& referencia inmutable, &mut mutable.
Ejemplo: let r = &x;, *r
Mutabilidad Se controla con el tipo de variable, pero no hay restricción estricta sobre aliasing. El sistema de ownership y borrowing impide múltiples referencias mutables simultáneas.
Seguridad Seguros, pero sin control estricto de concurrencia. Altamente seguros: evita dangling pointers y data races en tiempo de compilación.
Punteros crudos No existen punteros crudos como en C. Existen (*const T, *mut T), pero solo en bloques unsafe.
Punteros inteligentes No hay punteros inteligentes nativos, se usan referencias simples. Box, Rc, Arc permiten gestión avanzada de memoria y compartición.
Uso típico Modificar valores en funciones, evitar copias grandes. Controlar mutabilidad, trabajar con heap (Box), compartir datos (Rc/Arc).
Filosofía Simplicidad y eficiencia sin demasiadas restricciones. Seguridad estricta y control de memoria en tiempo de compilación.

En Go, los punteros son simples y seguros, útiles para modificar valores y evitar copias.

En Rust, los punteros existen bajo varias formas (referencias, Box, Rc, Arc, raw pointers), pero están regulados por el sistema de propiedad para garantizar seguridad y evitar errores de memoria.

Continuaremos con este tema en próximas entregas.

Enlaces:

https://alquimistadecodigo.blogspot.com/2026/04/punteros-en-go-por-que-tendria-que.html
https://book.rustlang-es.org/ch04-01-what-is-ownership
https://book.rustlang-es.org/ch04-02-references-and-borrowing

Comentarios

Entradas populares de este blog

Rocket: un framework web para Rust

Rocket Framework es: Un framework web escrito en Rust.   Inspirado en Rails, Flask, Bottle y Yesod.  Admite el manejo de solicitudes HTTP, Web Sockets, JSON, plantillas y más. Creando un proyecto con Rocket Framework En primer lugar, verificamos la instalación de Rust en nuestras máquinas: rustc - - version Continuamos con la configuración de Rust nightly como nuestra cadena de herramientas predeterminada ejecutando el comando: rustup default nightly Si lo prefieres, una vez que configuremos un directorio de proyecto en la siguiente sección, puedes usar anulaciones por directorio para usar la versión nocturna solo para tu proyecto Rocket ejecutando el siguiente comando en el directorio: rustup override set nightly Creamos nuevo proyecto `` hola-rocket `` y nos ubicamos en el directorio creado: cargo new hola - rocket - - bin cd hola - rocket Con Cargo, agregamos la dependencia de rocket: cargo add rocket Abrimos el archivo `` Cargo.toml `` Ca...

Odin language: el lenguaje de programación orientado a datos para un desarrollo de software sensato

En esta serie sobre lenguajes de programación hablamos de Odin , un lenguaje orientado a datos. Un nuevo lenguaje de programación que nos podrá recordar a lenguajes como C++, Python, Golang o hasta Rust. Instalación (Windows): 1 2 3 4 $ git clone https://github.com/odin-lang/Odin $ cd Odin $ git pull $ build.bat release Debemos asegurarnos de crear la variable de entorno: Nombre: ODIN_HOME Valor: C:\Users\HP\Documents\pruebasOdin\Odin Ejemplo 1. Como primer programa tendremos al clásico "Hola, mundo". holamundo.odin package holamundo import " core:fmt " main : : proc ( ) { fmt . println ( " ¡Hola, mundo desde Odin! " ) } Construimos: $ odin build holamundo . odin - file Ejecutamos: $ holamundo .exe Recordar que si usamos Visual Studio Code podemos instalar el plugin de Odin Language: https://marketplace.visualstudio.com/items?itemName=DanielGavin.ols Ejemplo 2. Programa que muestre las variables que pod...

Programación Windows Batch (CMD) parte 3

Crear ciclos para efectuar operaciones tediosas nos ahorrará tiempo para realizar otras tareas. En está ocasión veremos ciclos con FOR . ¿Cuál es la síntaxis de bucle FOR en Windows Batch? Si está dentro de un archivo *.bat : FOR %%variable IN (seq) DO operaciones Si lo ejecutamos en una terminal: FOR %variable IN (seq) DO operaciones Ejemplo 1 . Recorrer una secuencia de números del 0 al 5: recorrer.bat @ echo off FOR %%i in ( 0 1 2 3 4 5 ) DO echo Hola no. %%i pause Nos imprimirá en pantalla: Hola no. 0 Hola no. 1 Hola no. 2 Hola no. 3 Hola no. 4 Hola no. 5 ¿Puedo usar contadores? Si, se pueden usar. Ejemplo 2 . Uso de contadores: contador.bat @ echo off set numeros = 1 2 3 4 5 6 7 8 9 10 set cont = 0 for %%a in ( %numeros% ) do ( echo Hola no. %%a :: Contador set /a cont+ = 1 ) echo Total: %cont% Este código nos imprimirá, además de los mensajes Hola no. 0 ..., el total de valores conta...