WikiSort.ru - Программирование

ПОИСК ПО САЙТУ | о проекте
Go
Класс языка многопоточный, императивный, структурированный
Тип исполнения компилируемый
Появился в 2009
Автор Роберт Гризмер, Роб Пайк и Кен Томпсон
Разработчик Google, Роб Пайк и Кен Томпсон
Расширение файлов .go
Выпуск
Система типов строгая, статическая, с выводом типов
Основные реализации: gc (8g, 6g, 5g), gccgo
Испытал влияние Си, Паскаль/Модула/Оберон[1], Limbo
Лицензия BSD[2]
Сайт golang.org

Go (часто также Golang) — компилируемый многопоточный язык программирования, разработанный внутри компании Google[3]. Разработка Go началась в сентябре 2007 года, его непосредственным проектированием занимались Роберт Гризмер, Роб Пайк и Кен Томпсон[4], занимавшиеся до этого проектом разработки операционной системы Inferno. Официально язык был представлен в ноябре 2009 года. На данный момент поддержка официального компилятора, разрабатываемого создателями языка, осуществляется для операционных систем FreeBSD, OpenBSD, Linux, macOS, Windows, DragonFly BSD, Plan 9, Solaris, Android.[5]. Также Go поддерживается набором компиляторов gcc, существует несколько независимых реализаций. Ведётся разработка второй версии языка.

Название

Название языка, выбранное компанией Google, практически совпадает с названием языка программирования Go!, созданного Ф. Джи. МакКейбом и К. Л. Кларком в 2003 году[6]. Обсуждение названия ведётся на странице, посвящённой Go[6].

Назначение, идеология

Язык Go разрабатывался как язык программирования для создания высокоэффективных программ, работающих на современных распределённых системах и многоядерных процессорах. Он может рассматриваться как попытка создать замену языкам Си и C++[7]. По словам Роба Пайка[7], «Go был разработан для решения реальных проблем, возникающих при разработке программного обеспечения в Google». В качестве основных таких проблем он называет:

  • медленную сборку программ;
  • неконтролируемые зависимости;
  • использование разными программистами разных подмножеств языка;
  • затруднения с пониманием программ, вызванные неудобочитаемостью кода, плохим документированием и так далее;
  • дублирование разработок;
  • высокую стоимость обновлений;
  • несинхронные обновления при дублировании кода;
  • сложность разработки инструментария;
  • проблемы межъязыкового взаимодействия.

Основными требованиями к языку стали[8]:

  • Ортогональность. Язык должен предоставлять небольшое число средств, не повторяющих функциональность друг друга.
  • Простая и регулярная грамматика. Минимум ключевых слов, простая, легко разбираемая грамматическая структура, легко читаемый код.
  • Простая работа с типами. Типизация должна обеспечивать безопасность, но не превращаться в бюрократию, лишь увеличивающую код. Отказ от иерархии типов, но с сохранением объектно-ориентированных возможностей.
  • Отсутствие неявных преобразований.
  • Сборка мусора.
  • Встроенные средства распараллеливания, простые и эффективные.
  • Поддержка строк, ассоциативных массивов и коммуникационных каналов.
  • Чёткое разделение интерфейса и реализации.
  • Эффективная система пакетов с явным указанием зависимостей, обеспечивающая быструю сборку.

Go создавался в расчёте на то, что программы на нём будут транслироваться в объектный код целевой аппаратной и программной платформы и в дальнейшем исполняться непосредственно, не требуя виртуальной машины, поэтому одним из критериев выбора архитектурных решений была возможность обеспечить быструю компиляцию в эффективный объектный код и отсутствие чрезмерных требований к динамической поддержке.

В результате получился язык, «который не стал прорывом, но тем не менее явился отличным инструментом для разработки крупных программных проектов»[7].

Хотя для Go доступен и интерпретатор, практически в нём нет большой потребности, так как скорость компиляции достаточно высока для обеспечения интерактивной разработки.

Основные возможности языка

Основные возможности языка Go[4]:

  • Go — язык со строгой статической типизацией. Доступен автоматический вывод типов, для пользовательских типов — «утиная типизация».
  • Полноценная поддержка указателей, но без возможности применять к ним арифметические операции, в отличие от C/C++/D.
  • Строковый тип со встроенной поддержкой юникода.
  • Использование динамических массивов, хеш-таблиц, срезов (слайсов), вариант цикла для обхода коллекции.
  • Средства функционального программирования: неименованные функции, замыкания, передача функций в параметрах и возврат функциональных значений.
  • Автоматическое управление памятью со сборщиком мусора.
  • Средства объектно-ориентированного программирования, но без поддержки наследования реализации (наследуются только интерфейсы). По большому счёту, Go является процедурным языком с поддержкой интерфейсов.
  • Средства параллельного программирования: встроенные в язык потоки (go routines), взаимодействие потоков через каналы и другие средства организации многопоточных программ.
  • Достаточно лаконичный и простой синтаксис, основанный на Си, но существенно доработанный, с большим количеством синтаксического сахара.

Go не содержит целого ряда популярных синтаксических средств, доступных в других современных языках прикладного программирования. Во многих случаях это вызвано сознательным решением разработчиков. Краткие обоснования выбранных проектных решений можно найти в «Часто задаваемых вопросах»[4] по языку, более подробные — в опубликованных на сайте языка статьях и обсуждениях, рассматривающих различные варианты дизайна. В частности:

  • Структурная запись обработчиков исключений сочтена провоцирующей на пропуск ошибок или неадекватную их обработку. К тому же поддержка исключений серьёзно усложняется в приложениях с параллельно работающими частями. Вместо неё предлагается проверка кодов возврата с использованием многозначных функций и специального интерфейса error, а также применение отложенных (deferred) функций для перехвата исключительных ситуаций.
  • Наследование реализации, как считают авторы, приводит к созданию кода с неявными зависимостями, избыточно сложного в поддержке. Аналогичные возможности, но без свойственных наследованию нежелательных эффектов, обеспечиваются поддержкой вложения типов и свободно определяемыми интерфейсами.
  • Обобщённое программирование. Авторы воздержались от его включения в первую версию языка, поскольку, по их словам[4], предоставляемые им возможности не окупают требуемого усложнения компилятора и runtime-библиотек, а уже имеющиеся в языке средства (пустые интерфейсы, «утиная типизация» и рефлексия) позволяют создавать обобщённый код без специальных синтаксических механизмов. Тем не менее, обсуждается вопрос о включении таких средств в проектируемую вторую версию языка, выход которой запланирован на 2019 год.
  • Использование утверждений (assertion) было сочтено ненужным.
  • Переопределение методов и функций было исключено из соображений надёжности и эффективности компиляции: требование различного именования всех методов на одном уровне видимости устраняет необходимость сопоставлять списки параметров при компиляции вызовов функций и методов и исключает ошибочный вызов другого одноимённого метода; при этом сама возможность переопределения есть не более чем синтаксический сахар.
  • Ряд операций над массивами и срезами (например, вставка элемента в середину) не включены в язык, поскольку они достаточно затратны. Возможность их выполнения одной простой командой провоцировала бы программиста на создание неэффективного кода, отсутствие таких команд в языке, напротив, является стимулом для рассмотрения альтернативных решений.
  • Поддержка отрицательных индексов,[9] доступная в ряде популярных языков, может стать причиной труднообнаруживаемых ошибок: появление отрицательного индекса из-за ошибки в коде вместо того, чтобы привести к фатальному сбою, вызовет внешне корректное обращение не к тем элементам массива, что проявится только в неверных результатах и может быть обнаружено далеко не сразу.
  • Принцип «любое выражение возвращает значение» провоцирует программиста на создание сложных, трудно воспринимаемых и чреватых неочевидными ошибками выражений (вроде копирования строки на Си командой из трёх слов: while (*ptr1++ = *ptr2++);). Практической необходимости в таком усложнении сейчас нет: современный оптимизирующий компилятор оттранслирует и экстремально сокращённое выражение, и аналогичный по функциональности фрагмент, написанный безо всяких ухищрений, в одинаково эффективный машинный код.

Синтаксис

Синтаксис языка Go схож с синтаксисом языка Си, с отдельными элементами, заимствованными из Оберона и скриптовых языков.

Алфавит

Go — регистрозависимый язык с полной поддержкой Юникода в строках и идентификаторах.

Идентификатор традиционно может быть любой непустой последовательностью, включающей буквы, цифры и знак подчёркивания, начинающийся с буквы и не совпадающий ни с одним из ключевых слов языка Go. При этом под «буквами» понимаются все символы Юникода, относящиеся к категориям «Lu» (буквы верхнего регистра), «Ll» (буквы нижнего регистра), «Lt» (заглавные буквы), «Lm» (буквы-модификаторы) или «Lo» (прочие буквы), под «цифрами» — все символы из категории «Nd» (числа, десятичные цифры). Таким образом, ничто не мешает использовать в идентификаторах, например, кириллицу.

Идентификаторы, различающиеся только регистром букв, являются различными. В языке существует ряд соглашений об использовании заглавных и строчных букв. В частности, в именах пакетов используются только строчные буквы. Все ключевые слова Go пишутся в нижнем регистре.

В строковых литералах могут использоваться все символы Юникода без ограничений. Строки представляются как последовательности символов в кодировке UTF-8

Пакеты и модули

Любая программа на Go включает один или несколько пакетов. Пакет, к которому относится файл исходного кода, задаётся описанием package в начале файла. Имена пакетов имеют те же ограничения, что и идентификаторы, но могут содержать буквы только нижнего регистра. Система пакетов go-среды имеет древовидную структуру, аналогичную дереву каталогов. Любые глобальные объекты (переменные, типы, интерфейсы, функции, методы, элементы структур и интерфейсов) доступны без ограничений в пакете, в котором они объявлены. Глобальные объекты, имена которых начинаются на заглавную букву, являются экспортируемыми.

Для использования в файле кода Go объектов, экспортированных другим пакетом, пакет должен быть импортирован, для чего применяется конструкция import.

package main
/* Импорт */
import (
	"fmt"  // Стандартный пакет для форматированного вывода
	w "os" // Платформо-независимый интерфейс с операционной 
           // системой - импортирован с переименованием
	_ "gopkg.in/goracle.v2"  // Импорт пакета без явных обращений
)

