[インデックス 1526] ファイルの概要

このコミットでは、Go言語の初期開発段階において存在した export キーワードが削除されました。この変更は、Go言語の設計思想である「シンプルさ」と「明示的な宣言の削減」を追求する一環として行われました。具体的には、Go言語の識別子の可視性（エクスポートされるか否か）を、その識別子の先頭文字が大文字か小文字かによって決定するという、現在のGo言語の慣習が確立される過渡期の重要な変更点となります。

変更されたファイルは多岐にわたり、Go言語の標準ライブラリ、コンパイラ関連のコード、およびテストファイルなど、合計234ファイルに影響が及んでいます。これは、export キーワードが言語の広範な部分で使用されていたことを示しています。

主な変更ファイルは以下の通りです。

doc/progs/fd.go
doc/progs/sort.go
src/cmd/gc/sys.go
src/lib/bignum.go
src/lib/bignum_test.go
src/lib/bufio.go
src/lib/bufio_test.go
src/lib/container/array/array.go
src/lib/container/array/array_test.go
src/lib/container/array/intarray.go
src/lib/flag.go
src/lib/fmt/fmt_test.go
src/lib/fmt/format.go
src/lib/fmt/print.go
src/lib/hash/adler32.go
src/lib/hash/adler32_test.go
src/lib/hash/crc32.go
src/lib/hash/crc32_test.go
src/lib/hash/md5.go
src/lib/hash/md5_test.go
src/lib/hash/sha1.go
src/lib/hash/sha1_test.go
src/lib/http/conn.go
src/lib/http/request.go
src/lib/http/server.go
src/lib/http/url.go
src/lib/io/bytebuffer.go
src/lib/io/io.go
src/lib/json/generic.go
src/lib/json/generic_test.go
src/lib/json/parse.go
src/lib/json/struct.go
src/lib/json/struct_test.go
src/lib/malloc.go
src/lib/math/all_test.go
src/lib/math/asin.go
src/lib/math/atan.go
src/lib/math/atan2.go
src/lib/math/const.go
src/lib/math/exp.go
src/lib/math/fabs.go
src/lib/math/floor.go
src/lib/math/fmod.go
src/lib/math/hypot.go
src/lib/math/log.go
src/lib/math/pow.go
src/lib/math/pow10.go
src/lib/math/sin.go
src/lib/math/sinh.go
src/lib/math/sqrt.go
src/lib/math/tan.go
src/lib/math/tanh.go
src/lib/net/dialgoogle_test.go
src/lib/net/dnsclient.go
src/lib/net/dnsconfig.go
src/lib/net/dnsmsg.go
src/lib/net/fd.go
src/lib/net/fd_darwin.go
src/lib/net/fd_linux.go
src/lib/net/ip.go
src/lib/net/ip_test.go
src/lib/net/net.go
src/lib/net/net_darwin.go
src/lib/net/net_linux.go
src/lib/net/parse_test.go
src/lib/net/port.go
src/lib/net/port_test.go
src/lib/net/tcpserver_test.go
src/lib/once.go
src/lib/once_test.go
src/lib/os/os_env.go
src/lib/os/os_error.go
src/lib/os/os_file.go
src/lib/os/os_time.go
src/lib/rand.go
src/lib/reflect/all_test.go
src/lib/reflect/tostring.go
src/lib/reflect/type.go
src/lib/reflect/value.go
src/lib/regexp/all_test.go
src/lib/regexp/regexp.go
src/lib/sort.go
src/lib/sort_test.go
src/lib/strconv/atof.go
src/lib/strconv/atof_test.go
src/lib/strconv/atoi.go
src/lib/strconv/atoi_test.go
src/lib/strconv/decimal_test.go
src/lib/strconv/fp_test.go
src/lib/strconv/ftoa.go
src/lib/strconv/ftoa_test.go
src/lib/strconv/itoa.go
src/lib/strconv/itoa_test.go
src/lib/strconv/quote.go
src/lib/strconv/quote_test.go
src/lib/strings.go
src/lib/strings_test.go
src/lib/sync/mutex.go
src/lib/sync/mutex_test.go
src/lib/syscall/errstr_darwin.go
src/lib/syscall/errstr_linux.go
src/lib/syscall/file_darwin.go
src/lib/syscall/file_linux.go
src/lib/syscall/signal_amd64_darwin.go
src/lib/syscall/signal_amd64_linux.go
src/lib/syscall/socket_darwin.go
src/lib/syscall/socket_linux.go
src/lib/syscall/syscall.go
src/lib/syscall/syscall_amd64_darwin.go
src/lib/syscall/syscall_amd64_linux.go
src/lib/syscall/time_amd64_darwin.go
src/lib/syscall/time_amd64_linux.go
src/lib/syscall/types_amd64_darwin.go
src/lib/syscall/types_amd64_linux.go
src/lib/tabwriter/tabwriter.go
src/lib/tabwriter/tabwriter_test.go
src/lib/testing.go
src/lib/time/tick.go
src/lib/time/tick_test.go
src/lib/time/time.go
src/lib/time/time_test.go
src/lib/time/zoneinfo.go
src/lib/unicode/letter.go
src/lib/unicode/letter_test.go
src/lib/utf8.go
src/lib/utf8_test.go
test/235.go
test/bigalg.go
test/bugs/bug117.go
test/bugs/bug121.go
test/bugs/bug123.go
test/bugs/bug130.go
test/chan/fifo.go
test/chan/powser1.go
test/chan/powser2.go
test/chan/select.go
test/chan/sieve.go
test/complit.go
test/export.go
test/fixedbugs/bug007.go
test/fixedbugs/bug011.go
test/fixedbugs/bug023.go
test/fixedbugs/bug025.go
test/fixedbugs/bug026.go
test/fixedbugs/bug027.go
test/fixedbugs/bug028.go
test/fixedbugs/bug044.go
test/fixedbugs/bug045.go
test/fixedbugs/bug046.go
test/fixedbugs/bug054.go
test/fixedbugs/bug057.go
test/fixedbugs/bug058.go
test/fixedbugs/bug059.go
test/fixedbugs/bug066.go
test/fixedbugs/bug075.go
test/fixedbugs/bug083.dir/bug0.go
test/fixedbugs/bug084.go
test/fixedbugs/bug088.dir/bug0.go
test/fixedbugs/bug089.go
test/fixedbugs/bug093.go
test/fixedbugs/bug096.go
test/fixedbugs/bug097.go
test/fixedbugs/bug098.go
test/fixedbugs/bug099.go
test/fixedbugs/bug106.dir/bug0.go
test/fixedbugs/bug111.go
test/fixedbugs/bug112.go
test/fixedbugs/bug113.go
test/fixedbugs/bug114.go
test/fixedbugs/bug118.go
test/fixedbugs/bug120.go
test/func.go
test/hashmap.go
test/hilbert.go
test/interface.go
test/interface1.go
test/interface2.go
test/interface3.go
test/interface4.go
test/interface5.go
test/interface6.go
test/iota.go
test/ken/chan.go
test/ken/embed.go
test/ken/interbasic.go
test/ken/interfun.go
test/ken/intervar.go
test/ken/ptrfun.go
test/ken/rob1.go
test/ken/rob2.go
test/ken/robfunc.go
test/mallocrand.go
test/mallocrep1.go
test/map.go
test/method.go
test/method1.go
test/method2.go
test/method3.go
test/nil.go
test/peano.go
test/sieve.go
test/test0.go
test/vectors.go
usr/gri/gosrc/ast.go
usr/gri/gosrc/base.go
usr/gri/gosrc/compilation.go
usr/gri/gosrc/decls.go
usr/gri/gosrc/export.go
usr/gri/gosrc/expr.go
usr/gri/gosrc/globals.go
usr/gri/gosrc/import.go
usr/gri/gosrc/object.go
usr/gri/gosrc/parser.go
usr/gri/gosrc/platform.go
usr/gri/gosrc/printer.go
usr/gri/gosrc/scanner.go
usr/gri/gosrc/test/b.go
usr/gri/gosrc/test/c.go
usr/gri/gosrc/test/d.go
usr/gri/gosrc/type.go
usr/gri/gosrc/universe.go
usr/gri/gosrc/utils.go
usr/gri/gosrc/verifier.go
usr/gri/pretty/ast.go
usr/gri/pretty/compilation.go
usr/gri/pretty/parser.go
usr/gri/pretty/platform.go
usr/gri/pretty/printer.go
usr/gri/pretty/scanner.go
usr/gri/pretty/selftest0.go
usr/gri/pretty/selftest2.go
usr/gri/pretty/typechecker.go
usr/gri/pretty/universe.go
usr/gri/pretty/utils.go

