初めてのGo言語 第2版 ―他言語プログラマーのためのイディオマティックGo実践ガイド

2章事前宣言された型

開発環境が準備できましたので、Go言語の特徴とそれを最大限に生かしたプログラミングの方法を見ていきましょう。「最大限」が何かを判断するための原則があります。意図を明確に表現するということです。これからGo言語のさまざまな機能を紹介していきますが、どのような機能を使ってどのようなコードを書けば意図を明確に表現できるかに重点を置いて説明していきます。

まず、Go言語にあらかじめ組み込まれている事前宣言された型（predeclared type）と、そうした型の変数（variable）を宣言する方法を紹介します。いずれも、ほかの言語とは少し違っています。

2.1　あらかじめ宣言された型

Go言語にはあらかじめ組み込まれている型があります。これを事前宣言された型（predeclared type）と呼びます†1。ほかの言語でもよく使われる、論理値、整数、浮動小数点数、文字列などを表すものです。Go言語で事前宣言された型をイディオム的に使いこなすのには慣れが必要です。

[†1] 訳注：「宣言済みの型」「あらかじめ宣言された型」「組み込み型」などと呼ばれる場合もあります。また、少し意味合いが異なってしまいますが、基本型（primitive type）といった表現で（ほぼ）同じ意味を表す場合もあります。

これから、個々の型について順番に見ていきますが、その前に、「ゼロ値」と「リテラル」について説明します。

2.1.1　ゼロ値

比較的新しい言語の多くがそうですが、Go言語でも「宣言されたが、値が割り当てられていない変数」に対しては、デフォルトのゼロ値（zero value）が割り当てられます。明示的なゼロ値があることでコードがクリアになり、CやC++のプログラムによく見られるバグを回避します。以下で各型について説明する際にそれぞれの型のゼロ値も紹介します ...