func main() {
    for _, arg := range w.Args { // Обращение к массиву Args, объявленному в пакете "os"
        fmt.Println(arg)  // Обращение к функции Println(), объявленной в пакете "fmt"      
    }
    // Обращений к пакету "goracle.v2" в коде нет, но он будет импортирован. 
}

Импортируемые пакеты перечисляются в конструкции import в виде строк, содержащих путь к корневому каталогу пакета от каталога src в дереве исходных текстов go, положение которого задаётся переменной среды GOPATH. Если перед строкой пути к пакету поставлен идентификатор, то он становится псевдонимом имени пакета и используется в коде вместо него.

Любые импортированные объекты доступны в импортирующем пакет коде только с полной квалификацией, то есть в синтаксисе вида «пакет.Объект». В языке нет конструкций, которые бы локально или глобально отменяли необходимость квалификации импортируемых имён вообще или для отдельных пакетов. Такой подход обеспечивает защиту от коллизий имён и «незаметного» изменения поведения кода при повторном объявлении имён, которые были импортированы из другого пакета.

Использование импортируемых пакетов в Go контролируется строже, чем в большинстве языков. Если пакет импортирован в данном файле, то в нём обязательно должен использоваться хотя бы один экспортируемый этим пакетом программный объект. Компилятор Go считает импорт неиспользуемого пакета ошибкой; такое решение вынуждает разработчика постоянно поддерживать актуальность списков импорта и защищает проект от проблемы неконтролируемых зависимостей. В некоторых случаях это ограничение является чрезмерным. Например, возможна ситуация, когда пакет содержит некоторый код, используемый посредством интроспекции, но не вызываемый напрямую: импорт такого пакета не будет разрешён компилятором, хотя в действительности он необходим. Для таких случаев предусмотрен анонимный импорт (см. пример выше, последний пакет в списке импорта): в качестве псевдонима для пакета указывается предопределённое имя «_» (одиночный знак подчёркивания); пакет, импортированный таким образом, не используется в коде, но будет откомпилирован и включён в состав программы.

Исполняемая программа на Go обязательно должна иметь пакет с именем main. В этом пакете обязательно должна быть функция main() без параметров и возвращаемого значения, а также, возможно, функции init(). Функция main.main() является «телом программы» — её код запускается, когда программа стартует. Функции init() могут использоваться для инициализации пакета — они выполняются при загрузке программы перед началом её исполнения. Система гарантирует, что функции init() импортируемого пакета всегда вызываются раньше функций init() импортирующего. Таким образом, инициализация пакета main всегда происходит последней, и все инициализации выполняются до начала исполнения функции main.main().

Система пакетов Go изначально разработана в предположении, что вся экосистема разработки существует в виде единого файлового дерева, содержащего актуальные версии всех пакетов, а при появлении новых версий она целиком перекомпилируется. Для прикладного программирования с использованием сторонних библиотек это достаточно сильное ограничение. В реальности часто возникают ограничения по версиям пакетов, используемых тем или иным кодом, а также ситуации, когда разные версии (ветви) одного проекта используют разные версии библиотечных пакетов. Для поддержания такой инфраструктуры система пакетов не имеет никаких средств и нуждается в дополнительных средствах и обходных манёврах со стороны разработчиков. Начиная с версии 1.11 в Go поддерживаются так называемые модули. Модуль можно понимать как специальным образом описанную группу пакетов, в которой одни пакеты зависят от других. Описание модулей поддерживает концепцию версии пакета, что позволяет системе сборки контролировать, удовлетворены ли все зависимости и имеются ли в системе достаточно актуальные версии всех необходимых пакетов. Предполагается, что модули станут решением (или значительно облегчат решение) проблемы с контролем зависимостей.

Комментарии и точки с запятой