コミット

commit 839a68469b6f8bf40620a7977041e089bbd0eba3
Author: Russ Cox <rsc@golang.org>
Date:   Tue Jan 20 14:40:40 2009 -0800

    delete export
    
    TBR=r
    OCL=23121
    CL=23127

GitHub上でのコミットページへのリンク

https://github.com/golang/go/commit/839a68469b6f8bf40620a7977041e089bbd0eba3

元コミット内容

delete export

変更の背景

このコミットは、Go言語の初期設計における重要な変更点の一つです。Go言語は当初、他の多くのプログラミング言語と同様に、外部に公開する（エクスポートする）識別子に対して明示的な export キーワードを使用していました。しかし、Go言語の設計者たちは、言語のシンプルさとコードの読みやすさを追求する中で、この export キーワードの必要性について再検討しました。

export キーワードは、コードの冗長性を生み出し、特に大規模なコードベースではその管理が煩雑になる可能性がありました。また、Go言語の設計哲学には「明示的であることよりも、慣習によってコードの意図を伝えること」という考え方があります。この哲学に基づき、識別子の可視性を明示的なキーワードではなく、命名規則によって表現する方がよりGoらしいアプローチであると判断されました。

この変更により、Go言語は現在の「識別子の先頭文字が大文字であればエクスポートされ、小文字であればパッケージ内部に限定される」という、非常にシンプルかつ強力な可視性ルールを採用することになります。このコミットは、その移行期における export キーワードの完全な削除を意味し、Go言語の設計が現在の形に収斂していく上で不可欠なステップでした。

