Golang l&agrave; một ng&ocirc;n ngữ lập tr&igrave;nh m&atilde; nguồn mở bao gồm nhiều t&iacute;nh năng như thư viện chuẩn, quản l&yacute; g&oacute;i, nhập kiểu tĩnh, hỗ trợ kiểm thử v&agrave; nền tảng độc lập . Golang l&agrave; một trong những ng&ocirc;n ngữ kh&aacute; được ưa chuộng gần đ&acirc;y v&agrave; c&oacute; nhu cầu sử dụng cao trong lập tr&igrave;nh. Kh&oacute;a học n&agrave;y TEK4.VN sẽ cung cấp c&aacute;c kh&aacute;i niệm cơ bản v&agrave; n&acirc;ng cao về Golang, v&iacute; dụ xử l&yacute; ngoại lệ, mạng v&agrave; tạo mẫu. Trong kh&oacute;a học n&agrave;y, bạn cũng sẽ học c&aacute;c kh&aacute;i niệm cốt l&otilde;i về t&iacute;nh đồng thời. Bạn cũng sẽ được cung cấp c&aacute;c c&acirc;u hỏi v&agrave; b&agrave;i tập gi&uacute;p luyện tập kỹ năng tư duy phản biện v&agrave; giải quyết vấn đề sử dụng Golang. Sau khi ho&agrave;n th&agrave;nh kh&oacute;a học, bạn c&oacute; thể sử dụng Golang để viết c&aacute;c ứng dụng hiệu quả v&agrave; thực tế sử dụng t&iacute;nh đồng thời.
<h3 style="text-align: justify;">Mục ti&ecirc;u</h3>
<ul style="text-align: justify;">
<li style="font-weight: 400;" aria-level="1">Học c&aacute;c kh&aacute;i niệm cơ bản của Golang</li>
<li style="font-weight: 400;" aria-level="1">Học về t&iacute;nh đồng thời v&agrave; c&aacute;c khối kiến thức x&acirc;y dựng li&ecirc;n quan đến t&iacute;nh đồng thời</li>
<li style="font-weight: 400;" aria-level="1">Học c&aacute;ch x&acirc;y dựng một ứng dụng web ho&agrave;n chỉnh bằng Golang</li>
</ul>

Golang từ cơ bản đến nâng cao

<h2 style="text-align: justify;">Triển khai embedded interface</h2>
Một interface c&oacute; thể chứa t&ecirc;n của một (hoặc nhiều) interface, tương đương với việc liệt k&ecirc; r&otilde; r&agrave;ng c&aacute;c phương thức của embedded interface trong interface chứa n&oacute;. V&iacute; dụ, interface <code>File</code> chứa tất cả c&aacute;c phương thức của <code>ReadWrite</code> v&agrave; <code>Lock</code> b&ecirc;n cạnh phương thức <code>Close()</code>.
<pre class="language-go" data-content="type%20ReadWrite%20interface%20%7B%0A%C2%A0%C2%A0Read(b%20Buffer)%20bool%0A%C2%A0%C2%A0Write(b%20Buffer)%20bool%0A%7D%0A%0Atype%20Lock%20interface%20%7B%0A%C2%A0%C2%A0Lock()%0A%C2%A0%C2%A0Unlock()%0A%7D%0A%0Atype%20File%20interface%20%7B%0A%C2%A0%C2%A0ReadWrite%0A%C2%A0%C2%A0Lock%0A%C2%A0%C2%A0Close()%0A%7D" data-language="go" data-ace-language="golang" data-name-language="GoLang" data-main-file="main.go"><code>type ReadWrite interface {
 Read(b Buffer) bool
 Write(b Buffer) bool
}

type Lock interface {
 Lock()
 Unlock()
}