Go использует оба типа комментариев в стиле Си: строчные (начинающиеся с // …) и блочные (/* … */). Строчный комментарий рассматривается компилятором как перевод строки. Блочный, располагающийся на одной строке — как пробел, на нескольких строках — как перевод строки.

Точка с запятой в Go используется в качестве обязательного разделителя в некоторых операциях (if, for, switch). Формально также она должна завершать каждую команду, но практически ставить такую точку с запятой в конце строки нет необходимости, так как компилятор в процессе обработки кода сам добавляет точки с запятой в конец каждой строки, которая, без учёта пустых символов, завершается идентификатором, числом, символьным литералом, строкой, ключевыми словами break, continue, fallthrough, return, командой инкремента или декремента (++ или --) или закрывающей круглой, квадратной или фигурной скобкой (важное исключение — запятая в приведённый список не входит). Из этого следует две особенности:

  • Практически точка с запятой нужна только в некоторых форматах операторов if, for, switch и для разделения команд, расположенных на одной строке. Поэтому в коде на Go точек с запятой очень мало.
  • Побочным эффектом автоматической расстановки точек с запятой компилятором стало то, что не в любом месте программы, где допустим пробел, можно использовать перенос строки. В частности, в описаниях, командах инициализации и конструкциях if, for, switch нельзя переносить открывающуюся фигурную скобку на следующую строку:
func g() // !
{        // НЕВЕРНО
}

if x {
}      // !
else { // НЕВЕРНО
}

func g(){ // ВЕРНО
}

if x {
} else { // ВЕРНО
}
Здесь в двух первых случаях компилятор вставит точку с запятой в строке, помеченной комментарием с восклицательным знаком, так как строка заканчивается (без учёта пробелов и комментария), соответственно, на круглую и фигурную закрывающиеся скобки. В результате будет нарушен синтаксис объявления функции в первом случае и условного оператора — во втором.
Аналогично нельзя в списке элементов, разделённых запятыми, переносить запятую на следующую строку:
func f(i      // !
     , k int  // !
     , s      // !
     , t string) string { // НЕВЕРНО
}

func f(i,      
       k int, 
       s, 
       t string) string { // ВЕРНО
}
При переносе запятой на следующую строку текущая строка заканчивается идентификатором и в её конце автоматически ставится точка с запятой, что нарушает синтаксис списка (запятая, как уже говорилось выше — исключение из правила, после неё точка с запятой компилятором не добавляется).
Таким образом, язык диктует определённый стиль записи кода. В комплект компилятора Go входит утилита gofmt, обеспечивающая правильное и единообразное форматирование исходных текстов. Все тексты стандартной библиотеки Go отформатированы этой утилитой.

Встроенные типы данных

Язык содержит достаточно стандартный набор простых встроенных типов данных: целые числа, числа с плавающей запятой, символы, строки, логические значения, а также несколько специальных типов.

Целые числа

Имеется 11 целочисленных типов:

  • Целые числа со знаком фиксированного размера — int8, int16, int32, int64, int. Это целые числа со знаком, представленные в дополнительном коде, размер значений этих типов — 8, 16, 32, 64 бита соответственно. Диапазон значений составляет от −2n-1 до 2n-1−1, где n — размер типа.
  • Целые числа без знака фиксированного размера — uint8, uint16, uint32, uint64. Число в названии типа, как и в предыдущем случае, задаёт размер, но диапазон значений составляет от 0 до 2n−1.
  • int и uint — соответственно, знаковое и беззнаковое целое число. Размер этих типов одинаков, и может быть 32 или 64 бита, но не фиксируется спецификацией языка и может выбираться реализацией. Предполагается, что для них будет выбран наиболее эффективный на целевой платформе размер.
  • byte — синоним uint8. Предназначается, как правило, для работы с неформатированными бинарными данными.
  • rune — синоним uint32, представляет символ в кодировке Unicode.
  • uintptr — целое беззнаковое значение, размер которого определяется реализацией, но должен быть достаточным для размещения в переменной этого типа полного значения указателя для целевой платформы.

Создатели языка рекомендуют для работы с числами внутри программы использовать по возможности только стандартный тип int. Типы с фиксированными размерами предназначены для работы с данными, получаемыми из внешних источников или передаваемыми в них, когда для корректности кода важно указать конкретный размер типа. Типы-синонимы byte и rune предназначены для работы с бинарными данными и символами, соответственно. Тип uintptr необходим только для взаимодействия с внешним кодом, например, на Си.

Числа с плавающей запятой

Числа с плавающей точкой представлены двумя типами, float32 и float64. Их размер, соответственно, 32 и 64 бита, реализация соответствует стандарту IEEE 754. Диапазон значений можно получить из стандартного пакета math.

Числовые типы с неограниченной точностью

Также стандартная библиотека Go содержит пакет big, который предоставляет три типа с неограниченной точностью: big.Int, big.Rat и big.Float, представляющие, соответственно, целые числа, рациональные числа и числа с плавающей запятой; размер этих чисел может быть любым и ограничивается только объёмом доступной памяти. Поскольку операторы в Go не перегружаются, вычислительные операции над числами с неограниченной точностью реализованы в виде обычных методов. Производительность вычислений с большими числами, разумеется, значительно уступает встроенным числовым типам, но при решении некоторых типов вычислительных задач использование пакета big может оказаться предпочтительнее, чем ручная оптимизация математического алгоритма.

Комплексные числа

Язык предоставляет также два встроенных типа для комплексных чисел, complex64 и complex128. Каждое значение этих типов содержит пару из вещественной и мнимой части, имеющих типы, соответственно, float32 и float64. Создать в коде значение комплексного типа можно одним из двух способов: либо встроенной функцией complex(), либо использовав в выражении мнимый литерал. Получить вещественную и мнимую часть комплексного числа можно функциями real() и imag().

var x complex128 = complex(1, 2) // 1 + 2i
y := 3 + 4i                      // 3 + 4i , 4 - число, за которым следует суффикс i, 
                                 // является мнимым литералом
fmt.Println(x * y)               // выведет "(-5+10i)"
fmt.Println(real(x * y))         // выведет "-5"
fmt.Println(imag(x * y))         // выведет "10"

Логические значения

Логический тип bool вполне обычен — к нему относятся предопределённые значения true и false, обозначающие, соответственно, истинность и ложность. В отличие от Си, логические значения в Go не являются числовыми и не могут непосредственно преобразовываться в числа.

Строки

Значения строкового типа string представляют собой неизменяемые массивы байтов, содержащие текстовые строки в кодировке UTF-8. Этим обусловлен ряд специфических особенностей строк (например, в общем случае длина строки не равна количеству содержащихся в ней символов). Для большинства приложений, которые обрабатывают строки целиком, эта специфика не важна, но в тех случаях, когда программа должна непосредственно обрабатывать конкретные руны (символы Unicode), требуется применение пакета unicode/utf8, содержащего вспомогательные средства для работы с Unicode-строками.

Объявление типов

Для любых типов данных, включая встроенные, могут объявляться новые типы-аналоги, повторяющие все свойства оригиналов, но несовместимые с ними. Для этих новых типов также могут дополнительно объявляться методы. Пользовательскими типами данных в Go являются указатели (объявляются при помощи символа *), массивы (объявляются при помощи квадратных скобок), структуры (struct), функции (func), интерфейсы (interface), отображения (map) и каналы (chan). В описаниях этих типов указываются типы и, возможно, идентификаторы их элементов. Новые типы объявляются с помощью ключевого слова type:

type PostString string  // Тип "строка", аналогичен встроенному

type StringArray []string  // Тип-массив с элементами строкового типа

type Person struct { // Тип-структура
  name string        // поле стандартного типа string
  post PostString    // поле ранее объявленного пользовательского строкового типа
  bdate time.Time    // поле типа Time, импортированного из пакета time
  edate time.Time
  chief *Person      // поле-указатель
  infer [](*Person)  // поле-массив
} 

type InOutString chan string  // тип-канал для передачи строк

type  CoompareFunc ( a, b interface {} ) int   // тип-функция.

Начиная с версии Go 1.9 также доступно объявление алиасов (псевдонимов) типов:

type TitleString=string // "TitleString" - псевдоним для встроенного типа string
type Integer=int64      // "Integer" - псевдоним для встроенного 64-разрядного целого типа

Алиас может быть объявлен как для системного, так и для любого пользовательского типа. Принципиальным отличием алиасов от обычных объявлений типов является то, что при объявлении создаётся новый тип, который не совместим с оригиналом, даже если в объявлении к оригинальному типу никаких изменений не добавляется. Алиас же — это просто другое имя того же типа, то есть алиас и оригинальный тип полностью взаимозаменимы.

Поля структур могут в описании иметь тэги — произвольные последовательности символов, заключённые в обратные кавычки:

// Структура с тэгами полей
type XMLInvoices struct {
XMLName xml.Name `xml:"INVOICES"`
Version int `xml:"version,attr"`
Invoice []*XMLInvoice `xml:"INVOICE"`
}

Тэги игнорируются компилятором, но информация о них помещается в код и может быть прочитана с помощью функций пакета reflect, входящего в состав стандартной библиотеки. Обычно тэги используются для обеспечения маршалинга типов для сохранения и восстановления данных на внешних носителях или взаимодействия с внешними системами, получающими или передающими данные в собственных форматах. В примере выше используются тэги, обрабатываемые стандартной библиотекой для чтения и записи данных в формате XML.

Объявление переменных

Синтаксис объявления переменных, в основном, решён в духе Паскаля: объявление начинается с ключевого слова var, за которым через разделитель следует имя переменной, далее, через разделитель — её тип.

GoC++
 var v1 int                
 var v2 string             
 var v3 [10]int            
 var v4 []int              
 var v5 struct { f int }   
 var v6 *int               
 var v7 map[string]int     
 var v8 func(a int) int
 int v1;
 const std::string v2;  (примерно)
 int v3[10];
 int* v4;  (примерно)
 struct { int f; } v5;
 int* v6;  (но нет арифметики для указателей)
 std::unordered_map* v7;  (примерно)
 int (*v8)(int a);

Объявление переменной может совмещаться с инициализацией:

var v1 int = 100
var v2 string = "Hello!"          
var v3 [10]int = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
var v4 []int = {1000, 2000, 12334}
var v5 struct { f int } = { 50 }  
var v6 *int = *v1
var v7 map[string]int = {"one":1, "two":2, "three":3}
var v8 func(a int) int = func(a int) int { return a+1 }

Если при объявлении переменной не производится её явная инициализация, то она автоматически инициализируется «нулевым значением» для данного типа. Нулевым значением для всех числовых типов является 0, для типа string — пустая строка, для указателей — nil. Структуры по умолчанию инициализируются наборами из нулевых значений для каждого из входящих в них полей, элементы массивов — нулевыми значениями указанного в определении массива типа.

Объявления можно группировать:

var (
	i int
	m float
)

Автоматический вывод типов

Язык Go поддерживает также автоматический вывод типов. Если переменная инициализируется при объявлении, её тип можно не указывать — типом переменной становится тип присваиваемого ей выражения. Для литералов (чисел, символов, строк) стандарт языка определяет конкретные встроенные типы, к которым относится каждое такое значение. Чтобы инициализировать переменную другого типа, к литералу необходимо применить явное преобразование типа.

var v = *p

Для локальных переменных существует сокращённая форма объявления, совмещённого с инициализацией, с использованием вывода типов:

v1 := 100
v2 := "Hello!"          
v3 := [10]int{ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
v4 := []int{1000, 2000, 12334}
v5 := struct{f int}{50}  
v6 := *v1

Присваивания

В качестве оператора присваивания в Go используется символ =:

 a = b // Присвоить переменной a значение b

Как уже говорилось выше, существует форма определения переменной с автоматическим выводом типа, совмещённого с инициализацией, внешне напоминающая присваивание в Паскале:

v1 := v2 // аналог var v1 = v2

Компилятор Go строго отслеживает определения и присваивания и отличает одно от другого. Поскольку в одной области видимости запрещено переопределение переменной с тем же именем, в пределах одного блока кода переменная может встретиться слева от знака := только один раз:

  a := 10  // Объявление и инициализация целой переменной a.
  b := 20  // Объявление и инициализация целой переменной b.
  ... 
  a := b   // ОШИБКА! Попытка повторного определения a.

Go допускает множественные присваивания, выполняемые параллельно:

i, j = j, i    // Поменять местами значения i и j.

При этом количество переменных слева от знака присваивания должно точно соответствовать количеству выражений справа от знака присваивания.

Возможно параллельное присваивание и при использовании оператора :=. Его особенность в том, что в числе переменных, перечисленных слева от знака :=, могут быть уже существующие. В этом случае новые переменные будут созданы, уже существующие — использованы повторно. Этот синтаксис часто используется для обработки ошибок:

x, err := SomeFunction() // Функция возвращает два значения (см. ниже), 
                         // две переменные объявляются и инициализируются.
if (err != nil) {
  return nil
}

y, err := SomeOtherFunction() // Здесь объявляется только y, а err просто присваивается значение.

В последней строке примера первое значение, возвращённое функцией, присваивается новой переменной y, второе — уже существующей переменной err, которая во всём коде используется для размещения последней возвращённой вызываемыми функциями ошибки. Если бы не эта особенность оператора :=, во втором случае пришлось бы объявлять новую переменную (например, err2), либо отдельно объявлять y и далее уже использовать обычное параллельное присваивание.

Go реализует семантику копирования при присваивании, то есть присваивание приводит к созданию копии значения исходной переменной и размещения этой копии в другой переменной, после чего значения переменных являются различными и при изменении одного из них другое не меняется. Однако это верно только для встроенных скалярных типов, структур и массивов с заданной длиной (то есть для типов, значения которых размещаются в стеке). Массивы с неопределённой длиной и отображения размещаются в куче, переменные этих типов фактически содержат ссылки на объекты, при их присваивании копируется только ссылка, но не сам объект. Иногда это может привести к неожиданным эффектам. Рассмотрим два почти одинаковых примера:

type vector [2]float64   // Длина массива задана явно
  v1 := vector{10, 15.5} // Инициализация - v1 содержит сам массив
  v2 := v1               // Массив v1 копируется в массив v2
  v2[0] = 25.3           // Изменяется только массив v2
  fmt.Println(v1)        // Выведет "[10 15.5]" - исходный массив не изменился.
  fmt.Println(v2)        // Выведет "[25.3 15.5]"

Здесь тип vector определён как массив из двух чисел. Присваивание таких массивов ведёт себя так же, как присваивание чисел и структур.

А в следующем примере код отличается ровно на один символ: тип vector определён как массив с неопределённым размером. Но ведёт себя этот код совершенно иначе:

type vector []float64    // Массив с неопределённой длиной
  v1 := vector{10, 15.5} // Инициализация - v1 содержит ссылку на массив
  v2 := v1               // Ссылка на массив копируется из v1 в v2
  v2[0] = 25.3           // Может быть воспринято как изменение только массива v2
  fmt.Println(v1)        // Выведет "[25.3 15.5]" - исходный массив ИЗМЕНИЛСЯ!
  fmt.Println(v2)        // Выведет "[25.3 15.5]"

Таким же образом, как во втором примере, ведут себя отображения и интерфейсы. Причём если в структуре есть поле ссылочного или интерфейсного типа, или поле — безразмерный массив либо отображение, то при присваивании такой структуры тоже будет скопирована только ссылка, то есть поля разных структур начнут указывать на одни и те же объекты в памяти.

Чтобы избежать такого эффекта, необходимо явно использовать системную функцию copy(), которая гарантирует создание второго экземпляра объекта.

Аргументы функций и методов

объявляются таким образом:

func f(i, j, k int, s, t string) string { }

Функции могут возвращать несколько значений

типы таких значений заключаются в скобки:

func f(a, b int) (int, string) {
	return a+b, "сложение"
}

Результаты функций также могут быть именованы:

func incTwo(a, b int) (c, d int) {
	c = a+1
	d = b+1
	return
}

Несколько значений, возвращаемых функциями, присваиваются переменным их перечислением через запятую, при этом количество переменных, которым присваивается результат вызова функции, должно точно совпадать с количеством возвращаемых функцией значений:

first, second := incTwo(1, 2) // first = 2, second = 3
first := incTwo(1, 2) // НЕВЕРНО - нет переменной, которой присваивается второй результат

Обязательное использование локальных переменных и псевдопеременная «_»

Любая локальная переменная обязательно должна быть использована, то есть её значение должно участвовать в какой-либо операции в пределах функции, где она объявлена. В отличие от Паскаля и Си, где объявление локальной переменной и последующее её неиспользование или потеря значения, присвоенного локальной переменной (когда переменной присваивается значение, которое затем нигде не читается), может лишь вызывать предупреждение (warning) компилятора, в Go такая ситуация считается языковой ошибкой и приводит к невозможности компиляции программы. Это означает, в частности, что программист не может проигнорировать значение (или одно из значений), возвращаемое вызываемой функцией, просто присвоив его какой-нибудь переменной и отказавшись от его дальнейшего использования. Если возникает необходимость игнорировать одно из значений, возвращаемых вызовом функции, используется предопределённая псевдопеременная с именем «_» (один знак подчёркивания). Она может быть указана в любом месте, где должна быть переменная, принимающая значение. Соответствующее значение не будет присвоено никакой переменной и просто потеряется. Смысл такого архитектурного решения — выявление на стадии компиляции возможной потери результатов вычислений: случайный пропуск обработки значения будет обнаружен компилятором, а использование псевдопеременной «_» укажет на то, что программист сознательно проигнорировал результаты. Так, в примере выше, если из двух возвращаемых функцией incTwo значений нужно только одно, вместо второй переменной нужно указать «_»:

first := incTwo(1, 2) // НЕВЕРНО
first, _ := incTwo(1, 2) // ВЕРНО, второй результат не используется

Переменная «_» может указываться в списке присваивания любое число раз. Все результаты функции, которым соответствует «_», будут проигнорированы.

Механизм отложенного вызова defer

Отложенный вызов заменяет сразу несколько синтаксических средств, в частности, обработчики исключений и блоки с гарантированным завершением. Вызов функции, которому предшествует ключевое слово defer, параметризуется в той точке программы, где размещён, а выполняется непосредственно перед выходом программы из области видимости, где он был объявлен, независимо от того, как и по какой причине происходит этот выход. Если в одной функции содержится несколько объявлений defer, соответствующие вызовы выполняются по завершении функции последовательно, в обратном порядке. Ниже пример использования defer в качестве блока гарантированного завершения[10]:

// Функция, копирующая файл
func CopyFile(dstName, srcName string) (written int64, err error) { 
    src, err := os.Open(srcName)  // Открытие файла-источника
    if err != nil {               // Проверка
        return                    // Если неудача, возврат с ошибкой
    }
    // Если пришли сюда, то файл-источник был успешно открыт 
    defer src.Close()  // Отложенный вызов: src.Close() будет вызван по завершении CopyFile

    dst, err := os.Create(dstName) // Открытие файла-приёмника
    if err != nil {                // Проверка и возврат при ошибке 
        return
    }
    defer dst.Close()  // Отложенный вызов: dst.Close() будет вызван по завершении CopyFile

    return io.Copy(dst, src)  // Копирование данных и возврат из функции
    // После всех операций будут вызваны: сначала dst.Close(), затем src.Close()
}

Условия циклов и ветвлений

В отличие от большинства языков с Си-подобным синтаксисом, в Go отсутствуют круглые скобки для условных конструкций for, if, switch:

    if i >=0 && i < len(arr) {
        println(arr[i])
    }
...
    for i := 0; i < 10; i++ {
    }
}

Циклы

В Go для организации всех видов циклов используется циклическая конструкция for.

for { // бесконечный цикл
    // Выход из цикла должен быть организован вручную,
    // обычно это делается с помощью конструкций return или break
}

for { // Аналог цикла do-while в Си
  ... // Операции тела цикла
  if i>=10 { // Условие выхода
    break
  }
}

for i < 10 { // цикл с предусловием, аналог while в Си
}

for i := 0; i < 10; i++ { // цикл со счётчиком, аналог for в Си
}

for i, v := range arr { // цикл по коллекции (массиву, срезу, отображению) arr
// i - индекс (или ключ) текущего элемента
// v - копия значения текущего элемента массива
}

for i := range arr { // цикл по коллекции, используется только индекс
}

for _, v := range arr { // цикл по коллекции, используются только значения элементов
}

for range arr {  // Цикл по коллекции без переменных (коллекция используется 
                 // только в качестве счётчика итераций).
}

Оператор множественного выбора.

Синтаксис оператора множественного выбора switch имеет ряд особенностей. Прежде всего, в отличие от Си, не требуется использование оператора break: после отработки выбранной ветви исполнение оператора завершается. Если, напротив, необходимо, чтобы после выбранной ветви продолжила обрабатываться следующая, необходимо использовать оператор fallthrough:

switch value {
case 1:
  fmt.Println("One")
  fallthrough  // Далее будет выполнена ветвь "case 0:"        
case 0:
  fmt.Println("Zero")
}

Здесь при value==1 будет выведено две строки, «One» и «Zero».

Выражение выбора и, соответственно, альтернативы в операторе switch могут быть любого типа, возможно перечисление нескольких вариантов в одной ветви:

switch chars[code].category {
case "Lu", "Ll", "Lt", "Lm", "Lo":
    ...
case "Nd":
    ...
default:
    ...
}

Допускается отсутствие выражения выбора, в этом случае в альтернативах должны быть записаны логические условия. Выполняется первая по счёту ветвь, условие которой истинно:

switch {
case '0' <= c && c <= '9':
    return c - '0'
case 'a' <= c && c <= 'f':
    return c - 'a' + 10
case 'A' <= c && c <= 'F':
    return c - 'A' + 10
}

Особенности архитектуры

Обработка ошибок и исключительных ситуаций

Язык Go не поддерживает типичный для большинства современных языков синтаксис структурной обработки исключений, предполагающий генерацию исключений специальной командой (обычно throw или raise) и их обработку в блоке try-catch). Вместо этого рекомендуется использовать возврат ошибки как одного из результатов функции (что достаточно удобно, так как в Go функция может возвращать более одного значения):

  • В последнем параметре функция возвращает объект-ошибку, либо пустой указатель nil, если функция выполнилась без ошибок. В качестве типа ошибки обычно используется библиотечный интерфейс error.
  • Возвращённый функцией объект проверяется и ошибка, если она возникла, обрабатывается. Если ошибка в месте вызова не может быть адекватно обработана, она обычно возвращается в качестве результата текущей функции, либо на её основе создаётся новая ошибка, которая и возвращается.
