Identificadores e keywords

O que é um identificador

Um identificador é o nome que você dá a algo no seu programa — uma variável, uma constante, um tipo, uma função, um package. Todo nome que você escreve em Go é um identificador.

A especificação da linguagem define exatamente quais caracteres são permitidos:

• Um identificador é formado por uma ou mais letras e dígitos Unicode
• O primeiro caractere deve ser uma letra — dígitos não são permitidos no início
• O underscore _ é considerado uma letra

age         // válido
_           // válido — o blank identifier
_count      // válido — underscore é uma letra
user123     // válido — dígito após o primeiro caractere
café        // válido — letras Unicode são permitidas
123abc      // inválido — começa com dígito
my-variable // inválido — hífen não é uma letra

Go é case-sensitive. count, Count e COUNT são três identificadores distintos.

Identificadores exportados vs não exportados

A capitalização da primeira letra tem um significado específico em Go. Um identificador que começa com letra maiúscula é exportado — visível e acessível a partir de outros packages. Um que começa com letra minúscula é não exportado — privado ao package em que foi definido.

package math

var internalState = 0  // não exportado — visível apenas dentro deste package
var Pi = 3.14159       // exportado — acessível como math.Pi de qualquer lugar

Isso não é uma convenção — é imposto pelo compilador. Não existem keywords public ou private em Go. A capitalização é o mecanismo completo de controle de acesso.

O blank identifier

O underscore sozinho — _ — é um identificador especial chamado blank identifier. Ele funciona como um slot de descarte write-only: você pode atribuir a ele, mas nunca pode lê-lo.

O uso mais comum é descartar valores que você não precisa:

value, _ := strconv.Atoi("42") // descarta o erro

Go exige que toda variável declarada seja usada. O blank identifier permite satisfazer esse requisito quando uma função retorna múltiplos valores e você só precisa de alguns deles.

Identificadores pré-declarados

Go vem com um conjunto de identificadores que estão sempre disponíveis em todo programa, sem nenhum import. Eles são definidos no universe block — o escopo mais externo que envolve todo código Go.

Ao contrário das keywords, identificadores pré-declarados não são reservados. Tecnicamente você pode fazer shadow deles declarando seu próprio identificador com o mesmo nome. Quase certamente você não deveria — fazer isso remove o acesso ao original e cria código confuso.

Tipos

Você já viu a maioria deles no artigo de tipos básicos. any é um alias para interface{} — o tipo que aceita qualquer valor. error é um tipo interface usado em todo o Go para tratamento de erros. comparable é uma constraint usada em generics.

Constantes

Três constantes pré-declaradas existem:

• true e false — os únicos valores do tipo bool
• iota — o contador em compile time usado dentro de blocos const

O zero value: nil

nil é o zero value para ponteiros, slices, maps, channels, funções e interfaces. Não é uma keyword — é um identificador pré-declarado sem tipo próprio. Seu tipo é determinado pelo contexto.

var p *int           // p é nil
var s []string       // s é nil
var m map[string]int // m é nil

Funções built-in

Go fornece um conjunto de funções built-in que estão sempre em escopo:

Keywords

Keywords são palavras que a própria linguagem Go reservou para si. Elas têm significados fixos embutidos no compilador e não podem ser usadas como identificadores — você não pode nomear uma variável de func nem um tipo de for.

Go tem exatamente 25 keywords. Esse número pequeno é intencional — menos keywords significa uma linguagem menor, mais fácil de aprender e de ler.

Declaração e tipos

Essas keywords introduzem novas entidades no programa:

Controle de fluxo

Essas keywords controlam a ordem de execução:

Concorrência e execução diferida