type File interface {
 ReadWrite
 Lock
 Close()
}</code></pre>
<h2 style="text-align: justify;">X&aacute;c định v&agrave; chuyển đổi kiểu của biến interface</h2>
Một biến kiểu interface <code>varI</code> c&oacute; thể chứa một gi&aacute; trị c&oacute; kiểu bất kỳ; ch&uacute;ng ta cần t&igrave;m một c&aacute;ch để x&aacute;c định kiểu động n&agrave;y, n&oacute; l&agrave; kiểu thực tế của gi&aacute; trị được lưu trữ trong biến tại thời điểm chạy. Kiểu động c&oacute; thể thay đổi trong qu&aacute; tr&igrave;nh thực thi nhưng lu&ocirc;n c&oacute; thể g&aacute;n cho kiểu của biến interface đ&oacute;.
Nh&igrave;n chung, ch&uacute;ng ta c&oacute; thể kiểm tra xem <code>varI</code> tại một thời điểm n&agrave;o đ&oacute; chứa một biến c&oacute; kiểu <code>T</code> hay kh&ocirc;ng bằng c&aacute;ch chỉ định kiểu:
<pre class="language-go" data-content="v%20%3A%3D%20varI.(T)%20%2F%2F%20unchecked%20type%20assertion" data-language="go" data-ace-language="golang" data-name-language="GoLang" data-main-file="main.go"><code>v := varI.(T) // unchecked type assertion</code></pre>
<code>varI</code> phải l&agrave; một biến interface. Nếu kh&ocirc;ng, tr&igrave;nh bi&ecirc;n dịch sẽ th&ocirc;ng b&aacute;o lỗi: <code>invalid type assertion: varI.(T) (non-interface type (type of varI) on left)</code>
Việc chỉ định kiểu c&oacute; thể kh&ocirc;ng hợp lệ, tức l&agrave; kh&ocirc;ng thể thực hiện được. Khi đ&oacute;, tr&igrave;nh bi&ecirc;n dịch cố gắng kiểm tra xem việc chuyển đổi c&oacute; hợp lệ kh&ocirc;ng, nhưng n&oacute; kh&ocirc;ng thể dự đo&aacute;n tất cả c&aacute;c trường hợp c&oacute; thể xảy ra. Nếu việc chuyển đổi thất bại trong khi chạy chương tr&igrave;nh, ch&uacute;ng ta sẽ gặp lỗi thời gian chạy! Một c&aacute;ch an to&agrave;n hơn l&agrave; sử dụng biểu thức:
<pre class="language-go" data-content="if%20v%2C%20ok%20%3A%3D%20varI.(T)%3B%20ok%20%7B%20%2F%2F%20checked%20type%20assertion%0AProcess(v)%0Areturn%0A%7D%0A%2F%2F%20here%20varI%20is%20not%20of%20type%20T" data-language="go" data-ace-language="golang" data-name-language="GoLang" data-main-file="main.go"><code>if v, ok := varI.(T); ok { // checked type assertion
Process(v)
return
}
// here varI is not of type T</code></pre>
Nếu việc chuyển đổi n&agrave;y hợp lệ, <code>v</code> sẽ chứa gi&aacute; trị của <code>varI</code> được chuyển đổi sang kiểu <code>T</code> v&agrave; <code>ok</code> l&agrave; true. Nếu kh&ocirc;ng, <code>v</code> l&agrave; gi&aacute; trị zero cho <code>T</code> v&agrave; <code>ok</code> l&agrave; false, do đ&oacute; kh&ocirc;ng c&oacute; lỗi thời gian chạy xảy ra!
[___NOTE_Lu&ocirc;n sử dụng c&uacute; ph&aacute;p "comma, ok" cho chỉ định kiểu_NOTE___]
Th&ocirc;ng thường, bạn sẽ cần kiểm tra gi&aacute; trị của biến ok trong một c&acirc;u lệnh if. Trong trường hợp n&agrave;y, c&aacute;ch tiện lợi nhất l&agrave; sử dụng c&uacute; ph&aacute;p:
<pre class="language-go" data-content="if%20v%2C%20ok%20%3A%3D%20varI.(T)%3B%20ok%20%7B%0A%2F%2F%20...%0A%7D" data-language="go" data-ace-language="golang" data-name-language="GoLang" data-main-file="main.go"><code>if v, ok := varI.(T); ok {
// ...
}</code></pre>
Với c&uacute; ph&aacute;p n&agrave;y, đ&ocirc;i khi ta sẽ muốn đặt t&ecirc;n biến <code>v</code> tr&ugrave;ng với t&ecirc;n biến <code>varI</code> để ẩn biến <code>varI</code> gốc.
V&iacute; dụ: 
<div class="code-editor__wrapped code-editor__edit__wrapped" data-id="89faf6f7-7b36-4eb0-9a9f-756b995c7d50">
<table class="code-editor__table" data-id="8d373cc1-80f5-4bbe-926c-7c3b95e8406c">
<tbody>
<tr class="code-editor__edit__row__first">
<td colspan="2">RUN_CODE (*** ph&acirc;n biệt ***)</td>
</tr>
<tr>
<td>GoLang</td>
<td>
<pre class="language-go" data-content="package" data-language="go" data-ace-language="golang" data-name-language="GoLang" data-main-file="main.go"><code>package main
import (
"fmt"
"math"
)

type Square struct {
 side float32
}

