Golng 作成したパッケージをインポートできない。

Question

環境:Windows10 pro
VSCODE
go 1.17.7
初学者です。

プロジェクトを作成してその下にmylibディレクトリ、さらにその下にsubというディレクトリを作りそこにgo関数置き。
main関数で呼び出すことをしました。
Project名----
|-----mylib
| |--under
| |
| sub.go
main.go

main.go

package main

import (
	"AWESOMEPROJECT/mylib"
	"AWESOMEPROJECT/mylib/under"
	"fmt"
)

func main() {
	s := []int{1, 2, 3, 4, 5}
	fmt.Println(mylib.Average(s))

	mylib.Say()
	under.Hello()
}

mylibの下にもgoファイルがあり、それは認識して呼び込んでくれるのですが、さらに下の階層のunderはエラーになります。

PS C:\Users\User\Desktop\awesomeProject> go run main.go
main.go:4:2: package AWESOMEPROJECT/mylib is not in GOROOT (C:\Program Files\Go\src\AWESOMEPROJECT\mylib)   
package command-line-arguments
        imports AWESOMEPROJECT/mylib/under
        imports AWESOMEPROJECT/mylib/under: import cycle not allowed

go.modファイルは以下になります。

module AWESOMEPROJECT

go 1.17

下の階層のgoファイルを呼び出すにはどうしたら良いのでしょうか？

以下を参考にしました。
[GO言語]GOPATH以外の場所でのimportの挙動について整理
Go 1.16環境構築（Windows）
GOMODULE--Goのパッケージ管理

Answer 1

将来、３階層とか４階層とかディレクトリを作りコードを書くことはありません。
２階層までは正常に動作するので、初学者としてこれで満足したいと思います。
大変勉強になりました。ありがとうございます。

Answer 2

そのエラーメッセージは「循環インポートは許可されていません」とお知らせしています。
コードが伏せられているので詳細は分かりませんが、
パッケージの依存関係を図示したときに循環状態が生まれている場合にこういうエラーになります。

循環状態の例：

• AがBをインポート
• BがAをインポート

これはインポート依存を矢印で図示してみるとAー＞Bー＞Aー＞Bー＞・・・と延々と終端にたどり着けない状態を指します。

既存の言語とGoの違い

既存の言語処理系では循環インポートをエラーとしないものが多いのですが、
これはコンパイル時間を遅くすることや、コードから本質的な依存関係を
把握しにくくなるということでGoではエラー扱いにするという仕様を採択しています。

なので、解決するには循環インポートしている実装を循環しないようにするしかありません。

解決案

• 解決案１（初心者向け）：パッケージの分割をやめてまとめる
• 解決案２：局所的な依存定義をさらに別のパッケージに分割

解決案１の解説

例えばAパッケージにa1、a2の定義が書かれていて、Bパッケージにb1、b2の定義が書かれているとして、
a1がa2とb1を利用したい、b2がa2を利用したい実装があるとすると、この状況をそのまんま実装するとAとBの循環インポートが生まれます。
そこでAパッケージにa1、a2、b1、b2の定義を全部入れ込んでしまうと循環参照は発生しなくなります。
ちなみにファイルは分割されていてもよくて、同じフォルダに多くのファイルを詰め込むという解決方法です。

解決案２の解説

例えばAパッケージにa1、a2の定義が書かれていて、Bパッケージにb1、b2の定義が書かれているとして、
a1がa2とb1を利用したい、b2がa2を利用したい実装があるとすると、この状況をそのまんま実装するとAとBの循環インポートが生まれます。
こういう時、a2の定義をCパッケージとして分離すると、A-＞C、A-＞B-＞Cという依存関係になり循環しなくなります。