func ReadFile(srcName string)(result string, err error) {
    file, err := os.Open("file.txt")
    if err != nil {
        // Генерация новой ошибки с уточняющим текстом
        return nil, fmt.Errorf("Ошибка при чтении файла %s: %g\n", srcName, err) 
    } 
    ... // Дальнейшее исполнение функции, если ошибки не было
    return result, nil  // Возврат результата и пустой ошибки, если выполнение успешно
}
  • Проигнорировать ошибку, возвращаемую из функции (в примере выше — не проверить значение переменной err) невозможно, так как инициализация переменной без последующего использования в языке Go приводит к ошибке компиляции. Это ограничение можно обойти подстановкой вместо err псевдопеременной _, но это явно бросается в глаза при просмотре кода.

Многие критики языка считают, что подобная идеология хуже, чем обработка исключений, так как многочисленные проверки засоряют код и не позволяют сосредоточить всю обработку ошибок в блоках catch. Создатели языка не считают это серьёзной проблемой. Описан ряд паттернов обработки ошибок в Go (см., например, статью Роба Пайка в официальном блоге Go, русский перевод), позволяющих сократить объём кода, обрабатывающего ошибки.

При возникновении фатальных ошибок, делающих невозможным дальнейшее исполнение программы (например, деления на ноль либо обращения за границы массива), возникает состояние «паники» (panic), которое по умолчанию приводит к аварийному завершению программы с выдачей сообщения об ошибке и трассировки стека вызовов. Паника может быть перехвачена и обработана с помощью конструкции отложенного исполнения defer, описанной выше. Вызов функции, указанный в defer, производится перед выходом из текущей области видимости, в том числе и в случае паники. Внутри функции, вызываемой в defer, можно вызвать стандартную функцию recover() — она прекращает системную обработку паники и возвращает её причину в виде объекта error, который можно обработать как обычную ошибку. Но программист может и возобновить ранее перехваченную панику, вызвав стандартную функцию panic(err error).

// Программа выполняет целочисленное деление
// своего первого параметра на второй 
// и выводит результат.
func main() {
	defer func() {
		err := recover()
		if v, ok := err.(error); ok { // Обработка паники, соответствующей интерфейсу error
			fmt.Fprintf(os.Stderr, "Error %s \"%s\"\n", reflect.TypeOf(err).String(), v.Error())
		} else if err != nil { 
			panic(err)  // Обработка неожиданных ошибок - повторный вызов паники.
		}
	}()
	a, err := strconv.ParseInt(os.Args[1], 10, 64)
	if err != nil {
		panic(err)
	}
	b, err := strconv.ParseInt(os.Args[2], 10, 64)
	if err != nil {
		panic(err)
	}
	fmt.Fprintf(os.Stdout, "%d / %d = %d\n", a, b, a/b)
}

В примере выше могут произойти ошибки при преобразовании аргументов программы в целые числа функцией strconv.ParseInt(). Также возможна паника при обращении к массиву os.Args при недостаточном количестве аргументов, либо при делении на нуль, если второй параметр окажется нулевым. При любой ошибочной ситуации генерируется паника, которая обрабатывается в вызове defer:

> divide 10 5
10 / 5 = 2

> divide 10 0
Error runtime.errorString "runtime error: integer divide by zero"

> divide 10.5 2
Error *strconv.NumError "strconv.ParseInt: parsing "10.5": invalid syntax"

> divide 10
Error runtime.errorString "runtime error: index out of range"

Паника не может быть вызвана в одной параллельно исполняемой го-процедуре (см. ниже), а обработана в другой. Также не рекомендуется «передавать» панику через границу пакета.

Многопоточность

Модель многопоточности Go была создана на основе CSP Тони Хоара по типу предыдущих распараллеливаемых языков программирования Occam и Limbo[4], но также присутствуют такие особенности как Пи-исчисление и канальная передача.

Go дает возможность создать новый поток выполнения программы с помощью ключевого слова go, которое запускает анонимную или именованную функцию в заново созданной go-процедуре (термин, используемый в Go для обозначения сопрограмм). Все go-процедуры в рамках одного процесса используют общее адресное пространство, выполняясь над ОС-потоками, но без жёсткой привязки к последним, что позволяет выполняющейся go-процедуре покидать поток с заблокированной go-процедурой (ждущей, например, отправки или приема сообщения из канала) и продолжать работу далее. Библиотека времени исполнения включает мультиплексор, обеспечивающий разделение доступного количества системных ядер между go-процедурами. Имеется возможность ограничить максимальное число физических процессорных ядер, на которых будет исполняться программа. Самостоятельная поддержка go-процедур runtime-библиотекой Go позволяет без затруднений использовать в программах огромные количества go-процедур, намного превышающие предельное число поддерживаемых системой потоков.

func server(i int) {
	for {
		print(i)
		time.Sleep(10)
	}
}
go server(1)
go server(2)