前提知識の解説

Go言語における「エクスポート」とは、パッケージの外部からアクセス可能にする、つまり公開することを指します。Go言語では、変数、関数、型、構造体のフィールドなど、あらゆる識別子に対してこの可視性ルールが適用されます。

現在のGo言語では、識別子の可視性は以下のシンプルなルールによって決定されます。

エクスポートされた識別子 (Exported Identifiers):
- 識別子の先頭文字が大文字である場合、その識別子はエクスポートされます。
- エクスポートされた識別子は、その識別子が定義されているパッケージの外部から参照・利用することができます。
- 例: fmt.Println, math.Pi, http.Get など。これらはすべて先頭が大文字であるため、Goの標準ライブラリの外部から利用可能です。
エクスポートされない識別子 (Unexported Identifiers):
- 識別子の先頭文字が小文字である場合、その識別子はエクスポートされません。
- エクスポートされない識別子は、その識別子が定義されているパッケージの内部からのみ参照・利用することができます。パッケージの外部からはアクセスできません。
- 例: internal/ ディレクトリ内のパッケージや、パッケージ内部のヘルパー関数、プライベートな構造体フィールドなど。

このルールは、Go言語のAPI設計において非常に重要です。開発者は、パッケージの公開インターフェースを明確に定義するために、どの識別子を大文字で始め、どの識別子を小文字で始めるかを意識してコードを書きます。これにより、不必要な内部実装の詳細が外部に漏れることを防ぎ、パッケージの凝集度を高め、疎結合なシステムを構築するのに役立ちます。

このコミット以前は、この大文字・小文字のルールに加えて export キーワードが必要でしたが、このコミットによって export キーワードが廃止され、現在のシンプルな命名規則のみで可視性が制御されるようになりました。

技術的詳細

export キーワードの削除は、Go言語のコンパイラとツールチェーンに大きな影響を与えました。

コンパイラの変更:
- コンパイラは、識別子の可視性を判断する際に、export キーワードの有無をチェックするロジックを削除し、代わりに識別子の先頭文字のケース（大文字か小文字か）をチェックするように変更されました。
- これにより、パーサーは export キーワードを特別なトークンとして認識する必要がなくなり、言語の文法が簡素化されました。
- コンパイル時の処理がわずかに効率化された可能性があります。キーワードの解析と管理のオーバーヘッドがなくなるためです。
言語仕様の簡素化:
- export キーワードの削除は、Go言語の仕様自体を簡素化しました。開発者は、可視性を制御するために追加のキーワードを覚える必要がなくなり、命名規則という自然な方法でその意図を表現できるようになりました。
- これは、Go言語の設計哲学である「シンプルさ」と「明示的な宣言の削減」に合致しています。
コードベース全体への影響:
- このコミットが示すように、export キーワードはGo言語の初期のコードベース全体で広く使用されていました。そのため、この変更は非常に大規模なリファクタリングを伴いました。
- すべての export キーワードを削除し、必要に応じて識別子の先頭文字を大文字に変更する作業が行われました。これにより、既存のコードが新しい可視性ルールに準拠するようになりました。
- テストファイルも同様に更新され、新しい可視性ルールが正しく機能することを確認しました。
可読性と保守性の向上:
- 命名規則による可視性制御は、コードの可読性を向上させます。開発者は、識別子を見ただけでそれがパッケージの外部からアクセス可能かどうかを直感的に判断できます。
- また、新しい識別子を定義する際に、可視性を意識した命名を自然に行うようになり、コードベース全体の整合性が保たれやすくなります。
- これにより、長期的なコードの保守性も向上します。

