【Go】宣言したSwitch文の挙動が理解出来ない。Defined Type, Stringerインターフェースも絡んでると思います。

Question

package main

import "fmt"

type ProductCode int

const Btcjpy ProductCode = 0
const Ethjpy ProductCode = 1

func (code ProductCode) String() string {
	switch code {
	case Btcjpy:
		return "BTC_JPY"
	case Ethjpy:
		return "ETH_JPY"
	default:
		return "BTC_JPY"
	}
}
func main() {
	code := Btcjpy.String()
	fmt.Println(code)
}

上記の様なコードがあります。

分からないこと

main関数でBtcjpy.String()とすると
const Btcjpy ProductCode = 0 なので、0.String()と同義だと思います。
その後、Stringメソッドを呼び出すのでレシーバーのcodeには0が入ると思います。
その後にSwitchでcodeがBtcjpyならBTC_JPYを返すと書いてあります。
ただここでレシーバー(code)には0が入っているのに、
なぜcase Btcjpy: と出来るのか謎です。
僕が思うのは結果としては間違えているのは分かっているのですが、

func (code ProductCode) String() string {
	switch code {
	case 0:
		return "BTC_JPY"
	case 1:
		return "ETH_JPY"
	default:
		return "BTC_JPY"
	}
}

なら辻褄が合うと思って仕方がありません。

僕が理解できてないところ、解決していただけないでしょうか。
何か基礎的な文法の知識が欠落してる可能性、勘違いしている可能性もあります。

宜しくお願い致します。

Answer 1

ご回答に対する返事にて解決済みです。

Answer 2

ProductCode型とint型はあくまでべつの型として扱われます。
また、コンパイラは常に値の型を把握した状態でコンパイル処理を行います。

なので、辻褄が合うと後から提示したコードはコンパイルエラーになるはずです。
「0.String()」は「int(0).String()」としてint型のStringメソッドをコンパイラは探しますが存在しないのでエラーになります。

「Btcjpy.String()」であれば「ProductCode(0).String()」としてProductCode型のStringメソッドをコンパイラが探して見つけてコンパイルできるという結果になります。

Comments

[rzz]

nobobo様ありがとうございます。
switch code {
case Btcjpy:
ここのcodeは僕が最初に載せたコードだとなにが入っていますでしょうか。

[nobonobo]

メソッドにはレシーバーが存在します。それがfuncとString()の間に書かれた記述がレシーバーを示しています。
main関数の記述でそのレシーバーに該当するものは「Btcjpy」です。なのでBtcjpy.String()を呼び出したとき、Stringメソッド内のcodeの値は「int(0)」ではなく、「Btcjpy==ProductCode(0)」になります。

[rzz]

nobonoboさん本当にありがとうございます。
メソッドに対する理解不足でした。
単純にレシーバ.メソッドで呼び出すというところで勝手にBtcJpy変数を呼びだしていると思っていました。