В выражении go можно использовать замыкания.

var g int
go func(i int) {
	s := 0
	for j := 0; j < i; j++ { s += j }
	g = s
}(1000)

Для связи между go-процедурами используются каналы (встроенный тип chan), через которые можно передавать любые значения. Канал создаётся встроенной функцией make(), которой передаётся тип и (опционально) объём канала. По умолчанию объём канала равен нулю. Такие каналы являются небуферизованными. Можно задать любой целый положительный объём канала, тогда будет создан буферизованный канал.

Небуферизованный канал жёстко синхронизирует поток-читатель и поток-писатель, использующих его. Когда поток-писатель что-то записывает в канал, он приостанавливается и ожидает, пока значение не будет прочитано. Когда поток-читатель пытается что-то прочитать из канала, куда уже произведена запись, он считывает значение, и оба потока могут продолжать исполняться. Если же в канал ещё не записано значения, поток-читатель приостанавливается и ожидает, пока кто-нибудь не произведёт запись в канал. То есть небуферизованные каналы в Go ведут себя так же, как каналы в Occam'е или механизм рандеву в языке Ада.

Буферизованный канал имеет буфер значений, размер которого равен объёму канала. При записи в такой канал значение помещается в буфер канала, а поток-писатель продолжает работу без приостановки, если только буфер канала на момент записи не полон. Если буфер полон, то поток-писатель приостанавливается до момента, пока из канала не будет прочитано хотя бы одно значение. Поток-читатель также считывает из буферизованного канала значение без приостановки, если в буфере канала есть непрочитанные значения; если буфер канала пуст, то поток приостанавливается и ждёт, пока какой-либо другой поток не запишет в него значение.

По завершении использования канал может быть закрыт встроенной функцией close(). Попытка записи в закрытый канал приводит к панике, чтение из закрытого канала всегда происходит без приостановки и считывает значение по умолчанию. Если канал буферизованный и в момент закрытия содержит в буфере N ранее записанных значений, то первые N операций чтения выполнятся так, как будто канал ещё открыт, и прочитают значения из буфера, и только после этого чтение из канала будет возвращать значения по умолчанию.

Для передачи значения в канал и из канала используется операция <-. При записи в канал она применяется в качестве бинарного оператора, при чтении — в качестве унарного оператора:

in := make(chan string, 0) // Создание небуферизованного канала in
out := make(chan int, 10)  // Создание буферизованного канала out
...
in <- arg      // запись значения в канал in
...
r1 := <- out // чтение из канала out 
...
r2, ok := <- out // чтение с проверкой закрытия канала
if ok { // если ok == true - канал открыт
   ...
} else { // если канал закрыт, делаем что-то ещё
   ...
}

Операция чтения из канала имеет два варианта: без проверки и с проверкой закрытия канала. Первый вариант (чтение r1 в примере выше) просто выполняет чтение очередного значения в переменную; если канал закрыт, то в r1 прочитается значение по умолчанию. Второй вариант (чтение r2) считывает, помимо значения, логическое значение — флаг состояния канала ok, который будет истинным, если из канала прочитаны данные, помещённые туда каким-либо потоком, и ложным, если канал закрыт и его буфер пуст. С помощью этой операции поток-читатель может определить, когда входной канал закрыт.

Также поддерживается чтение из канала с помощью циклической конструкции for-range:

// Функция запускает параллельное чтение из входного канала in целых чисел и запись 
// в выходной канал только тех из них, которые положительны. 
// Возвращает выходной канал. 
func positives(in <-chan int64) <-chan int64 {
    out := make(chan int64)
    go func() {
        // Цикл далее будет выполняться, пока канал in не закрыт
        for next := range in {
            if next > 0 {
                out <- next
            }
        }
        close(out)
    }()
    return out
}

Помимо CSP или совместно с механизмом канальной передачи Go позволяет использовать и обычную модель синхронизированного взаимодействия потоков через общую память, с использованием типовых средств синхронизации доступа, таких как мьютексы. При этом, однако, спецификация языка прямо предостерегает от любых попыток несинхронизированного взаимодействия параллельных потоков через общую память, так как в отсутствие явной синхронизации компилятор оптимизирует код доступа к данным без учёта возможности одновременного обращения из разных потоков, что может приводить к неожиданным ошибкам. Например, запись значений в глобальные переменные в одном потоке может быть не видна или видна не в том порядке из параллельного потока. Например, следующая программа написана в предположении, что запущенная в параллельной go-процедуре функция setup() создаст структуру типа T, инициализирует её строкой «hello, world», после чего присвоит ссылку на инициализированную структуру глобальной переменной g. Исходя из этого предположения, в функции main() запускается пустой цикл, ожидающий появления в g ненулевого значения. Как только оно появится, main() выводит строку из структуры, на которую указывает g, считая, что структура уже инициализирована.

type T struct { 
	msg string 
} 

var g *T 

func setup() { 
	t: = new (T) 
	t.msg = "hello, world" 
	g = t 
} 

func main () { 
	go setup() 
	for g == nil { // НЕ РАБОТАЕТ !!!
	} 
	print(g.msg) 
}

В действительности же возможна одна из двух ошибок.

  • Главный поток может просто не увидеть изменения переменной g, и тогда программа зависнет в бесконечном цикле. Такое может произойти, например, если настроенный на агрессивную оптимизацию компилятор определит, что созданное в setup() значение никуда не передаётся и просто удалит весь код данной функции как незначимый.
  • Главный поток увидит, что значение g перестало быть нулевым, но при этом значение g.msg в момент выполнения функции print() окажется не инициализированным; в этом случае программа выведет пустую строку. Такое может произойти, например, если компилятор в целях оптимизации удалит переменную t и будет записывать ссылку на созданный объект непосредственно в g.

Единственным корректным способом организации передачи данных через общую память является использование библиотечных средств синхронизации, которые гарантируют, что все данные, запись которых произведена одним из синхронизируемых потоков до точки синхронизации, гарантированно доступны в другом синхронизируемом потоке после точки синхронизации.

Особенностью многопоточности в Go является то, что go-процедура никак не идентифицируется и не является языковым объектом, на который можно сослаться при вызове функций или который можно поместить в контейнер. Соответственно, отсутствуют средства, позволяющие непосредственно влиять на исполнение сопрограммы извне её, такие как приостановка и последующий запуск, изменение приоритета, ожидание завершения одной сопрограммы в другой, принудительное прерывание исполнения. Любые воздействия на go-процедуру (кроме завершения главной программы, которое автоматически завершает все go-процедуры) могут выполняться только через каналы или иные механизмы синхронизации. Ниже показан типовой код, запускающий несколько go-процедур и ожидающий их завершения с помощью синхронизирующего объекта WaitGroup из системного пакета sync. Этот объект содержит счётчик, первоначально с нулевым значением, который может увеличиваться и уменьшаться, и метод Wait(), который вызывает приостановку текущего потока и ожидание до тех пор, пока счётчик не обнулится.

func main() {
	var wg sync.WaitGroup                 // Создание waitgroup. Исходное значение счётчика - 0
	logger := log.New(os.Stdout, "", 0)   // log.Logger - потоково-безопасный тип для вывода
	for _, arg := range os.Args { // Цикл по всем аргументам командной строки
		wg.Add(1) // Увеличение счётчика waitgroup на единицу
		// Запуск go-процедуры для обработки параметра arg
		go func(word string) {
			// Отложенное уменьшение счётчика waitgroup на единицу.
			// Произойдёт по завершении функции.
			defer wg.Done()
			logger.Println(prepareWord(word)) // Выполнение обработки и вывод результата
		}(arg)
	}
	wg.Wait()  // Ожидание, пока счётчик в waitgroup wg не станет равным нулю.
}

Здесь перед созданием каждой новой go-процедуры счётчик объекта wg увеличивается на единицу, а по завершении go-процедуры — уменьшается на единицу. В результате в цикле, запускающем обработку аргументов, к счётчику будет добавлено столько единиц, сколько запущено go-процедур. По завершении цикла вызов wg.Wait() вызовет приостановку главной программы. Когда каждая из go-процедур завершается, она уменьшает счётчик wg на единицу, поэтому ожидание главной программы закончится тогда, когда завершится столько go-процедур, сколько было запущено. Без последней строки главная программа, запустив все go-процедуры, немедленно завершилась бы, прервав исполнение тех из них, которые не успели выполниться.

Несмотря на наличие встроенной в язык многопоточности не все стандартные языковые объекты являются потоко-безопасными. Так, стандартный тип map (отображение) не потоко-безопасен. Создатели языка объяснили такое решение соображениями эффективности, так как обеспечение безопасности для всех подобных объектов привело бы к дополнительным накладным расходам, которые далеко не всегда являются обязательными (те же операции с отображениями могут быть частью более крупных операций, которые уже синхронизированы программистом, и тогда дополнительная синхронизация лишь усложнит и замедлит программу). Начиная с версии 1.9 в библиотечный пакет sync, содержащий средства поддержки параллельной обработки, добавлен потоко-безопасный тип sync.Map, который при необходимости можно использовать. Также можно обратить внимание на использованный в последнем примере способ вывода результатов. Обычно вывод на консоль в Go производится функциями пакета fmt (Printf, Println и так далее). Однако этот пакет не является потоко-безопасным, и для использования его функций в go-процедурах пришлось бы дополнительно синхронизировать их вызовы. В примере проблема обойдена с помощью использования потоко-безопасного типа log.Logger, который также содержит методы для вывода текстов и может быть использован для вывода на консоль.

Объектно-ориентированное программирование

Специальное ключевое слово для объявления класса в Go отсутствует, но для любого именованного типа, включая структуры и базовые типы вроде int, можно определить методы, так что в смысле ООП все такие типы являются классами.

type newInt int

Синтаксис определения метода заимствован из языка Оберон-2 и отличается от обычного определения функции тем, что после ключевого слова func в круглых скобках объявляется так называемый «получатель» (англ. receiver), то есть объект, для которого вызывается метод, и тип, к которому относится метод. Если в традиционных объектных языках получатель подразумевается и имеет стандартное имя (в C++ или Java — «this», в ObjectPascal — «self» и т. п.), то в Go он указывается явно и его имя может быть любым правильным Go-идентификатором.

type myType struct { i int }
// Здесь p - получатель в методах типа myType.
func (p *myType) get() int { return p.i }
func (p *myType) set(i int) { p.i = i }

