Go言語におけるパッケージ変数の書き方では「a := 1」といった書き方は出来ないのでしょうか。

Question

Go言語におけるpackage変数の書き方で「a := 1」といった書き方はできないのでしょうか。

発生している問題・エラーメッセージ

./test.go:8:1: syntax error: non-declaration statement outside function body

該当のソースコード

package main

import "fmt"

var a int
a = 1　　//エラー部分

func main()  {
  fmt.Println(a)
}

また、パッケージ変数を「a := 1」としても同様のエラーが出ました。

package main

import "fmt"

a := 1　 //エラー部分

func main()  {
  fmt.Println(a)
}

試したこと

パッケージ変数を以下のように「var a = 1」として書くと、main関数内に記述しなくとも問題なくmain関数は動作しました。

変更したソースコード

package main

import "fmt"

var a = 1  //この書き方だとエラーが出ない

func main()  {
  fmt.Println(a)
}

//出力結果 1

また、「var (a=1, s=...)」のように、パッケージ関数をまとめて定義しても問題なくmain関数は動作しました。

package main

import "fmt"

var (
  a = 1　　　　　//このようにまとめて書いてもmain関数は動作する
  s = "string"
  b = true
)

func main()  {
  fmt.Println(a, s, b)
}

//出力結果 1 string true

また、前述のエラーが出た「var a int ~」および「a := 1」という書き方も、main関数内で定義すれば問題なく作動しました。

package main

import "fmt"

func main()  {
  a := 1  //main関数内であればいずれの書き方でもエラーが出ない
  fmt.Println(a)
}

//出力結果 1

以上の結果から、パッケージ関数では「a := 1」といった書き方は正しくなく、「var a = 1」という書き方が正しいという認識で良いのでしょうか。
個人的にはむしろ「var a = 1」という書き方は変則的で、「var a int」と最初に定義したり「a := 1」といった書き方の方が好まれると思っていたので、パッケージ関数についての正しい理解をご教示いただけると幸いです。

補足情報（FW/ツールのバージョンなど）

MacOS Mojave(10.14.5)のターミナルで動作確認しました。

Answer 1

a := 1は代入という種類の記述であり、代入は関数内でしか記述することはできません。

var a intは変数宣言という種類の記述であり、関数の外側に書けます。

また、var宣言は初期値を与えることができます。「var a int = 5」というように。初期値を省略した場合はゼロ値で初期化されます。

初期値から型推論ができる場合は型指定を省略できます。それが「var a = 5」という記述です。

もちろん、「var c = "hello"」という記述もできます。

ただし、intとstring,rune以外は明示的な型情報が必要です。

「var templ = template.Must(template.New(""))」では、関数の戻り値は型が決められているので型推論が出来ます。
「var i = uint8(5)」などは5という定数がuint8かintなのかは区別できないので型情報を与える必要があります。これは「var i uint8 = 5」と書いても良いです。

あと、var宣言は複数の変数宣言を

var(
    a int = 5
    b uint8 = 6
)

というように複数の宣言を書く記法があるということです。

Comments

[Zuishin]

定義宣言という言葉は初めて見ましたが、どこを見れば書いてありますか？

[Zuishin]

通常の言語では、定義と宣言は違うものですから、非常に珍しい言葉ですが、Go 特有のものですか？

[Zuishin]

またこちらを見ると
http://golang.jp/go_spec#Statements
Declaration が Statement の一種になっています。
ステートメントが関数の外に置けないのであれば、宣言も置けないのでは？

[Zuishin]

今まで Go タグを見ることはほとんどありませんでしたが、もしかして、間違った情報が野放しになっていたんでしょうか？

[Mizuki_Network]

迅速に、また、ご丁寧に回答下さりありがとうございます。ご回答を伺って、パッケージ変数は変数の宣言を関数の外で行える一方で、変数に対する数値の代入等については関数の中でしか行えない。ただし、変数宣言時に限り初期値の設定を「var a int = 5」のように関数の外でも行えるという理解ですっきり納得致しました。それであれば「var a int」と宣言した後に「a = 5」のように代入だけを関数外で行うことが出来ない（エラーが出る）ということを説明できますね。ご教授下さりありがとうございました。

[nobonobo]

パッと回答書いたので用語の正しさは足りないかもしれませんが、意図は伝わったようで何よりです。

Answer 2

次のようにすれば宣言と初期化を分けることができます。

package main

import (
        "fmt"
)

var a int

func main() {
        a = 1
        fmt.Println(a)
}

省略形式による変数の宣言

省略形式は関数内でのみ使用されます。

a := 1 は省略形式で、1 というリテラルから int であることを推論し、a を int 型の変数として宣言し、同時に初期化しています。この表記は引用した通り、関数内のみでしか使うことができません。

Comments

[Mizuki_Network]

ご丁寧に回答下さりありがとうございます。省略形式が関数内でのみ使用できるということは知りませんでした。また、参照のリンクもありがとうございます。パッケージ変数の宣言は関数の外で行えるものの、変数への数値等の代入は基本的に関数の中で行うものなんですね。とても勉強になりました。ご回答下さりありがとうございます。