gopl-zh.github.com/ch8/ch8-04.html

454 lines
50 KiB
HTML
Raw Normal View History

<!DOCTYPE HTML>
<html lang="zh" class="sidebar-visible no-js light">
<head>
<!-- Book generated using mdBook -->
<meta charset="UTF-8">
<title>Channels - Go语言圣经</title>
<!-- Custom HTML head -->
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<meta name="description" content="&lt;The Go Programming Language&gt;中文版">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="theme-color" content="#ffffff" />
<link rel="icon" href="../favicon.svg">
<link rel="shortcut icon" href="../favicon.png">
<link rel="stylesheet" href="../css/variables.css">
<link rel="stylesheet" href="../css/general.css">
<link rel="stylesheet" href="../css/chrome.css">
<link rel="stylesheet" href="../css/print.css" media="print">
<!-- Fonts -->
<link rel="stylesheet" href="../FontAwesome/css/font-awesome.css">
<link rel="stylesheet" href="../fonts/fonts.css">
<!-- Highlight.js Stylesheets -->
<link rel="stylesheet" href="../highlight.css">
<link rel="stylesheet" href="../tomorrow-night.css">
<link rel="stylesheet" href="../ayu-highlight.css">
<!-- Custom theme stylesheets -->
<link rel="stylesheet" href="../style.css">
</head>
<body>
<!-- Provide site root to javascript -->
<script type="text/javascript">
var path_to_root = "../";
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
</script>
<!-- Work around some values being stored in localStorage wrapped in quotes -->
<script type="text/javascript">
try {
var theme = localStorage.getItem('mdbook-theme');
var sidebar = localStorage.getItem('mdbook-sidebar');
if (theme.startsWith('"') && theme.endsWith('"')) {
localStorage.setItem('mdbook-theme', theme.slice(1, theme.length - 1));
}
if (sidebar.startsWith('"') && sidebar.endsWith('"')) {
localStorage.setItem('mdbook-sidebar', sidebar.slice(1, sidebar.length - 1));
}
} catch (e) { }
</script>
<!-- Set the theme before any content is loaded, prevents flash -->
<script type="text/javascript">
var theme;
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
if (theme === null || theme === undefined) { theme = default_theme; }
var html = document.querySelector('html');
html.classList.remove('no-js')
html.classList.remove('light')
html.classList.add(theme);
html.classList.add('js');
</script>
<!-- Hide / unhide sidebar before it is displayed -->
<script type="text/javascript">
var html = document.querySelector('html');
var sidebar = 'hidden';
if (document.body.clientWidth >= 1080) {
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
sidebar = sidebar || 'visible';
}
html.classList.remove('sidebar-visible');
html.classList.add("sidebar-" + sidebar);
</script>
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
<div class="sidebar-scrollbox">
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../index.html">Go语言圣经</a></li><li class="chapter-item expanded affix "><a href="../preface-zh.html">译者序</a></li><li class="chapter-item expanded affix "><a href="../preface.html">前言</a></li><li class="chapter-item expanded "><a href="../ch1/ch1.html"><strong aria-hidden="true">1.</strong> 入门</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../ch1/ch1-01.html"><strong aria-hidden="true">1.1.</strong> Hello, World</a></li><li class="chapter-item expanded "><a href="../ch1/ch1-02.html"><strong aria-hidden="true">1.2.</strong> 命令行参数</a></li><li class="chapter-item expanded "><a href="../ch1/ch1-03.html"><strong aria-hidden="true">1.3.</strong> 查找重复的行</a></li><li class="chapter-item expanded "><a href="../ch1/ch1-04.html"><strong aria-hidden="true">1.4.</strong> GIF动画</a></li><li class="chapter-item expanded "><a href="../ch1/ch1-05.html"><strong aria-hidden="true">1.5.</strong> 获取URL</a></li><li class="chapter-item expanded "><a href="../ch1/ch1-06.html"><strong aria-hidden="true">1.6.</strong> 并发获取多个URL</a></li><li class="chapter-item expanded "><a href="../ch1/ch1-07.html"><strong aria-hidden="true">1.7.</strong> Web服务</a></li><li class="chapter-item expanded "><a href="../ch1/ch1-08.html"><strong aria-hidden="true">1.8.</strong> 本章要点</a></li></ol></li><li class="chapter-item expanded "><a href="../ch2/ch2.html"><strong aria-hidden="true">2.</strong> 程序结构</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../ch2/ch2-01.html"><strong aria-hidden="true">2.1.</strong> 命名</a></li><li class="chapter-item expanded "><a href="../ch2/ch2-02.html"><strong aria-hidden="true">2.2.</strong> 声明</a></li><li class="chapter-item expanded "><a href="../ch2/ch2-03.html"><strong aria-hidden="true">2.3.</strong> 变量</a></li><li class="chapter-item expanded "><a href="../ch2/ch2-04.html"><strong aria-hidden="true">2.4.</strong> 赋值</a></li><li class="chapter-item expanded "><a href="../ch2/ch2-05.html"><strong aria-hidden="true">2.5.</strong> 类型</a></li><li class="chapter-item expanded "><a href="../ch2/ch2-06.html"><strong aria-hidden="true">2.6.</strong> 包和文件</a></li><li class="chapter-item expanded "><a href="../ch2/ch2-07.html"><strong aria-hidden="true">2.7.</strong> 作用域</a></li></ol></li><li class="chapter-item expanded "><a href="../ch3/ch3.html"><strong aria-hidden="true">3.</strong> 基础数据类型</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../ch3/ch3-01.html"><strong aria-hidden="true">3.1.</strong> 整型</a></li><li class="chapter-item expanded "><a href="../ch3/ch3-02.html"><strong aria-hidden="true">3.2.</strong> 浮点数</a></li><li class="chapter-item expanded "><a href="../ch3/ch3-03.html"><strong aria-hidden="true">3.3.</strong> 复数</a></li><li class="chapter-item expanded "><a href="../ch3/ch3-04.html"><strong aria-hidden="true">3.4.</strong> 布尔型</a></li><li class="chapter-item expanded "><a href="../ch3/ch3-05.html"><strong aria-hidden="true">3.5.</strong> 字符串</a></li><li class="chapter-item expanded "><a href="../ch3/ch3-06.html"><strong aria-hidden="true">3.6.</strong> 常量</a></li></ol></li><li class="chapter-item expanded "><a href="../ch4/ch4.html"><strong aria-hidden="true">4.</strong> 复合数据类型</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../ch4/ch4-01.html"><strong aria-hidden="true">4.1.</strong> 数组</a></li><li class="chapter-item expanded "><a href="../ch4/ch4-02.html"><strong aria-hidden="true">4.2.</strong> Slice</a></li><li class="chapter-item expanded "><a href="../ch4/ch4-03.html"><strong aria-hidden="true">4.3.</strong> Map</a></li><li class="chapter-item expanded "><a href="../ch4/ch4-04.html"><strong aria-hidden="true">4.4.</strong> 结构体</a></li><li class="chapter-item expanded "><a href="../ch4/ch4-05.html"><strong aria-hidden="true">4.5.</strong> JSON</
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
</nav>
<div id="page-wrapper" class="page-wrapper">
<div class="page">
<div id="menu-bar-hover-placeholder"></div>
<div id="menu-bar" class="menu-bar sticky bordered">
<div class="left-buttons">
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
<i class="fa fa-bars"></i>
</button>
<button id="theme-toggle" class="icon-button" type="button" title="Change theme" aria-label="Change theme" aria-haspopup="true" aria-expanded="false" aria-controls="theme-list">
<i class="fa fa-paint-brush"></i>
</button>
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
<li role="none"><button role="menuitem" class="theme" id="light">Light (default)</button></li>
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
<li role="none"><button role="menuitem" class="theme" id="ayu">Ayu</button></li>
</ul>
<button id="search-toggle" class="icon-button" type="button" title="Search. (Shortkey: s)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar">
<i class="fa fa-search"></i>
</button>
</div>
<h1 class="menu-title">Go语言圣经</h1>
<div class="right-buttons">
<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/gopl-zh/gopl-zh.github.com" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/gopl-zh/gopl-zh.github.com/edit/master/./ch8/ch8-04.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>
</div>
</div>
<div id="search-wrapper" class="hidden">
<form id="searchbar-outer" class="searchbar-outer">
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
</form>
<div id="searchresults-outer" class="searchresults-outer hidden">
<div id="searchresults-header" class="searchresults-header"></div>
<ul id="searchresults">
</ul>
</div>
</div>
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
<script type="text/javascript">
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
link.setAttribute('tabIndex', sidebar === 'visible' ? 0 : -1);
});
</script>
<div id="content" class="content">
<!-- Page table of contents -->
<div class="sidetoc"><nav class="pagetoc"></nav></div>
<main>
<!-- 头部 -->
<ul dir="auto">
<li><em>凹语言(专为 WebAssembly 设计): <a href="https://github.com/wa-lang/wa">https://github.com/wa-lang/wa</a></em></li>
<li><em>KCL 配置语言(Rust): <a href="https://github.com/kcl-lang/kcl">https://github.com/kcl-lang/kcl</a></em></li>
</ul>
<hr>
<h2 id="84-channels"><a class="header" href="#84-channels">8.4. Channels</a></h2>
<p>如果说goroutine是Go语言程序的并发体的话那么channels则是它们之间的通信机制。一个channel是一个通信机制它可以让一个goroutine通过它给另一个goroutine发送值信息。每个channel都有一个特殊的类型也就是channels可发送数据的类型。一个可以发送int类型数据的channel一般写为chan int。</p>
<p>使用内置的make函数我们可以创建一个channel</p>
<pre><code class="language-Go">ch := make(chan int) // ch has type 'chan int'
</code></pre>
<p>和map类似channel也对应一个make创建的底层数据结构的引用。当我们复制一个channel或用于函数参数传递时我们只是拷贝了一个channel引用因此调用者和被调用者将引用同一个channel对象。和其它的引用类型一样channel的零值也是nil。</p>
<p>两个相同类型的channel可以使用==运算符比较。如果两个channel引用的是相同的对象那么比较的结果为真。一个channel也可以和nil进行比较。</p>
<p>一个channel有发送和接受两个主要操作都是通信行为。一个发送语句将一个值从一个goroutine通过channel发送到另一个执行接收操作的goroutine。发送和接收两个操作都使用<code>&lt;-</code>运算符。在发送语句中,<code>&lt;-</code>运算符分割channel和要发送的值。在接收语句中<code>&lt;-</code>运算符写在channel对象之前。一个不使用接收结果的接收操作也是合法的。</p>
<pre><code class="language-Go">ch &lt;- x // a send statement
x = &lt;-ch // a receive expression in an assignment statement
&lt;-ch // a receive statement; result is discarded
</code></pre>
<p>Channel还支持close操作用于关闭channel随后对基于该channel的任何发送操作都将导致panic异常。对一个已经被close过的channel进行接收操作依然可以接受到之前已经成功发送的数据如果channel中已经没有数据的话将产生一个零值的数据。</p>
<p>使用内置的close函数就可以关闭一个channel</p>
<pre><code class="language-Go">close(ch)
</code></pre>
<p>以最简单方式调用make函数创建的是一个无缓存的channel但是我们也可以指定第二个整型参数对应channel的容量。如果channel的容量大于零那么该channel就是带缓存的channel。</p>
<pre><code class="language-Go">ch = make(chan int) // unbuffered channel
ch = make(chan int, 0) // unbuffered channel
ch = make(chan int, 3) // buffered channel with capacity 3
</code></pre>
<p>我们将先讨论无缓存的channel然后在8.4.4节讨论带缓存的channel。</p>
<h3 id="841-不带缓存的channels"><a class="header" href="#841-不带缓存的channels">8.4.1. 不带缓存的Channels</a></h3>
<p>一个基于无缓存Channels的发送操作将导致发送者goroutine阻塞直到另一个goroutine在相同的Channels上执行接收操作当发送的值通过Channels成功传输之后两个goroutine可以继续执行后面的语句。反之如果接收操作先发生那么接收者goroutine也将阻塞直到有另一个goroutine在相同的Channels上执行发送操作。</p>
<p>基于无缓存Channels的发送和接收操作将导致两个goroutine做一次同步操作。因为这个原因无缓存Channels有时候也被称为同步Channels。当通过一个无缓存Channels发送数据时接收者收到数据发生在再次唤醒发送者goroutine之前译注<em>happens before</em>这是Go语言并发内存模型的一个关键术语</p>
<p>在讨论并发编程时当我们说x事件在y事件之前发生<em>happens before</em>我们并不是说x事件在时间上比y时间更早我们要表达的意思是要保证在此之前的事件都已经完成了例如在此之前的更新某些变量的操作已经完成你可以放心依赖这些已完成的事件了。</p>
<p>当我们说x事件既不是在y事件之前发生也不是在y事件之后发生我们就说x事件和y事件是并发的。这并不是意味着x事件和y事件就一定是同时发生的我们只是不能确定这两个事件发生的先后顺序。在下一章中我们将看到当两个goroutine并发访问了相同的变量时我们有必要保证某些事件的执行顺序以避免出现某些并发问题。</p>
<p>在8.3节的客户端程序它在主goroutine中译注就是执行main函数的goroutine将标准输入复制到server因此当客户端程序关闭标准输入时后台goroutine可能依然在工作。我们需要让主goroutine等待后台goroutine完成工作后再退出我们使用了一个channel来同步两个goroutine</p>
<p><u><i>gopl.io/ch8/netcat3</i></u></p>
<pre><code class="language-Go">func main() {
conn, err := net.Dial(&quot;tcp&quot;, &quot;localhost:8000&quot;)
if err != nil {
log.Fatal(err)
}
done := make(chan struct{})
go func() {
io.Copy(os.Stdout, conn) // NOTE: ignoring errors
log.Println(&quot;done&quot;)
done &lt;- struct{}{} // signal the main goroutine
}()
mustCopy(conn, os.Stdin)
conn.Close()
&lt;-done // wait for background goroutine to finish
}
</code></pre>
<p>当用户关闭了标准输入主goroutine中的mustCopy函数调用将返回然后调用conn.Close()关闭读和写方向的网络连接。关闭网络连接中的写方向的连接将导致server程序收到一个文件end-of-file结束的信号。关闭网络连接中读方向的连接将导致后台goroutine的io.Copy函数调用返回一个“read from closed connection”“从关闭的连接读”类似的错误因此我们临时移除了错误日志语句在练习8.3将会提供一个更好的解决方案。需要注意的是go语句调用了一个函数字面量这是Go语言中启动goroutine常用的形式。</p>
<p>在后台goroutine返回之前它先打印一个日志信息然后向done对应的channel发送一个值。主goroutine在退出前先等待从done对应的channel接收一个值。因此总是可以在程序退出前正确输出“done”消息。</p>
<p>基于channels发送消息有两个重要方面。首先每个消息都有一个值但是有时候通讯的事实和发生的时刻也同样重要。当我们更希望强调通讯发生的时刻时我们将它称为<strong>消息事件</strong>。有些消息事件并不携带额外的信息它仅仅是用作两个goroutine之间的同步这时候我们可以用<code>struct{}</code>空结构体作为channels元素的类型虽然也可以使用bool或int类型实现同样的功能<code>done &lt;- 1</code>语句也比<code>done &lt;- struct{}{}</code>更短。</p>
<p><strong>练习 8.3</strong> 在netcat3例子中conn虽然是一个interface类型的值但是其底层真实类型是<code>*net.TCPConn</code>代表一个TCP连接。一个TCP连接有读和写两个部分可以使用CloseRead和CloseWrite方法分别关闭它们。修改netcat3的主goroutine代码只关闭网络连接中写的部分这样的话后台goroutine可以在标准输入被关闭后继续打印从reverb1服务器传回的数据。要在reverb2服务器也完成同样的功能是比较困难的参考<strong>练习 8.4</strong>。)</p>
<h3 id="842-串联的channelspipeline"><a class="header" href="#842-串联的channelspipeline">8.4.2. 串联的ChannelsPipeline</a></h3>
<p>Channels也可以用于将多个goroutine连接在一起一个Channel的输出作为下一个Channel的输入。这种串联的Channels就是所谓的管道pipeline。下面的程序用两个channels将三个goroutine串联起来如图8.1所示。</p>
<p><img src="../images/ch8-01.png" alt="" /></p>
<p>第一个goroutine是一个计数器用于生成0、1、2、……形式的整数序列然后通过channel将该整数序列发送给第二个goroutine第二个goroutine是一个求平方的程序对收到的每个整数求平方然后将平方后的结果通过第二个channel发送给第三个goroutine第三个goroutine是一个打印程序打印收到的每个整数。为了保持例子清晰我们有意选择了非常简单的函数当然三个goroutine的计算很简单在现实中确实没有必要为如此简单的运算构建三个goroutine。</p>
<p><u><i>gopl.io/ch8/pipeline1</i></u></p>
<pre><code class="language-Go">func main() {
naturals := make(chan int)
squares := make(chan int)
// Counter
go func() {
for x := 0; ; x++ {
naturals &lt;- x
}
}()
// Squarer
go func() {
for {
x := &lt;-naturals
squares &lt;- x * x
}
}()
// Printer (in main goroutine)
for {
fmt.Println(&lt;-squares)
}
}
</code></pre>
<p>如您所料上面的程序将生成0、1、4、9、……形式的无穷数列。像这样的串联Channels的管道Pipelines可以用在需要长时间运行的服务中每个长时间运行的goroutine可能会包含一个死循环在不同goroutine的死循环内部使用串联的Channels来通信。但是如果我们希望通过Channels只发送有限的数列该如何处理呢</p>
<p>如果发送者知道没有更多的值需要发送到channel的话那么让接收者也能及时知道没有多余的值可接收将是有用的因为接收者可以停止不必要的接收等待。这可以通过内置的close函数来关闭channel实现</p>
<pre><code class="language-Go">close(naturals)
</code></pre>
<p>当一个channel被关闭后再向该channel发送数据将导致panic异常。当一个被关闭的channel中已经发送的数据都被成功接收后后续的接收操作将不再阻塞它们会立即返回一个零值。关闭上面例子中的naturals变量对应的channel并不能终止循环它依然会收到一个永无休止的零值序列然后将它们发送给打印者goroutine。</p>
<p>没有办法直接测试一个channel是否被关闭但是接收操作有一个变体形式它多接收一个结果多接收的第二个结果是一个布尔值okture表示成功从channels接收到值false表示channels已经被关闭并且里面没有值可接收。使用这个特性我们可以修改squarer函数中的循环代码当naturals对应的channel被关闭并没有值可接收时跳出循环并且也关闭squares对应的channel.</p>
<pre><code class="language-Go">// Squarer
go func() {
for {
x, ok := &lt;-naturals
if !ok {
break // channel was closed and drained
}
squares &lt;- x * x
}
close(squares)
}()
</code></pre>
<p>因为上面的语法是笨拙的而且这种处理模式很常见因此Go语言的range循环可直接在channels上面迭代。使用range循环是上面处理模式的简洁语法它依次从channel接收数据当channel被关闭并且没有值可接收时跳出循环。</p>
<p>在下面的改进中我们的计数器goroutine只生成100个含数字的序列然后关闭naturals对应的channel这将导致计算平方数的squarer对应的goroutine可以正常终止循环并关闭squares对应的channel。在一个更复杂的程序中可以通过defer语句关闭对应的channel。最后主goroutine也可以正常终止循环并退出程序。</p>
<p><u><i>gopl.io/ch8/pipeline2</i></u></p>
<pre><code class="language-Go">func main() {
naturals := make(chan int)
squares := make(chan int)
// Counter
go func() {
for x := 0; x &lt; 100; x++ {
naturals &lt;- x
}
close(naturals)
}()
// Squarer
go func() {
for x := range naturals {
squares &lt;- x * x
}
close(squares)
}()
// Printer (in main goroutine)
for x := range squares {
fmt.Println(x)
}
}
</code></pre>
<p>其实你并不需要关闭每一个channel。只有当需要告诉接收者goroutine所有的数据已经全部发送时才需要关闭channel。不管一个channel是否被关闭当它没有被引用时将会被Go语言的垃圾自动回收器回收。不要将关闭一个打开文件的操作和关闭一个channel操作混淆。对于每个打开的文件都需要在不使用的时候调用对应的Close方法来关闭文件。</p>
<p>试图重复关闭一个channel将导致panic异常试图关闭一个nil值的channel也将导致panic异常。关闭一个channels还会触发一个广播机制我们将在8.9节讨论。</p>
<h3 id="843-单方向的channel"><a class="header" href="#843-单方向的channel">8.4.3. 单方向的Channel</a></h3>
<p>随着程序的增长人们习惯于将大的函数拆分为小的函数。我们前面的例子中使用了三个goroutine然后用两个channels来连接它们它们都是main函数的局部变量。将三个goroutine拆分为以下三个函数是自然的想法</p>
<pre><code class="language-Go">func counter(out chan int)
func squarer(out, in chan int)
func printer(in chan int)
</code></pre>
<p>其中计算平方的squarer函数在两个串联Channels的中间因此拥有两个channel类型的参数一个用于输入一个用于输出。两个channel都拥有相同的类型但是它们的使用方式相反一个只用于接收另一个只用于发送。参数的名字in和out已经明确表示了这个意图但是并无法保证squarer函数向一个in参数对应的channel发送数据或者从一个out参数对应的channel接收数据。</p>
<p>这种场景是典型的。当一个channel作为一个函数参数时它一般总是被专门用于只发送或者只接收。</p>
<p>为了表明这种意图并防止被滥用Go语言的类型系统提供了单方向的channel类型分别用于只发送或只接收的channel。类型<code>chan&lt;- int</code>表示一个只发送int的channel只能发送不能接收。相反类型<code>&lt;-chan int</code>表示一个只接收int的channel只能接收不能发送。箭头<code>&lt;-</code>和关键字chan的相对位置表明了channel的方向。这种限制将在编译期检测。</p>
<p>因为关闭操作只用于断言不再向channel发送新的数据所以只有在发送者所在的goroutine才会调用close函数因此对一个只接收的channel调用close将是一个编译错误。</p>
<p>这是改进的版本这一次参数使用了单方向channel类型</p>
<p><u><i>gopl.io/ch8/pipeline3</i></u></p>
<pre><code class="language-Go">func counter(out chan&lt;- int) {
for x := 0; x &lt; 100; x++ {
out &lt;- x
}
close(out)
}
func squarer(out chan&lt;- int, in &lt;-chan int) {
for v := range in {
out &lt;- v * v
}
close(out)
}
func printer(in &lt;-chan int) {
for v := range in {
fmt.Println(v)
}
}
func main() {
naturals := make(chan int)
squares := make(chan int)
go counter(naturals)
go squarer(squares, naturals)
printer(squares)
}
</code></pre>
<p>调用counternaturalsnaturals的类型将隐式地从chan int转换成chan&lt;- int。调用printer(squares)也会导致相似的隐式转换,这一次是转换为<code>&lt;-chan int</code>类型只接收型的channel。任何双向channel向单向channel变量的赋值操作都将导致该隐式转换。这里并没有反向转换的语法也就是不能将一个类似<code>chan&lt;- int</code>类型的单向型的channel转换为<code>chan int</code>类型的双向型的channel。</p>
<h3 id="844-带缓存的channels"><a class="header" href="#844-带缓存的channels">8.4.4. 带缓存的Channels</a></h3>
<p>带缓存的Channel内部持有一个元素队列。队列的最大容量是在调用make函数创建channel时通过第二个参数指定的。下面的语句创建了一个可以持有三个字符串元素的带缓存Channel。图8.2是ch变量对应的channel的图形表示形式。</p>
<pre><code class="language-Go">ch = make(chan string, 3)
</code></pre>
<p><img src="../images/ch8-02.png" alt="" /></p>
<p>向缓存Channel的发送操作就是向内部缓存队列的尾部插入元素接收操作则是从队列的头部删除元素。如果内部缓存队列是满的那么发送操作将阻塞直到因另一个goroutine执行接收操作而释放了新的队列空间。相反如果channel是空的接收操作将阻塞直到有另一个goroutine执行发送操作而向队列插入元素。</p>
<p>我们可以在无阻塞的情况下连续向新创建的channel发送三个值</p>
<pre><code class="language-Go">ch &lt;- &quot;A&quot;
ch &lt;- &quot;B&quot;
ch &lt;- &quot;C&quot;
</code></pre>
<p>此刻channel的内部缓存队列将是满的图8.3),如果有第四个发送操作将发生阻塞。</p>
<p><img src="../images/ch8-03.png" alt="" /></p>
<p>如果我们接收一个值,</p>
<pre><code class="language-Go">fmt.Println(&lt;-ch) // &quot;A&quot;
</code></pre>
<p>那么channel的缓存队列将不是满的也不是空的图8.4因此对该channel执行的发送或接收操作都不会发生阻塞。通过这种方式channel的缓存队列解耦了接收和发送的goroutine。</p>
<p><img src="../images/ch8-04.png" alt="" /></p>
<p>在某些特殊情况下程序可能需要知道channel内部缓存的容量可以用内置的cap函数获取</p>
<pre><code class="language-Go">fmt.Println(cap(ch)) // &quot;3&quot;
</code></pre>
<p>同样对于内置的len函数如果传入的是channel那么将返回channel内部缓存队列中有效元素的个数。因为在并发程序中该信息会随着接收操作而失效但是它对某些故障诊断和性能优化会有帮助。</p>
<pre><code class="language-Go">fmt.Println(len(ch)) // &quot;2&quot;
</code></pre>
<p>在继续执行两次接收操作后channel内部的缓存队列将又成为空的如果有第四个接收操作将发生阻塞</p>
<pre><code class="language-Go">fmt.Println(&lt;-ch) // &quot;B&quot;
fmt.Println(&lt;-ch) // &quot;C&quot;
</code></pre>
<p>在这个例子中发送和接收操作都发生在同一个goroutine中但是在真实的程序中它们一般由不同的goroutine执行。Go语言新手有时候会将一个带缓存的channel当作同一个goroutine中的队列使用虽然语法看似简单但实际上这是一个错误。Channel和goroutine的调度器机制是紧密相连的如果没有其他goroutine从channel接收发送者——或许是整个程序——将会面临永远阻塞的风险。如果你只是需要一个简单的队列使用slice就可以了。</p>
<p>下面的例子展示了一个使用了带缓存channel的应用。它并发地向三个镜像站点发出请求三个镜像站点分散在不同的地理位置。它们分别将收到的响应发送到带缓存channel最后接收者只接收第一个收到的响应也就是最快的那个响应。因此mirroredQuery函数可能在另外两个响应慢的镜像站点响应之前就返回了结果。顺便说一下多个goroutines并发地向同一个channel发送数据或从同一个channel接收数据都是常见的用法。</p>
<pre><code class="language-Go">func mirroredQuery() string {
responses := make(chan string, 3)
go func() { responses &lt;- request(&quot;asia.gopl.io&quot;) }()
go func() { responses &lt;- request(&quot;europe.gopl.io&quot;) }()
go func() { responses &lt;- request(&quot;americas.gopl.io&quot;) }()
return &lt;-responses // return the quickest response
}
func request(hostname string) (response string) { /* ... */ }
</code></pre>
<p>如果我们使用了无缓存的channel那么两个慢的goroutines将会因为没有人接收而被永远卡住。这种情况称为goroutines泄漏这将是一个BUG。和垃圾变量不同泄漏的goroutines并不会被自动回收因此确保每个不再需要的goroutine能正常退出是重要的。</p>
<p>关于无缓存或带缓存channels之间的选择或者是带缓存channels的容量大小的选择都可能影响程序的正确性。无缓存channel更强地保证了每个发送操作与相应的同步接收操作但是对于带缓存channel这些操作是解耦的。同样即使我们知道将要发送到一个channel的信息的数量上限创建一个对应容量大小的带缓存channel也是不现实的因为这要求在执行任何接收操作之前缓存所有已经发送的值。如果未能分配足够的缓存将导致程序死锁。</p>
<p>Channel的缓存也可能影响程序的性能。想象一家蛋糕店有三个厨师一个烘焙一个上糖衣还有一个将每个蛋糕传递到它下一个厨师的生产线。在狭小的厨房空间环境每个厨师在完成蛋糕后必须等待下一个厨师已经准备好接受它这类似于在一个无缓存的channel上进行沟通。</p>
<p>如果在每个厨师之间有一个放置一个蛋糕的额外空间那么每个厨师就可以将一个完成的蛋糕临时放在那里而马上进入下一个蛋糕的制作中这类似于将channel的缓存队列的容量设置为1。只要每个厨师的平均工作效率相近那么其中大部分的传输工作将是迅速的个体之间细小的效率差异将在交接过程中弥补。如果厨师之间有更大的额外空间——也是就更大容量的缓存队列——将可以在不停止生产线的前提下消除更大的效率波动例如一个厨师可以短暂地休息然后再加快赶上进度而不影响其他人。</p>
<p>另一方面,如果生产线的前期阶段一直快于后续阶段,那么它们之间的缓存在大部分时间都将是满的。相反,如果后续阶段比前期阶段更快,那么它们之间的缓存在大部分时间都将是空的。对于这类场景,额外的缓存并没有带来任何好处。</p>
<p>生产线的隐喻对于理解channels和goroutines的工作机制是很有帮助的。例如如果第二阶段是需要精心制作的复杂操作一个厨师可能无法跟上第一个厨师的进度或者是无法满足第三阶段厨师的需求。要解决这个问题我们可以再雇佣另一个厨师来帮助完成第二阶段的工作他执行相同的任务但是独立工作。这类似于基于相同的channels创建另一个独立的goroutine。</p>
<p>我们没有太多的空间展示全部细节但是gopl.io/ch8/cake包模拟了这个蛋糕店可以通过不同的参数调整。它还对上面提到的几种场景提供对应的基准测试§11.4</p>
<!-- 公众号 -->
<hr>
<table>
<tr>
<td>
<img width="222px" src="https://chai2010.cn/advanced-go-programming-book/css.png">
</td>
<td>
<img width="222px" src="https://chai2010.cn/advanced-go-programming-book/cch.png">
</td>
</tr>
</table>
<div id="giscus-container"></div>
<footer class="page-footer">
<span>© 2015-2016 | <a href="https://github.com/gopl-zh"> Go语言圣经中文版</a>, 仅学习交流使用</span>
</footer>
</main>
<nav class="nav-wrapper" aria-label="Page navigation">
<!-- Mobile navigation buttons -->
<a rel="prev" href="../ch8/ch8-03.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
<i class="fa fa-angle-left"></i>
</a>
<a rel="next" href="../ch8/ch8-05.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
<i class="fa fa-angle-right"></i>
</a>
<div style="clear: both"></div>
</nav>
</div>
</div>
<nav class="nav-wide-wrapper" aria-label="Page navigation">
<a rel="prev" href="../ch8/ch8-03.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
<i class="fa fa-angle-left"></i>
</a>
<a rel="next" href="../ch8/ch8-05.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
<i class="fa fa-angle-right"></i>
</a>
</nav>
</div>
<script type="text/javascript">
window.playground_copyable = true;
</script>
<script src="../elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
<script src="../mark.min.js" type="text/javascript" charset="utf-8"></script>
<script src="../searcher.js" type="text/javascript" charset="utf-8"></script>
<script src="../clipboard.min.js" type="text/javascript" charset="utf-8"></script>
<script src="../highlight.js" type="text/javascript" charset="utf-8"></script>
<script src="../book.js" type="text/javascript" charset="utf-8"></script>
<script type="text/javascript" charset="utf-8">
var pagePath = "ch8/ch8-04.md"
</script>
<!-- Custom JS scripts -->
<script type="text/javascript" src="../js/custom.js"></script>
<script type="text/javascript" src="../js/bigPicture.js"></script>
</body>
</html>