Наследование классов (структур) в Go формально отсутствует, но имеется технически близкий к нему механизм встраивания (англ. embedding). В описании структуры можно использовать так называемое анонимное поле — поле, для которого не указывается имя, а только тип. В результате такого описания все элементы встраиваемой структуры станут одноимёнными элементами встраивающей.

// Новый тип-структура
type myType2 struct { 
  myType  // Анонимное поле обеспечивает встраивание типа myType.
          // Теперь myType2 содержит поле i и методы get() и set(int).
  k int
}

В отличие от классического наследования, встраивание не влечёт полиморфное поведение (объект встраивающего класса не может выступать в качестве объекта встраиваемого без явного преобразования типов).

Невозможно явно описать методы для безымянного типа (синтаксис просто не даёт возможности указать тип получателя в методе), но это ограничение можно легко обойти путём встраивания именованного типа с необходимыми методами.

Полиморфизм классов обеспечивается в Go механизмом интерфейсов (похожи на полностью абстрактные классы в C++). Интерфейс описывается с помощью ключевого слова interface, внутри (в отличие от описаний типов-классов) описания объявляются предоставляемые интерфейсом методы.

type myInterface interface {
	get() int
	set(i int)
}

В Go нет необходимости явно указывать, что некоторый тип реализует определённый интерфейс. Вместо этого действует правило: каждый тип, предоставляющий методы, обозначенные в интерфейсе, может быть использован как реализация этого интерфейса. Объявленный выше тип myType реализует интерфейс myInterface, хотя это нигде не указано явно, поскольку он содержит методы get() и set(), сигнатуры которых соответствуют описанным в myInterface.

Аналогично классам, интерфейсы допускают встраивание:

type mySecondInterface interface {
    myInterface  // то же, что явно описать get() int; 	set(i int)
    change(i int) int
}

Здесь интерфейс mySecondInterface наследует интерфейс myInterface (то есть объявляет, что предоставляет методы, входящие в myInterface) и дополнительно объявляет один собственный метод change().

Хотя в принципе возможно построить в программе на Go и иерархию интерфейсов, как это практикуется в других объектных языках, и даже имитировать наследование, это считается плохой практикой. Язык диктует не иерархический, а композиционный подход к системе классов и интерфейсов. Классы-структуры при таком подходе вообще могут оставаться формально независимыми, а интерфейсы не объединяются в единую иерархию, а создаются для конкретных применений, при необходимости встраивая уже имеющиеся. Неявная реализация интерфейсов в Go обеспечивает чрезвычайную гибкость этих механизмов и минимум технических затруднений при их использовании.

Такой подход к наследованию соответствует некоторым практическим тенденциям современного программирования. Так в знаменитой книге «банды четырёх» (Эрих Гамма и др.) о паттернах проектирования, в частности, написано:

«Зависимость от реализации может повлечь за собой проблемы при попытке повторного использования подкласса. Если хотя бы один аспект унаследованной реализации непригоден для новой предметной области, то приходится переписывать родительский класс или заменять его чем-то более подходящим. Такая зависимость ограничивает гибкость и возможности повторного использования. С проблемой можно справиться, если наследовать только абстрактным классам, поскольку в них обычно совсем нет реализации или она минимальна.»

В Go нет понятия виртуальной функции. Полиморфизм обеспечивается за счёт интерфейсов. Если для вызова метода используется переменная обычного типа, то такой вызов связывается статически, то есть всегда вызывается метод, определённый для данного конкретного типа. Если же метод вызывается для переменной типа «интерфейс», то такой вызов связывается динамически, и в момент исполнения для запуска выбирается тот вариант метода, который определён для типа объекта, фактически присвоенного в момент вызова этой переменной.

Динамическая поддержка объектно-ориентированного программирования для Go осуществлена с помощью проекта GOOP.

Рефлексия

Возможность интроспекции во время выполнения, то есть доступ и обработка значений любых типов и динамическая настройка на типы обрабатываемых данных реализуются в Go с помощью системного пакета reflect. Средства данного пакета позволяют:

  • определить тип любого значения;
  • сравнить на эквивалентность два любых значения, в том числе те, которые не сравниваются стандартными средствами языка, например, срезы;
  • работать одним и тем же кодом со значениями любых типов (тип reflect.Value позволяет представить значение любого языкового типа и преобразовать его в один из стандартных типов, если такое преобразование возможно);
  • изменять любые значения, если такое изменение в принципе возможно (например, изменить часть строки);
  • исследовать типы, в частности, обращаться к полям структур и их дескрипторам, получать списки методов типов, их описания;
  • вызывать произвольные функции и методы.

Также пакет reflect содержит множество вспомогательных инструментов для выполнения операций в зависимости от динамического состояния программы.

Низкоуровневое программирование

Средства низкоуровневого доступа к памяти сосредоточены в системном пакете unsafe. Его особенность в том, что, будучи внешне обычным Go-пакетом, он фактически реализуется самим компилятором. Пакет unsafe обеспечивает доступ к внутреннему представлению данных и к «настоящим» указателям на память. Он предоставляет функции:

  • unsafe.Sizeof() — аргументом может быть выражение любого типа, функция возвращает реальный размер операнда в байтах, включая неиспользуемую память, которая может появляться в структурах из-за выравнивания;
  • unsafe.Alignof() — аргументом может быть выражение любого типа, функция возвращает размер в байтах, по которому тип операнда выравниваются в памяти;
  • unsafe.Offsetof() — аргументом должно быть поле структуры, функция возвращает смещение в байтах, по которому располагается это поле в структуре.

Также пакет предоставляет тип unsafe.Pointer, в который может быть преобразован любой указатель и который может быть преобразован в указатель любого типа, а также в стандартный тип uintptr — целое беззнаковое значение, достаточно большое для сохранения полного адреса на текущей платформе. Преобразовав указатель в unsafe.Pointer и, далее, в uintptr, можно получить адрес в виде целого числа, к которому можно применять арифметические операции. Преобразовав затем значение обратно в unsafe.Pointer и в указатель на любой конкретный тип, можно таким способом обратиться практически в любое место адресного пространства.

Описанные преобразования могут быть небезопасны, поэтому их рекомендуют по возможности избегать. Во-первых, возможны очевидные проблемы, связанные с ошибочным обращением не к той области памяти. Более тонким моментом является то, что несмотря на использование пакета unsafe, объекты Go продолжают находиться под управлением менеджера памяти и сборщика мусора. Преобразование указателя в число выводит этот указатель из-под контроля, и программист не может рассчитывать на то, что такой преобразованный указатель останется актуальным неограниченно долго. Например, попытка сохранить указатель на новый объект типа Т следующим образом:

pT := uintptr(unsafe.Pointer(new(T))) // НЕВЕРНО!

приведёт к тому, что объект будет создан, указатель на него преобразован в число (которое будет присвоено pT), но после этого в системе не останется ни одного указателя на этот объект (pT имеет целый тип и сборщик мусора не считает его указателем). Вполне возможно, что уже к моменту выполнения следующей инструкции созданный объект будет удалён сборщиком мусора, и указатель в pT будет указывать на место в памяти, где этого объекта уже нет. При использовании перемещающего сборщика мусора преобразованный в число указатель может стать неактуальным даже тогда, когда объект ещё не удалён из памяти. Поскольку спецификация Go не даёт точных указаний на то, в какой мере программист может рассчитывать на сохранение актуальности преобразованного в число указателя, существует рекомендация: сводить подобные преобразования к минимуму и организовывать их так, чтобы преобразование исходного указателя, его модификации и обратное преобразование находились в пределах одной языковой инструкции, а при вызове любых библиотечных функций, возвращающих адрес в виде uintptr, немедленно преобразовывать их результат в unsafe.Pointer для сохранения гарантии, что указатель не будет потерян.

Пакет unsafe редко используется в прикладном программировании непосредственно, но он активно применяется в пакетах reflect, os, syscall, context, net и некоторых других.

Интерфейс с кодом на других языках

Существует несколько внешних инструментов, обеспечивающих интерфейсы с иноязычными функциями (англ. foreign-function interfaces, FFI) для Go-программ. Для взаимодействия с внешним кодом на Си (или имеющем совместимый с Си интерфейс) может применяться утилита cgo. Она вызывается автоматически при обработке компилятором соответствующим образом написанного Go-модуля, и обеспечивает создание временного пакета-враппера на Go, содержащего объявления всех необходимых типов и функций. В вызовах Си-функций часто приходится прибегать к средствам пакета unsafe, главным образом — использовать тип unsafe.Pointer. Более мощным инструментом является SWIG[11], обеспечивающий более сложные возможности, в частности, интеграцию с классами C++.

Критика

В силу молодости языка его критика сосредоточена, главным образом, в Интернет-статьях, обзорах и на форумах. Одной из площадок, где аккумулируются критические замечания в адрес самого языка и его существующих реализаций, является сам сайт проекта Go.

Отсутствие возможностей

Значительная часть критики языка фокусируется на отсутствии в нём тех или иных популярных средств, предоставляемых другими языками. В их числе:

Как уже говорилось в разделе «#Основные возможности языка», отсутствие целого ряда средств, доступных в других популярных языках, объясняется сознательным выбором разработчиков, считающих, что такие средства либо затрудняют эффективную компиляцию, либо провоцируют программиста на ошибки или на создание неэффективного или «плохого» с точки зрения сопровождения кода, либо имеют другие нежелательные побочные эффекты.

Архитектура

  • Отсутствие явного указания на реализацию интерфейса типом.
    • Затрудняется модификация кода и рефакторинг: при добавлении или изменении методов интерфейса в большом проекте легко пропустить часть типов, фактически реализующих интерфейс. Если в коде нет явного прямого преобразования типа в интерфейс, компилятор не обнаружит такой пропуск и он проявится только в тестировании.
    • Теоретически возможна «случайная реализация» интерфейса, когда методы типа совпадают по сигнатурам с методами интерфейса, но по смыслу не являются реализацией представляемого интерфейсом поведения. Если значение типа будет ошибочно использовано как значение интерфейса, компилятор не заметит такой ошибки и она проявится только в работе программы.
  • Отказ от реализации традиционной структурной обработки исключений в пользу возврата и обработки кодов ошибок.
    • Неудобство. Нет возможности сосредоточить обработку ошибок в одном месте, проверки ошибок засоряют код и затрудняют его восприятие. Предлагаемые авторами способы оптимизации обработки ошибок не универсальны.
    • Непоследовательность. Механизм генерации, перехвата и обработки состояния паники по сути ничем, кроме нетипичного внешнего вида, не отличается от обработчиков исключений в стиле try-catch. Более того, вопреки принципу «паника — это всегда аварийная остановка программы, а для обработки обычных ошибочных ситуаций нужно использовать коды возврата», генерация и обработка паники используется для обработки логических ошибок внутри стандартной библиотеки; то есть авторы Go делают именно то, от чего предостерегают использующих этот язык программистов.
  • Тэги полей структур не контролируются компилятором.
    Тэги, задающие дополнительные свойства полей структур, являются просто строками, которые обрабатываются динамически, их структура не имеет даже самых простых синтаксических ограничений. Это сделано, чтобы не ограничивать разработчика в использовании тэгов, но на практике приводит к тому, что никакая ошибка в записи тэга не может быть обнаружена на стадии компиляции.

