Goで構造体配列に値を代入する際のエラー

Question

やりたいこと

Goでハッシュチェーンを実装しています。
Goで書くのはほぼ初めてなのですが、構造体配列の使い方で困っています。

実際に書いたコード

次のようなプログラムを書きました。

package main

import (
	"crypto/sha256"
	"fmt"
)

func main() {
	Array := [...]string{"0001", "0002", "0003", "0004"}
	h := sha256.New()

	//構造体を定義
	type Block struct {
		Index     int
		DataBlock string
		Hash      string
	}

	//構造体配列を定義
	type BlockArray []*Block
	var hashChain BlockArray

	for i := 0; i < len(Array); i++ {
		if i == 0 {
			h.Write([]byte(Array[i]))
			hashChain[i] := Block{i, Array[i], fmt.Sprintf("%x", h.Sum(nil))}
			fmt.Printf("%x \n", hashChain[i].Hash)
		}else{
			var message string
			message = Array[i] + hashChain[i-1].Hash
			h.Write([]byte(message))
			hashChain[i] := Block{i, Array[i], fmt.Sprintf("%x", h.Sum(nil))}
			fmt.Printf("%x \n", hashChain[i].Hash)
		}
		fmt.Printf("%x \n", hashChain[i].Hash)
	}
}

エラー

実行した際のエラーがこちらです

% go run hashChain.go
# command-line-arguments
./hashChain.go:38:13: non-name hashChain[i] on left side of :=
./hashChain.go:44:13: non-name hashChain[i] on left side of :=

やったこと

型推論が原因かと思い、調べましたがこの記事のように、型推論ではないようです

何かの基礎的知識が抜けているのであれば、そのあたりをご指摘もらえると幸甚です。

Answer 1

Goのスライスもマップも要素アクセスのために提供される機能としては
「値」の参照と代入のみです。

「:=」は「新しい変数への束縛」といって単なる「代入」とは挙動が異なります。

「新しい変数への束縛」の挙動は「左辺にあるシンボルで現スコープに新たに変数を作り、その初期値を設定する」というものです。エラーメッセージの内容は「hashChain[i]はシンボル名として不正なので:=の左辺には使えない」ということです。

つまり「:=」じゃなくて「=」を使いましょうということです。

ただ、多値の場合はいずれか一つが「新しい変数名」であれば良いという挙動をとります。
以下ののようなコードは実行可能で、2度目のerrは「単なる代入」の挙動になります。

a, err := func1()
b, err := func2()

ただし、いずれにせよ「:=」の左辺には「単純変数名」しか置けません。

Comments

[ts21]

ご丁寧に回答いただきありがとうございます。スライスやマッピングの挙動について誤解していた部分がありました。

こちらの質問については、同じく@nobonoboさんのおかげで解決いたしました！
→https://teratail.com/questions/358517