この変更は、Go言語がその初期段階で、より洗練された、そして「Goらしい」設計へと進化していく過程における重要なマイルストーンと言えます。

コアとなるコードの変更箇所

このコミットのコアとなる変更は、Go言語のソースコード全体から export キーワードを削除することです。以下に、その典型的な変更例をいくつか示します。

例1: 構造体の定義

doc/progs/fd.go ファイルの変更:

--- a/doc/progs/fd.go
+++ b/doc/progs/fd.go
@@ -9,7 +9,7 @@ import (
 	"syscall";
 )
 
-export type FD struct {
+type FD struct {
 	fildes  int64;  // file descriptor number
 	name    string; // file name at Open time
 }

例2: 変数の宣言

doc/progs/fd.go ファイルの変更:

--- a/doc/progs/fd.go
+++ b/doc/progs/fd.go
@@ -21,13 +21,13 @@ func newFD(fd int64, name string) *FD {
 	return &FD{fd, name}
 }
 
-export var (
+var (
 	Stdin  = newFD(0, "/dev/stdin");
 	Stdout = newFD(1, "/dev/stdout");
 	Stderr = newFD(2, "/dev/stderr");
 )

例3: 関数の定義

doc/progs/sort.go ファイルの変更:

--- a/doc/progs/sort.go
+++ b/doc/progs/sort.go
@@ -4,13 +4,13 @@
 
 package sort
 
-export type SortInterface interface {
+type SortInterface interface {
 	Len() int;
 	Less(i, j int) bool;
 	Swap(i, j int);
 }
 
-export func Sort(data SortInterface) {
+func Sort(data SortInterface) {
 	for i := 1; i < data.Len(); i++ {
 		for j := i; j > 0 && data.Less(j, j-1); j-- {
 			data.Swap(j, j-1);

これらの例は、type、var、func の宣言の前にあった export キーワードが単純に削除されていることを示しています。識別子自体（FD, Stdin, SortInterface, Sort など）は、すでに先頭が大文字であるため、この変更後もエクスポートされたままとなります。

コアとなるコードの解説

上記のコード変更は、Go言語の可視性ルールが export キーワードから命名規則へと完全に移行したことを明確に示しています。

export type FD struct { ... } から type FD struct { ... } へ:
- 変更前は、FD 型がパッケージ外部に公開されることを明示的に export キーワードで示していました。
- 変更後は、export キーワードが削除されていますが、型名 FD の先頭文字が F (大文字) であるため、Go言語の新しい可視性ルールに従って引き続きエクスポートされます。これにより、冗長なキーワードが不要になり、コードがより簡潔になります。
export var (...) から var (...) へ:
- Stdin, Stdout, Stderr といった標準入出力に関連する変数も同様に、export キーワードが削除されています。
- これらの変数名も先頭が大文字であるため、パッケージ外部からアクセス可能です。
export func Sort(...) から func Sort(...) へ:
- Sort 関数や SortInterface インターフェースも、export キーワードが削除されています。
- 関数名やインターフェース名の先頭が大文字であるため、これらは引き続きエクスポートされ、他のパッケージから利用できます。

この変更の意図は、Go言語の設計哲学である「シンプルさ」と「明示的な宣言の削減」を徹底することにあります。export キーワードは、C++の public や Javaの public といったアクセス修飾子に似た役割を果たしていましたが、Go言語では、命名規則というより自然で直感的な方法で同じ目的を達成できると判断されました。

これにより、Goのコードはより読みやすく、記述しやすくなり、開発者は可視性を制御するために追加の構文を覚える必要がなくなりました。この変更は、Go言語が現在の成功を収める上で基盤となった、そのミニマリストな設計アプローチを象徴するものです。

参考にした情報源リンク

Go言語におけるエクスポートの仕組みに関する記事:
- https://labex.io/ (Google Search結果より)
- https://www.digitalocean.com/community/tutorials/understanding-packages-in-go
- https://gitbooks.io/ (Google Search結果より)
- https://www.scaler.com/topics/go/exported-and-unexported-identifiers-in-go/
- https://go.dev/ (Google Search結果より)
- https://kodekloud.com/ (Google Search結果より)
- https://medium.com/ (Google Search結果より)
Go 2における export キーワードの提案に関する議論 (採用されなかった提案):
- https://github.com/golang/go/issues/20430 (Google Search結果より)

comemo