type Circle struct {
 radius float32
}

type Shaper interface {
 Area() float32
}

func main() {
 var areaIntf Shaper
 sq1 := new(Square)
 sq1.side = 5
 areaIntf = sq1
 // Is Square the type of areaIntf ?
 if t, ok := areaIntf.(*Square); ok {
 fmt.Printf("The type of areaIntf is: %T\n", t)
 }
 if u, ok := areaIntf.(*Circle); ok {
 fmt.Printf("The type of areaIntf is: %T\n", u)
 } else {
 fmt.Println("areaIntf does not contain a variable of type Circle")
 }
}

func (sq *Square) Area() float32 {
 return sq.side * sq.side
}

func (ci *Circle) Area() float32 {
 return ci.radius * ci.radius * math.Pi
}</code></pre>
</td>
</tr>
</tbody>
</table>
</div>
Trong đoạn code tr&ecirc;n: 
<ul>
<li style="text-align: justify;">Tại d&ograve;ng 7, ch&uacute;ng ta tạo struct kiểu <code>Square</code> với trường <code>side</code> kiểu float32. </li>
<li style="text-align: justify;">Tương tự, tại d&ograve;ng 11, ch&uacute;ng ta tạo struct kiểu <code>Circle</code> với trường <code>radius</code> kiểu float32. </li>
<li style="text-align: justify;">Tại d&ograve;ng 15, ch&uacute;ng ta tạo interface <code>Shaper</code> với phương thức <code>Area()</code>. </li>
<li style="text-align: justify;">Tại d&ograve;ng 35, ch&uacute;ng ta định nghĩa phương thức <code>Area()</code> c&oacute; thể được gọi bởi một con trỏ đến đối tượng kiểu <code>Square</code>. </li>
<li style="text-align: justify;">Một lần nữa, tại d&ograve;ng 39, ch&uacute;ng ta định nghĩa phương thức <code>Area()</code> c&oacute; thể được gọi bởi một con trỏ đến đối tượng kiểu <code>Circle</code>.</li>
</ul>
B&acirc;y giờ, h&atilde;y xem <code>main</code>:
<ul>
<li style="text-align: justify;">Ch&uacute;ng ta tạo một <code>areaIntf</code> kiểu Shaper tại d&ograve;ng 20. </li>
<li style="text-align: justify;">Ở d&ograve;ng tiếp theo, ch&uacute;ng ta tạo biến <code>sq1</code> kiểu <code>Square</code> v&agrave; g&aacute;n n&oacute; cho <code>areaIntf</code>. </li>
<li style="text-align: justify;">Tại d&ograve;ng 25, ch&uacute;ng ta kiểm tra xem <code>areaIntf</code> c&oacute; chứa một tham chiếu đến kiểu <code>Square</code> kh&ocirc;ng bằng c&aacute;ch sử dụng điều kiện if. 
<ul>
<li style="text-align: justify;">Nếu <code>ok</code> l&agrave; true, luồng thực thi sẽ chuyển đến d&ograve;ng 26 v&agrave; kiểu của n&oacute; sẽ được in ra. </li>
<li style="text-align: justify;">Ngược lại, luồng thực thi sẽ chuyển đến d&ograve;ng 28. </li>
</ul>
</li>
<li style="text-align: justify;">Tại d&ograve;ng 28, ch&uacute;ng ta kiểm tra xem <code>areaIntf</code> c&oacute; chứa một tham chiếu đến kiểu <code>Circle</code> kh&ocirc;ng bằng c&aacute;ch sử dụng điều kiện if.
<ul>
<li style="text-align: justify;">Nếu <code>ok</code> l&agrave; true, luồng thực thi sẽ chuyển đến d&ograve;ng 29 v&agrave; kiểu của n&oacute; sẽ được in ra.</li>
<li style="text-align: justify;">Ngược lại, luồng thực thi sẽ chuyển đến d&ograve;ng 31 v&agrave; một th&ocirc;ng b&aacute;o sẽ được in ra tr&ecirc;n m&agrave;n h&igrave;nh cho biết kiểu n&agrave;y kh&ocirc;ng tồn tại.</li>
</ul>
</li>
</ul>
[___WARNING_Nếu ch&uacute;ng ta bỏ qua dấu * trong <code>areaIntf.(*Square)</code>, chương tr&igrave;nh sẽ đưa ra lỗi bi&ecirc;n dịch: <code>impossible type assertion: areaIntf (type Shaper) cannot have dynamic type Square (missing Area method)</code>_WARNING___]

Embedded Interface và chỉ định kiểu