09 · Estruturas de Dados
Projeção tipada de records
user.{ id, name } avalia user uma vez e cria um record anônimo com os campos físicos visíveis selecionados. Tipos exatos são preservados. Seleções repetidas, campos inacessíveis ou computados e cópias lineares proibidas são rejeitados.
Nesta página
user.{ id, name } avalia user uma vez e cria um record anônimo com os campos físicos visíveis selecionados. Tipos exatos são preservados. Seleções repetidas, campos inacessíveis ou computados e cópias lineares proibidas são rejeitados.
Exemplo completo
Projeção tipada de records.
// Typed projection selects visible physical fields into an anonymous record.
struct User { id: int, name: str, internal: str }
var acquired = 0
fn make() -> User { acquired += 1; User { id: acquired, name: "Ada", internal: "hidden" } }
let public_user = make().{ name, id }
print(acquired)
print(public_user.id)
print(public_user.name)
let updated = public_user with { id += 4 }
print(public_user.id)
print(updated.id)
let empty = make().{}
print(acquired)
struct Box<T> { value: T, id: int }
macro selected(value) { $value.{ value } }
let integer_box: Box<int> = Box { value: 7, id: 1 }
let text_box: Box<str> = Box { value: "text", id: 2 }
let integer = selected!(integer_box)
let text = selected!(text_box)
print(integer.value)
print(text.value)
fn first() -> int { let unused = ({ return 8; User { id: 0, name: "", internal: "" } }).{ id }; 0 }
print(first())
var total = 0
:outer for n in 0..3 {
let value = ({ if n == 1 { continue :outer }; User { id: n, name: "", internal: "" } }).{ id }
total += value.id
}
print(total)
Regras e comportamento
Records, maps e atualizações · Documentação
A partir de um checkout do repositório:
zolo examples/features/record-projection.zolo
Caminhos e aliases em projeções
value.{ campo, caminho.campo as nome } copia os campos armazenados selecionados para um record anônimo. A base é avaliada uma vez. Cada caminho deve ser visível e seguir as regras de cópia existentes. Acessores calculados não podem ser projetados, e os nomes de saída devem ser únicos.
// Prepare a public response without copying internal fields.
struct Address { city: str, delivery_code: int }
struct User { id: int, name: str, address: Address }
let user = User {
id: 7,
name: "Ada",
address: Address { city: "Recife", delivery_code: 42 }
}
let response = user.{ id, name as display_name, address.city as city }
print("{response.id}: {response.display_name}, {response.city}")
Veja também