Ответ.

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

История вопроса:

Go принципиально упрощает типовую систему, разделяя понятия создания нового типа (type MyInt int) и псевдонима (type MyIntAlias = int). Часто возникает путаница между ними, что влияет на совместимость данных между разными частями системы.

Проблема:

Если неправильно выбрать способ объявления типа, можно получить кучу неявных ошибок: невозможность передачи данных между пакетами, неправильная работа с внешними библиотеками или потеря всех методов при попытке пользоваться псевдонимом.

Решение:

Новый тип (type Foo T) создаёт действительно новый тип с собственной идентичностью, даже если базируется на существующем (например, int, struct).
Псевдоним типа (type Foo = T) даёт альтернативное имя для существующего типа, полностью сохраняя его методы и поведение, включая интерфейсные соответствия.

Пример кода:

package main
import "fmt"

type MyInt int           // новый тип
func (m MyInt) Double() int { return int(m) * 2 }

type MyIntAlias = int    // псевдоним типа

func main() {
    var a MyInt = 5
    var b MyIntAlias = 10
    fmt.Println(a.Double()) // работает
    //fmt.Println(b.Double()) // ошибка: method not defined on int
}

Ключевые особенности:

Новый тип полностью отделён от своего базового типа
Псевдоним не создаёт нового типа, а только новое имя
Методы, объявленные для нового типа, не применимы к псевдониму

Вопросы с подвохом.

Можно ли сделать псевдоним структуры и добавить к нему методы, отличные от базовой структуры?

Нет. Методы можно объявлять только для нового типа, а не для псевдонима. Псевдоним просто другое имя для того же типа, часть программы никак не узнает о «расширении» типа.

type MyStructAlias = SomeStruct
// func (s MyStructAlias) NewMethod() {} // Ошибка

Могут ли методы базового типа автоматически «приклеиться» к псевдониму?

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

type MyString = string // все методы и функции для string работают

Чем отличается приведение к типу и к псевдониму?

При объявлении нового типа требуется явное приведение: MyInt(x) где x — int. Для псевдонима приведение не нужно — типы полностью взаимозаменяемы.

type A int
type B = int
var x int = 3
var a A = A(x)      // явное преобразование
var b B = x         // неявно, то же что и int

Типовые ошибки и анти-паттерны

Запутывание структуры кода смешением новых типов и псевдонимов
Неожиданное отсутствие методов у псевдонима
Использование псевдонимов для изоляции данных — они для этого не подходят (лучше новые типы)

Пример из жизни

Негативный кейс

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

Плюсы:

Легко интегрируется с внешним API

Минусы:

Методы не добавляются, поведение не расширяется, появляется непредсказуемая логика данных

Позитивный кейс

Команда создаёт новый тип на основе int для представления идентификаторов пользователя, чтобы защитить бизнес-логику от случайного перепутывания с другими целочисленными значениями, и добавляет специальные методы (валидаторы, преобразователи).