Есть ли цель «сделать» однонаправленный канал?

Question

NB: Это не дубликат вопроса this, потому что я понимаю, когда вы будете использовать однонаправленные каналы. Я делаю это все время. Мой вопрос, почему эта программа действует:

func main() { 
    ch := make(chan<- int) 
    ch <- 5 
    fmt.Println("Hello, playground") 
} 

Playground

Запуск это, конечно, дает в тупик. Если вы проверите тип с% T, Go действительно сообщит, что тип ch является каналом только для отправки. В Go вам разрешено использовать однонаправленные каналы make, но это мало смысла, потому что, создав канал, который на момент его создания является однонаправленным, вы гарантируете, что хотя бы одно из чтения/записи никогда не произойдет.

Возможное объяснение заключается в том, чтобы заставить goroutine висеть, но это так же легко достигается с помощью select {}.

Моя единственная другая идея заключается в том, чтобы заставить goroutine только сделать что-то n раз,

ch := make(chan<- int, 50) 
// do something 50 times, since then the buffer is full 
for { 
    ch <- doSomething() 
} 

Но это легко, не говоря уже о менее смутно, осуществляется с любым количеством различных конструкций.

Это просто причуда/надзора над системой типов, или она используется для такого поведения, о котором я не думаю?

Answer 1

У вас есть язык: слова (жетоны) и грамматика. Вы всегда можете написать действительную глупость: синий цвет не цвет.

Вы писали некоторые действительные нонсенс:

package main 

func main() { 
    ch := make(chan<- int) 
    ch <- 5 
} 

Вот некоторые более справедливы нонсенс:

package main 

func main() { 
    for { 
    } 
}