«Подводные камни» (неудачная реализация некоторых средств)

Критики отмечают, что некоторые особенности Go выполнены с точки зрения наиболее простой или наиболее эффективной реализации, но не отвечают «принципу наименьшего удивления»: их поведение отличается от того, что программист ожидает, основываясь на интуиции и прошлом опыте. Такие особенности требуют повышенного внимания программиста, затрудняют обучение и переход с других языков.

  • В цикле по коллекции переменная-значение является копией, а не ссылкой.
    В цикле вида «for index, value := range collection» переменная value является копией текущего элемента. Операция присваивания этой переменной нового значения доступна, но, вопреки ожиданиям, не приводит к изменению текущего элемента коллекции.
  • Нулевой интерфейс не равен интерфейсу нулевого объекта.
    Значение типа «интерфейс» представляет собой структуру из двух ссылок — на таблицу методов и на сам объект. У нулевого интерфейса оба поля равны nil. У интерфейса, указывающего на нулевой объект, первая ссылка заполнена; он не равен нулевому интерфейсу, хотя с точки зрения логики программы между ними обычно нет разницы. Это приводит к неожиданным эффектам и усложняет проверку корректности значений интерфейсных типов:
type I interface {
  f()
}

type T struct {} 
func (T) f() {...} //  Тип T реализует интерфейс I.

