Có mục đích "tạo" một kênh một chiều không?

Question

NB: Đây không phải là bản sao của câu hỏi this, bởi vì tôi hiểu khi nào bạn sẽ sử dụng các kênh một chiều. Tôi làm như vậy tất cả các thời gian. Câu hỏi của tôi là lý do tại sao chương trình này là hợp lệ:

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

Playground

Chạy nó, tất nhiên, cung cấp cho một bế tắc. Nếu bạn kiểm tra loại với% T, Go thực tế báo cáo rằng loại ch là kênh chỉ gửi. Trong Go, bạn được phép make các kênh đơn hướng, nhưng điều này có ý nghĩa ít bởi vì bằng cách tạo kênh tại thời điểm khởi đầu chỉ có một chiều, bạn đảm bảo ít nhất một lần đọc/ghi sẽ không bao giờ xảy ra.

Giải thích có thể là buộc goroutine treo nhưng điều đó cũng dễ dàng thực hiện với select {}.

chỉ ý tưởng khác của tôi là để buộc một goroutine chỉ làm điều gì đó n lần,

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

Nhưng đó là dễ dàng hơn, chưa kể đến ít gây nhầm lẫn, thực hiện với bất kỳ số lượng công trình xây dựng khác nhau.

Đây có phải chỉ là một sự lừa đảo/giám sát của hệ thống kiểu, hoặc có sử dụng cho hành vi này mà tôi không nghĩ tới không?

Answer 1

Bạn có ngôn ngữ: từ (mã thông báo) và ngữ pháp. Bạn luôn có thể viết vô nghĩa hợp lệ: màu xanh không phải là màu.

Bạn đã viết một số vô nghĩa hợp lệ:

package main 

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

Dưới đây là một số vô nghĩa có giá trị hơn:

package main 

func main() { 
    for { 
    } 
}