main() {
  var t *T = nil  // t - нулевой указатель на тип T.
  var i I = t     // Записываем пустой указатель на T в интерфейсную переменную.
  if i != nil {   // ! Неожиданность. Хотя i был присвоен пустой указатель, i != nil
    i.f()         // Этот вызов произойдёт и приведёт к панике.
  } 
...
}
Хотя в переменную i был записан нулевой указатель на объект, значение самой i не является пустым и сравнение i != nil даёт положительный результат. Чтобы убедиться, что интерфейсная переменная указывает на действительный объект, необходимо воспользоваться рефлексией, что заметно усложняет код:
if i != nil && !reflect.ValueOf(i).IsNil() { ...
  • Неоднородная семантика присваивания даже на близких типах.
    Встроенные типы и структуры присваиваются по значению, интерфейсы — по ссылке. Массивы с объявленной статически длиной присваиваются по значению, массивы без объявленной длины и отображения — по ссылке. Фактически вариант семантики присваивания для типа определяется тем, как размещаются в памяти значения этого типа, то есть язык определяется реализацией.
  • Различное поведение операций над массивами и срезами в разных условиях.
    Например, стандартная функция append(), добавляющая элементы к массиву, может создать и вернуть новый массив, а может дописать и вернуть существующий, в зависимости от того, имеется ли в нём достаточно свободного места для добавления элементов. В первом случае последующие изменения результирующего массива не затронут оригинал, во втором — отразятся на нём. Такое поведение вынуждает к постоянному использованию функции копирования copy().

Другие особенности

Часто критике подвергается механизм автоматической расстановки точек с запятой, из-за которого некоторые формы записи операторов, вызовов функций и списков становятся некорректными. Комментируя это решение[4] авторы языка замечают, что в совокупности с наличием в официальном наборе инструментов средства форматирования кода gofmt оно привело к фиксации довольно жёсткого стандарта оформления кода на Go, что, по их мнению, является безусловно положительным фактором с точки зрения поддержки групповой разработки и обеспечения сопровождения кода. Также можно заметить, что вряд ли возможно создать стандарт записи кода, который бы изначально устроил всех; внедрение в язык особенности, которая сама по себе в значительной мере задаёт такой стандарт, устраняет непринципиальные конфликты по таким вопросам, что, безусловно, является положительным фактором для групповой разработки.

Распространение и перспективы

Популярность Go в последние годы росла: с 2014 года в рейтинге TIOBE он поднялся с 65-го места на 18-е, текущее значение рейтинга составляет около 1 %. По результатам опроса сайта dou.ua[12] язык Go в 2018 году стал девятым в списке самых используемых и шестым в списке языков, которым отдают личное предпочтение разработчики.

С 2012 года, когда вышел первый публичный релиз, использование языка неуклонно растёт. В опубликованном на сайте проекта Go списке компаний, использующих язык в промышленных разработках, насчитывается несколько десятков наименований. Накоплен большой массив библиотек различного назначения. На 2019 год запланирован выход второй версии Go. Ожидается появление ряда новых возможностей, в том числе средств обобщённого программирования и специального синтаксиса для упрощения обработки ошибок, отсутствие которых является одними из наиболее распространённых претензий критиков языка.

Поскольку исторически язык ориентировался, в основном, на написание бэк-энда веб-проектов, системные библиотеки более развиты в части поддержки сетевых технологий, преобразования и обработки данных, чем в части средств реализации интерфейса пользователя. Практически единственным стандартным способом создать не-консольное клиентское приложение является написание локального сервера с веб-интерфейсом. Существуют созданные сторонними разработчиками библиотеки, обеспечивающие интерфейс с популярными UI-фреймворками, такими как GTK+ и Qt, но они довольно громоздки. Имеется также несколько разработок UI-фреймворков на самом Go, но ни один из этих проектов не достиг уровня промышленной применимости. В 2015 году на конференции GopherCon 2015 в Денвере один из создателей языка, Роберт Грисмер, отвечая на вопросы, согласился, что Go нуждается в пакете UI, но заметил, что такой пакет должен быть универсальным, мощным и мультиплатформенным, что делает его разработку длительным и непростым процессом. Во всяком случае, на конец 2018 года вопрос о реализации клиентского GUI на Go остаётся открытым.

Версии

Нумерация и принципы совместимости версий

Cуществует только одна основная версия самого языка Go — версия 1. Версии среды разработки (компилятора, инструментария и стандартных библиотек) Go нумеруются по двухзначной («<версия языка>.<основной релиз>») либо трёхзначной («<версия языка>.<основной релиз>.<дополнительный релиз>») системе. Выпуск новой «двузначной» версии автоматически означает прекращение поддержки предыдущей «двузначной» версии. «Трёхзначные» версии выпускаются для исправления обнаруженных ошибок и проблем с безопасностью; исправления безопасности в таких версиях могут затрагивать две последние «двузначные» версии[13].

Авторы декларировали[14] стремление к сохранению, насколько это возможно, обратной совместимости в пределах основной версии языка. Это означает, что до выхода релиза Go 2 почти любая программа, созданная в среде Go 1, будет корректно компилироваться в любой последующей версии Go 1.x и выполняться без ошибок. Исключения возможны, но они немногочисленны. Однако бинарной совместимости между релизами не гарантируется, так что программа при переходе на более поздний релиз Go должна быть полностью перекомпилирована.

Go 1

С марта 2012 года, когда была представлена версия Go 1, вышли следующие основные версии:

  • go 1 — 28 марта 2012 года — Первая официальная версия; зафиксированы библиотеки, внесены изменения в синтаксис.
  • go 1.1 — 13 мая 2013 года — целочисленное деление на нуль стало синтаксической ошибкой, введены method values — замыкания метода с заданным значением-источником, в некоторых случаях стало необязательным использование return; в реализации разрешено выбирать между 32- и 64-разрядным представлением стандартного целочисленного типа, изменения в поддержке Unicode.
  • go 1.2 — 1 декабря 2013 года — любая попытка обратиться по указателю nil гарантированно вызывает панику, введены трёхиндексные срезы. Доработки Unicode.
  • go 1.3 — 18 июня 2014 года — изменена модель распределения памяти; удалена поддержка платформы Windows 2000, добавлены DragonFly BSD, FreeBSD, NetBSD, OpenBSD, Plan 9, Solaris.
  • go 1.4 — 10 декабря 2014 года — разрешена конструкция цикла «for range x { … }» (цикл по коллекции без использования переменных), запрещено двойное автоматическое разыменование при вызове метода (если x **T — двойной указатель на тип T, то вызов метода для x в виде x.m() — запрещён); в реализацию добавлена поддержка платформ Android, NaCl on ARM, Plan9 on AMD64.
  • go 1.5 — 19 августа 2015 года — в записи map-литералов указание типа каждого элемента сделано факультативным, в реализации среда исполнения и компилятор полностью переписаны на Go и ассемблере, более не используется язык Си.
  • go 1.6 — 17 февраля 2016 года — изменений в языке нет, среда портирована на платформы Linux on 64-bit MIPS, Android on 32-bit x86 (android/386), изменения в инструментарии.
  • go 1.7 — 16 августа 2016 года — уменьшены время компиляции и размер бинарных файлов, увеличена скорость работы и в стандартную библиотеку добавлен пакет context.
  • go 1.8 — 7 апреля 2017 года — ускорена работа встроенного сборщика мусора памяти, модуль «http» получил возможность мягкой остановки, добавлена поддержка процессоров с архитектурой MIPS (32-бит). Внесены исправления в ряд пакетов и утилиты.
  • go 1.9 — 24 августа 2017 года — добавлены в язык псевдонимы имён типов, уточнены некоторые моменты использования операций с плавающей точкой, оптимизирован инструментарий, дополнение библиотек, в частности — потоково-безопасный тип map.
  • go 1.10 — 16 февраля 2018 года — в язык внесено два уточнения, фактически узаконивших уже существующие реализации, остальные изменения касаются библиотек и инструментария. Выпущено три «трёхзначных» релиза 1.10.1 — 1.10.3, содержащие исправления обнаруженных ошибок.
  • go 1.11 — 24 августа 2018 года — добавлены (в качестве экспериментальных) поддержка модулей (нового механизма версионирования пакетов и управления зависимостями), а также возможность компиляции в WebAssembly, улучшена поддержка ARM-процессоров, внесены изменения в инструментарий и библиотеки (в частности, добавлен пакет syscall/js; компилятор теперь правильно контролирует использование переменных, объявленных в конструкциях switch с проверкой типа).

Go 2.0

С 2017 года ведётся активная подготовка к выпуску следующей базовой версии языка, имеющей условное обозначение «Go 2.0»[15]. Проводится сбор замечаний к текущей версии и предложений по преобразованиям, аккумулируемых на wiki-сайте проекта[16]. Точных сроков выхода новой версии не называется, было лишь сказано, что процесс подготовки займёт «около двух лет», причём часть новых элементов языка будет включена уже в очередные релизы версии Go 1 (разумеется, только те, которые не нарушают обратной совместимости).[15] В числе возможных принципиальных новшеств назывались явно объявляемые константные значения, новый механизм обработки ошибок и средства обобщённого программирования. В сети доступны проекты нововведений. 28 августа 2018 года в официальном блоге разработчиков был опубликован ролик, ранее представленный на конференции Gophercon 2018, в котором демонстрируются черновые варианты нового дизайна обработки ошибок и механизма обобщённых функций.

Обработка ошибок базируется на тех же принципах, что и в первой версии, но дополнена средствами, позволяющими избавиться от постоянных проверок:

func CopyFile(src, dst string) error {
    handle err {
        return fmt.Errorf("copy %s to %s error: %v", src, dst, err)
    }
    
    r := check os.Open(src)
    defer r.Close()

    w := check os.Create(dst)
    defer w.Close()

    check io.Copy(w, r)
    check w.Close()

    return nil
}

Как видно из примера (простейшая функция копирования файла), предлагается добавить две конструкции: check и handle. Первая используется в вызове и «перехватывает» последнее возвращаемое функцией значение, предполагая, что это — объект error; если он равен nil, то остальные значения передаются по назначению, если же нет, то управление передаётся в блок handle, размещённый выше по тексту в этой же функции. В данном примере при ошибке в любом из вызовов функция CopyFile вернёт объект-ошибку с текстом, содержащим её параметры и текст ошибки, полученной в неудачной операции. Возможно наличие нескольких блоков handle в одной функции, в этом случае они будут выполняться в обратном порядке, до первого оператора return, который обязательно должен находиться в одном из них. В отсутствие блоков обработки конструкция check приведёт к тому, что произойдёт немедленный возврат из текущей функции, причём в последний по счёту результат будет передана полученная при вызове ошибка, а остальные результаты, если они есть, сохранят свои текущие значения.

Механизм обобщённых функций основывается на двух элементах: «тип-параметр» и «контракт»[17].

contract Equal(t T) {
    t == t
}

func Uniq(type T Equal)(in <-chan T) <-chan T {
    out := make(chan T)
    go func() {
        v := <-in
        out <- v
        for next := range in {
            if v != next {
                v = next
                out <- v
            }
        }
    }()
}

...
src := make(chan string)
...
// Вызов обобщённой функции для конкретного типа string
for s := range Uniq(string)(src) {
    fmt.Println(s)
}

Тип параметра обобщённой функции (здесь это T) описывается в её заголовке с ключевым словом type и указанием ранее описанного контракта (здесь — Equal). Описание контракта содержит код, который обрабатывается компилятором как обычная функция, но без генерации кода. Если некоторый тип будет использован для конкретизации функции Uniq, то для этого типа компилятор обработает описание контракта Equal, и компиляция программы будет успешна только в случае, если эта обработка не приведёт к обнаружению ошибки. В данном случае проверка будет успешной, если к значениям типа может применяться операция проверки на равенство. Используя контракты, разработчики рассчитывают избежать ситуации, когда в конкретизации обобщённого кода используются типы, не обладающие необходимыми качествами, что может приводить к ошибкам, проявляющимся лишь на этапе исполнения.[17]

Также предполагается множество менее заметных, но весьма существенных изменений. Так, в ближайших планах[18] расширение правил допустимости символов для идентификаторов на не-латинских алфавитах, разрешение операций сдвига для целых чисел со знаком, использование знака подчёркивания в качестве разделителя групп разрядов в числах, двоичные литералы.

Реализации

На данный момент существуют два основных компилятора Go:

  • gc — общее название для официального набора инструментов разработки, поддерживаемого группой разработчиков языка. Первоначально он включал компиляторы 6g (для amd64), 8g (для x86), 5g (для ARM) и сопутствующие инструменты и был написан на Си с применением yacc/Bison для парсера. В версии 1.5 весь код на Си был переписан на Go и ассемблере, а отдельные компиляторы — заменены на единый go tool compile.
  • gccgo — компилятор Go с клиентской частью, написанной на C++, и рекурсивным парсером, совмещённым со стандартным бэк-эндом GCC[19]. Поддержка Go доступна в GCC, начиная с версии 4.6[20]. Большинство расхождений с компилятором gc связаны с библиотекой времени выполнения и не видны для программ на Go.[21] В релизе gcc 8.1 поддерживаются все изменения в языке до версии 1.10.1 и интегрирован параллельно исполняющийся сборщик мусора.[22] Потоки (go-процедуры) реализованы в gccgo через потоки ОС, вследствие чего программы, активно использующие параллельные вычисления, могут приводить к существенно бо́льшим накладным расходам. Поддержка легковесных потоков возможна при использовании компоновщика gold, но он доступен не для всех платформ.

Также существуют проекты:

  • llgo — прослойка для компиляции Go в llvm, написанная на самом go (находился в разработке до 2014 года)[23][24].
  • gollvm — проект компиляции Go через систему компиляторов LLVM, развиваемый Google. Использует C++ парсер «gofrontend» из GCCGO и преобразователь из представления gofrontend в LLVM IR[25][26]
  • SSA interpreter — интерпретатор, позволяющий запускать программы на go[27].

Средства разработки

Среда разработки Go содержит несколько инструментов командной строки: утилиту go, обеспечивающий компиляцию, тестирование и управление пакетами, и вспомогательные утилиты godoc и gofmt, предназначенные, соответственно, для документирования программ и для форматирования исходного кода по стандартным правилам. Для вывода полного списка инструментов необходимо вызвать утилиту go без указания аргументов. Для отладки программ может использоваться отладчик gdb. Независимыми разработчиками представлено большое количество инструментов и библиотек, предназначенных для поддержки процесса разработки, главным образом, для облегчения анализа кода, тестирования и отладки.

На текущий момент доступны две IDE, изначально ориентированные на язык Go — это проприетарная GoLand (разрабатывается в JetBrains на платформе IntelliJ) и свободная LiteIDE (ранее проект назывался GoLangIDE). LiteIDE — небольшая по объёму оболочка, написанная на С++ с использованием Qt. Позволяет выполнять компиляцию, отладку, форматирование кода, запуск инструментов. Редактор поддерживает подсветку синтаксиса и автодополнение.

Также Go поддерживается плагинами в универсальных IDE Eclipse, NetBeans, IntelliJ, Komodo, CodeBox IDE, Visual Studio, Zeus и других. Автоподсветка, автодополнение кода на Go и запуск утилит компиляции и обработки кода реализованы в виде плагинов к более чем двум десяткам распространённых текстовых редакторов под различные платформы, в том числе Emacs, Vim, Notepad++, jEdit.

Примеры

Ниже представлен пример программы «Hello, World!» на языке Go.

package main

import "fmt"

func main() {
	fmt.Println("Hello, World!")
}

Пример реализации команды Unix echo:

package main

import (
	"os"
	"flag" // парсер параметров командной строки
)

var omitNewLine = flag.Bool("n", false, "не печатать знак новой строки")

const (
	Space = " "
	NewLine = "\n"
)

func main() {
	flag.Parse() // Сканирование списка аргументов и установка флагов
	var s string
	for i := 0; i < flag.NArg(); i++ {
		if i > 0 {
			s += Space
		}
		s += flag.Arg(i)
	}
	if !*omitNewLine {
		s += NewLine
	}
	os.Stdout.WriteString(s)
}

Примечания

  1. The Go Project - The Go Programming Language - FAQ. golang.org. Проверено 26 августа 2018.
  2. LICENSE-file
  3. Google-go-language
  4. 1 2 3 4 5 6 Language Design FAQ
  5. Getting Started — The Go Programming Language
  6. 1 2 Сообщение о конфликте имён в системе отслеживания ошибок
  7. 1 2 3 Go at Google: Language Design in the Service of Software Engineering. talks.golang.org. Проверено 19 сентября 2017.
  8. Rob Pike. The Go Programming Language. golang.org, 30.10.2009..
  9. когда m[-1] означает последний элемент массива, m[-2] — второй с конца и так далее
  10. Andrew Gerrand. Defer, Panic, and Recover на GoBlog
  11. SWIG
  12. Рейтинг языков программирования 2018: Go и TypeScript вошли в высшую лигу, Kotlin стоит воспринимать серьезно (рус.), ДОУ. Проверено 29 июля 2018.
  13. https://golang.org/doc/devel/release.html Версии Go.
  14. https://golang.org/doc/go1compat Go 1 и будущие релизы Go.
  15. 1 2 Toward Go 2 - The Go Blog. blog.golang.org. Проверено 29 июля 2018.
  16. golang/go (англ.). GitHub. Проверено 29 июля 2018.
  17. 1 2 Contracts — Draft Design (англ.). go.googlesource.com. Проверено 11 октября 2018.
  18. Go2 Here we come!
  19. Go FAQ: Implementation
  20. https://gcc.gnu.org/gcc-4.6/changes.html «Support for the Go programming language has been added to GCC.»
  21. Setting up and using gccgo - The Go Programming Language. golang.org. Проверено 23 ноября 2018.
  22. GCC 8 Release Series — Changes, New Features, and Fixes - GNU Project - Free Software Foundation (FSF) (англ.). gcc.gnu.org. Проверено 23 ноября 2018.
  23. go-llvm; перемещен в llvm-mirror/llgo
  24. https://llvm.org/svn/llvm-project/llgo/trunk/README.TXT
  25. gollvm - Git at Google
  26. Gollvm: Google Working On LLVM-Based Go Compiler (англ.), Phoronix (May 29, 2017). Проверено 2 ноября 2018.
  27. interp - GoDoc

Ссылки


Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .




Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии