اینترفیس در زبان گو مجموعهای از متدها است. این مجموعه متدها با توجه به ورودی و خروجی که دارند دارای رفتارهای خاصی هستند. زمانیکه شما یک اینترفیس به همراه یکسری از متدها تعریف میکنید باید در جایی این متدها را پیاده سازی کنید.
اینترفیسها به شما اجازه میدهد تا از Duck typing استفاده کنید. حالا این duck typing چیست؟
duck typing روشی در برنامهنویسی کامپیوتری است که به شما امکان میدهد تست اردک را انجام دهید، جایی که ما نوع را بررسی نمیکنیم، بلکه تنها وجود برخی ویژگیها یا روشها را بررسی میکنیم. بنابراین آنچه واقعاً اهمیت دارد این است که آیا یک شی دارای ویژگیها و روشهای خاصی است و نه نوع آن.
برگردیم به بحث اینترفیس, در زیر ما یک نمونه اینترفیس را قرار دادیم:
برای درک بهتر مفهوم ارائه شده، بیایید از یک مثال ساده استفاده کنیم. فرض کنید ما یک شی به نام «animal» داریم که شامل یکسری رفتارها است، مانند نفس کشیدن و راه رفتن. این رفتارها باید به یک حیوان خاص اختصاص یابند تا بتوانیم ویژگیها و رفتارهای دقیق آن حیوان را مشخص و تعریف کنیم.
در بالا ما یک اینترفیس تعریف کردیم ۲ تا متد دارد حالا بیاید یک متغیر از نوع اینترفیس animal درست کنیم و چاپ کنیم.
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10func main() {
11 var a animal
12 fmt.Println(a)
13}
در بالا وقتی اینترفیس را چاپ کردیم، خروجی nil
بود.
توجه کنید اینترفیس مقدار پیشفرض یا خالی بودنش nil
هست.
2.4.1 پیادهسازی اینترفیس #
در بالا ما یک اینترفیس animal تعریف کردیم که ۲ متد داشت حالا قصد داریم یک شی (منظور ساختار در گو) به نام lion تعریف کنیم و متدهای اینترفیس animal را پیادهسازی کنیم.
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type lion struct {
11 age int
12}
13
14func (l lion) breathe() {
15 fmt.Println("Lion breathes")
16}
17
18func (l lion) walk() {
19 fmt.Println("Lion walk")
20}
21
22func main() {
23 var a animal
24 a = lion{age: 10}
25 a.breathe()
26 a.walk()
27}
در بالا ما یک متغیر با تایپ animal تعریف کردیم:
1var a animal
سپس ما یک نمونه از ساختار lion را بهش اختصاص دادیم:
1a = lion{}
اختصاص یک نمونه از ساختار lion به متغیر a که با تایپ lion بود موفقیت آمیز بود زیرا ما برای lion متدهای مربوط به animal را که breathe و walk بود، پیاده سازی کردیم. این مفهوم کاملاً شبیه به ducking typing هست که در بالا گفتیم. یک شیر میتواند نفس بکشد و راه برود از این رو او یک حیوان است.
توجه کنید اگر شما متد جدیدی را اضافه یا کم کنید و همچنین اگر تغییر ایجاد کنید باید این تغییرات بر روی اشیایی که با اینترفیس شما در ارتباط هستند صورت بگیرید.
به عنوان مثال شما اگر به اینترفیس animal یک متد جدیدی اضافه کنید حتما باید برای ساختار lion هم پیاده سازی کنید.
2.4.2 اینترفیسها بطور ضمنی (implicitly) پیاده سازی میشود #
برای اینترفیس هیچ حالت صریح (explicit) هنگام تعریف وجود ندارد و همه چی بصورت ضمنی است تا زمانیکه یک اینترفیس برای یک شی (ساختار) متدهایش پیاده سازی نشود هیچ کاربردی نخواهد داشت.
توجه کنید هیچ حالت صریحی وجود ندارد که بگوید شما تمامی متدهای اینترفیس animal را برای ساختار lion پیاده سازی کردید یا خیر و فقط در زمان کامپایل اگر ایرادی وجود داشته باشد کامپایلر به شما خطا میدهد و البته IDE هایی مانند: Goland , Vscode به شما هنگام نوشتن کد در خصوص این مورد کمک میکنند قبل از کامپایل متوجه خطاهای مرتبط با پیاده سازی اینترفیس شوید.
خب بزارید یک مثال پیچیده برای اینترفیس animal بزنیم و یک شی (ساختار) دیگر به نام dog اضافه کنیم و متدهای اینترفیس animal را برای این شی پیاده سازی کنیم.
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type lion struct {
11 age int
12}
13
14func (l lion) breathe() {
15 fmt.Println("Lion breathes")
16}
17
18func (l lion) walk() {
19 fmt.Println("Lion walk")
20}
21
22type dog struct {
23 age int
24}
25
26func (l dog) breathe() {
27 fmt.Println("Dog breathes")
28}
29
30func (l dog) walk() {
31 fmt.Println("Dog walk")
32}
33
34func main() {
35 var a animal
36
37 a = lion{age: 10}
38 a.breathe()
39 a.walk()
40
41 a = dog{age: 5}
42 a.breathe()
43 a.walk()
44}
در مثال بالا ما یک ساختار با نام dog تعریف کردیم و سپس متدهای animal را برای ساختار dog پیاده سازی کردیم و در نهایت ساختار dog را به متغیر اینترفیس a اختصاص دادیم. همانطور که میبینیم dog هم همانند lion نفس میکشد و راه میرود.
توجه کنید در بالا ما برای ۲ تا شی lion و dog یک وجه مشترک به نام animal به همراه رفتار مشترک تعریف کردیم که به اینکار پلی مورفیسم میگویند و یکی از عناوین پر کاربرد در شیگرایی می باشد که در بخش شی گرایی زبان گو بیشتر میپردازیم.
دو نکته مهم در خصوص اینترفیس:
- اینترفیسها فقط زمان کامپایل مشخص میشود که برای اشیا به درستی پیاده سازی شدهاند یا خیر و اگر فرضاً ما برای ساختار lion در کد بالا متد walk را حذف کنیم با خطای زیر رو به رو خواهیم شد:
1cannot use lion literal (type lion) as type animal in assignment:
- ورود و خروجیهای هر متدی که پیاده سازی میکنید برای اشیا (ساختارها) بستگی به تعریف ضمنی متد داخل اینترفیس دارد و اگر شما متدی را داخل اینترفیس تغییر دهید حتما باید آن متد در اشیایی که قبلا پیاده سازی شده تغییر یابد.
حالا فرض کنید ما برای اینترفیس animal یک متد جدیدی به نام speed تعریف کردیم که این متد به عنوان خروجی مقداری با تایپ int بر میگرداند:
حالا ساختار lion باید متد speed را مانند کد زیر پیاده سازی کرده باشد :
1func (l lion) speed()
اگر دقت کنید ما داخل اینترفیس animal گفتیم متد speed یک مقدار خروجی از نوع int دارد ولی ما برای ساختار lion متد speed را بدون خروجی نوشتیم. اتفاقی که میافتد هنگام کامپایل با خطای زیر مواجه خواهیم شد :
1cannot use lion literal (type lion) as type animal in assignment:
2 lion does not implement animal (wrong type for speed method)
3 have speed()
4 want speed() int
با توجه به اتفاقی که افتاد ما نتیجه میگریم متدی که داخل اینترفیس به همراه ورودی و خروجی اضافه میشود باید به همان شکل برای ساختارهامون پیاده سازی کنیم.
2.4.3 استفاده از اینترفیس به عنوان پارامتر ورودی تابع #
توابع، تایپهای اینترفیس را به عنوان ورودی قبول میکنند و هر ساختار یا تایپی متدهای اینترفیس را پیاده سازی کرده باشد میتواند به عنوان پارامتر ورودی به تابع ارسال شود.
به عنوان مثال ما در کد زیر ۲ تا تابع داریم به نام های callBreathe و callWalk که به عنوان ورودی اینترفیس animal را قبول میکند و ما ۲ نمونه از ساختارهای lion و dog را که متدهای اینترفیس animal را پیاده سازی کردهاند را به این ۲ تابع پاس دادیم.
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type lion struct {
11 age int
12}
13
14func (l lion) breathe() {
15 fmt.Println("Lion breathes")
16}
17
18func (l lion) walk() {
19 fmt.Println("Lion walk")
20}
21
22type dog struct {
23 age int
24}
25
26func (l dog) breathe() {
27 fmt.Println("Dog breathes")
28}
29
30func (l dog) walk() {
31 fmt.Println("Dog walk")
32}
33
34func main() {
35 l := lion{age: 10}
36 callBreathe(l)
37 callWalk(l)
38
39 d := dog{age: 5}
40 callBreathe(d)
41 callWalk(d)
42}
43
44func callBreathe(a animal) {
45 a.breathe()
46}
47
48func callWalk(a animal) {
49 a.breathe()
50}
2.4.4 چرا اینترفیس؟ #
شاید برای شما این سوال پیش بیاد چرا باید از اینترفیس استفاده کنیم و مزایای آن چیست؟ ما در زیر مزایای استفاده از اینترفیس و علت اینکه چرا باید از اینترفیس استفاده کنیم را توضیح خواهیم داد.
- اینترفیس به ما در نوشتن کدهای ماژولارتر و جدا شدهتر بین بخشهای مختلف کد کمک میکند و همچنین میتواند باعث کاهش وابستگی بین بخشهای مختلف کد شود.
کد باید برای تغییر بسته، و برای توسعه باز باشد. #
اصل باز و بسته بودن یا اصل Open/Closed به نظر بسیاری، اساس برنامه نویسی شی گرا را تشکیل میدهد. رابرت مارتین (Robert C. Martin) که در بین برنامه نویسان به عمو باب (Uncle Bob) مشهور است با عبارت: “مهمترین اصل طراحی شی گرا” از این اصل یاد کرده است. ما با استفاده از اینترفیس ها میتونیم این اصل مهم رو پیاده سازی کنیم.
بزارید چند مثال کاربردی بزنیم: فرض کنید ما چند تا سرویس اس ام اس داریم و در آینده هم ممکنه که سرویس های اس ام اس تغییر کنند و از یک ارائه دهنده دیگه خدمات بگیریم. خب در این صورت ما باید چیکار کنیم که با حذف و اضافه کردن سرویس جدید کد های ما تغییر نکنند؟ میایم یک اینترفیس به اسم مثلا Sms می نویسیم و مشخص میکنیم هر کی که میخواد از این اینترفیس استفاده کنه باید متد send_sms و هر چیزی که نیاز هستش رو پیاده سازیش کنه.
فرض کنید شما یک برنامه نوشتید که یک لایه دیتابیس دارد و دادهها، با توجه به کانفیگ، در یکی از دو دیتابیس mongodb یا arangodb ذخیره میشود. حالا اگر ما بیایم در لایه دیتابیس یک اینترفیس قرار دهیم و متدهای مربوط به تعاملات با دیتابیس را ایجاد کنیم، در برنامهای که نوشتیم فقط کافیست متدهای ایترفیس استفاده شود تا با توجه به نوع کانفینگ دیتابیس، پیاده سازی متود اجرا شود. یعنی اگر ما بیایم داخل کانفیگ پروژه تنظیمات arangodb را به mongodb تغییر دهیم بدون هیچ تغییری در لایه برنامه میتوانیم به واسطه اینترفیسی که قرار دادیم با دیتابیس mongodb تعامل داشته باشیم.
- از اینترفیسها میتوان برای پیادهسازی مفهوم پلی مورفیسم در زمان اجرا استفاده کرد. که به این مفهوم RunTime Polymorphism میگویند.
بزارید یک مثال برای توضیح فوق بزنیم:
فرض کنید کشورهای مختلف روشهای مختلفی برای محاسبه مالیات دارند که شما میتوانید با استفاده از یک اینترفیس این عملیات محاسبه را انجام دهید.
در بالا ما یک اینترفیس با نام taxCalculator داریم که یک متد به نام calculateTax برای محاسبه مالیات دارد. حالا ما باید به ازای هر کشور یک ساختار داشته باشیم که این ساختارها باید متد calculateTax را با توجه شیوه محاسباتی خود پیاده سازی کرده باشند.
1package main
2
3import "fmt"
4
5type taxSystem interface {
6 calculateTax() int
7}
8type indianTax struct {
9 taxPercentage int
10 income int
11}
12func (i *indianTax) calculateTax() int {
13 tax := i.income * i.taxPercentage / 100
14 return tax
15}
16type singaporeTax struct {
17 taxPercentage int
18 income int
19}
20func (i *singaporeTax) calculateTax() int {
21 tax := i.income * i.taxPercentage / 100
22 return tax
23}
24type usaTax struct {
25 taxPercentage int
26 income int
27}
28func (i *usaTax) calculateTax() int {
29 tax := i.income * i.taxPercentage / 100
30 return tax
31}
32func main() {
33 indianTax := &indianTax{
34 taxPercentage: 30,
35 income: 1000,
36 }
37 singaporeTax := &singaporeTax{
38 taxPercentage: 10,
39 income: 2000,
40 }
41
42
43 taxSystems := []taxSystem{indianTax, singaporeTax}
44 totalTax := calculateTotalTax(taxSystems)
45
46
47 fmt.Printf("Total Tax is %d\n", totalTax)
48}
49
50func calculateTotalTax(taxSystems []taxSystem) int {
51 totalTax := 0
52 for _, t := range taxSystems {
53 totalTax += t.calculateTax() // در اینجا runtime polymorphism رخ می دهد
54 }
55 return totalTax
56}
در خط زیر RunTime Polymorphism رخ داده است.
1 totalTax += t.calculateTax() //This is where runtime polymorphism happens
2.4.5 استفاده از اشارهگر هنگام پیادهسازی اینترفیس #
متدها تایپهای گیرنده خود را به دو صورت اشارهگر یا مقدار میتوانند دریافت کنند. در بالا مثال animal را داشتیم که با حالت گیرنده مقدار بود. حالا میخواهیم بصورت گیرنده اشارهگر تعریف کنیم.
2 نکته با توجه مثالی که خواهیم زد وجود دارد:
اگر شما برای یک تایپ تمامی متدهای اینترفیس را بصورت گیرنده مقدار تعریف کرده باشید، هر دو متغیری که یک نمونه از تایپ را بصورت اشارهگر و بدون اشارهگر تعریف کرده باشد، میتواند به اینترفیس animal انتصاب شود و بدون هیچ مشکلی کار کند.
اگر شما برای یک تایپی تمامی متدهای اینترفیس را بصورت گیرنده اشارهگر تعریف کرده باشید فقط متغیری که یک نمونه از تایپ که با اشارهگر تعریف کرده باشد میتواند به اینترفیس انتصاب یابد.
مثال با حالت اولی که توضیح دادیم:
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type lion struct {
11 age int
12}
13
14func (l lion) breathe() {
15 fmt.Println("Lion breathes", l)
16}
17
18func (l lion) walk() {
19 fmt.Println("Lion walk", l)
20}
21
22func main() {
23 var a animal
24
25 a = lion{age: 10}
26 a.breathe()
27 a.walk()
28
29 a = &lion{age: 5}
30 a.breathe()
31 a.walk()
32}
در بالا ما یک نمونه از ساختار lion با اشارهگر ایجاد کردیم و مقدار age را ۵ قرار دادیم و به اینترفیس animal انتصابش کردیم و بدون هیچ مشکلی کار کرد.
حالا برای حالت دوم به مثال زیر توجه کنید:
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type lion struct {
11 age int
12}
13
14func (l *lion) breathe() {
15 fmt.Println("Lion breathes")
16}
17
18func (l *lion) walk() {
19 fmt.Println("Lion walk")
20}
21
22func main() {
23 var a animal
24
25 a = lion{age: 10}
26 a.breathe()
27 a.walk()
28
29 a = &lion{age: 5}
30 a.breathe()
31 a.walk()
32}
1$ go run main.go
2cannot use lion literal (type lion) as type animal in assignment:
3 lion does not implement animal (breathe method has pointer receiver)
در واقع شما فقط در صورت استفاده از اشارهگر، میتوانید یک نمونه از ساختار lion بسازید در غیر این صورت با خطا مواجه خواهید شد.
2.4.6 پیاده سازی اینترفیس برای تایپهای غیر ساختار #
همانطور که قبلاً گفتیم شما میتوانید برای هر تایپی متد تعریف کنید و در اینجا هم میتوانید متدهای یک اینترفیس را برای هر تایپی پیاده سازی کنید.
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type cat string
11
12func (c cat) breathe() {
13 fmt.Println("Cat breathes")
14}
15
16func (c cat) walk() {
17 fmt.Println("Cat walk")
18}
19
20func main() {
21 var a animal
22
23 a = cat("smokey")
24 a.breathe()
25 a.walk()
26}
در بالا ما یک تایپ با نام cat از نوع رشته تعریف کردیم و سپس متدهای اینترفیس animal را برای این تایپ پیادهسازی کردیم.
2.4.7 پیادهسازی چندتایی اینترفیس برای تایپ #
شما میتوانید برای تایپهای خود چندین اینترفیس مختلف استفاده کنید و متدهای این اینترفیسها را پیاده سازی کنید.
در کد زیر ما ۲ تا اینترفیس animal و mammal داریم که داخل اینترفیس mammal یک متد با نام feed وجود دارد حالا میخواهیم برای ساختار lion از این اینترفیس استفاده کنیم.
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type mammal interface {
11 feed()
12}
13
14type lion struct {
15 age int
16}
17func (l lion) breathe() {
18 fmt.Println("Lion breathes")
19}
20func (l lion) walk() {
21 fmt.Println("Lion walk")
22}
23func (l lion) feed() {
24 fmt.Println("Lion feeds young")
25}
26func main() {
27 var a animal
28 l := lion{}
29 a = l
30 a.breathe()
31 a.walk()
32 var m mammal
33 m = l
34 m.feed()
35}
2.4.8 مقدار صفر یا پیشفرض اینترفیس #
اینترفیس هم همانند سایر تایپها یک مقدار پیشفرض دارد که این مقدار پیشفرض nil هست.
1package main
2
3import "fmt"
4type animal interface {
5 breathe()
6 walk()
7}
8
9func main() {
10 var a animal
11 fmt.Println(a)
12}
2.4.9 بدنه اینترفیس #
اینترفیس دارای یک بدنه است که از دو بخش تشکیل شده تایپ و مقدار وقتی شما یک تایپی را به اینترفیس منتصب میکنید در بخش مقدار نوع و مقدار تایپی که منتصب کردید به اینترفیس در دسترس است.
graph TD A[Interface Variable] --> B(Interface Type) & C(Interface Value) C --> D(تایپ داخلی) & E(مقدار داخلی)
اگر بخواهیم با توجه به مثال ساختار lion توجه کنیم به شکل زیر میشود:
graph TD A[Interface Variable] --> B(Interface Type) & C(Interface Value) C --> D(lion) & E("{age: 10}")
حالا در زیر مثالی زدیم با استفاده از T%
و v%
نوع و مقدار را میتوانید چاپ کنیم.
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type lion struct {
11 age int
12}
13
14func (l lion) breathe() {
15 fmt.Println("Lion breathes")
16}
17
18func (l lion) walk() {
19 fmt.Println("Lion walk")
20}
21
22func main() {
23 var a animal
24 a = lion{age: 10}
25 fmt.Printf("Underlying Type: %T\n", a)
26 fmt.Printf("Underlying Value: %v\n", a)
27}
2.4.10 دسترسی به مقادیر داخلی اینترفیس #
برای اینکه بتوانید به مقادیر داخلی اینترفیس دسترسی پیدا کنید ۲ تا روش وجود دارد:
- با استفاده از Type Assertion
- با استفاده از Switch
2.4.10.1 با استفاده از Type Assertion #
برای اینکه بتوانید به مقدار داخلی یک اینترفیس دسترسی پیدا کنید باید جلوی متغیر از نوع اینترفیس یک نقطه .
و در ادامه داخل پرانتز تایپ مورد نظری که قصد دارید تشخیص دهید را باید قرار دهید.
1val, ok := i.({type})
در بالا زمانیکه Type Assertion انجام میدهید ۲ تا متغیر دارید که اولیش مقدار است و دومیش تایید میکند تایپی که به اینترفیس دادید همان است (منظور متغیر ok است که مقدار آن از نوع bool است)
اگر هنگام Type Assertion شما وضعیت متغیر ok را بررسی نکنید با خطای panic مواجه خواهید شد.
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type lion struct {
11 age int
12}
13
14func (l lion) breathe() {
15 fmt.Println("Lion breathes")
16}
17
18func (l lion) walk() {
19 fmt.Println("Lion walk")
20}
21
22type dog struct {
23 age int
24}
25
26func (d dog) breathe() {
27 fmt.Println("Dog breathes")
28}
29
30func (d dog) walk() {
31 fmt.Println("Dog walk")
32}
33
34func main() {
35 var a animal
36
37 a = lion{age: 10}
38 print(a)
39
40}
41
42func print(a animal) {
43 l, ok := a.(lion)
44 if ok {
45 fmt.Printf("Age: %d\n", l.age)
46 }
47}
در بالا ما تایپ lion را به اینترفیس animal پاس دادیم و بررسی کردیم آیا تایپ lion از نوع تایپ داخلی اینترفیس animal هست یا خیر.
1l := a.(lion)
2.4.10.2 با استفاده از Switch #
شما با استفاده از switch میتوانید تایپ اینترفیس را تشخیص دهید.
1package main
2
3import "fmt"
4
5type animal interface {
6 breathe()
7 walk()
8}
9
10type lion struct {
11 age int
12}
13
14func (l lion) breathe() {
15 fmt.Println("Lion breathes")
16}
17
18func (l lion) walk() {
19 fmt.Println("Lion walk")
20}
21
22type dog struct {
23 age int
24}
25
26func (d dog) breathe() {
27 fmt.Println("Dog breathes")
28}
29
30func (d dog) walk() {
31 fmt.Println("Dog walk")
32}
33
34func main() {
35 var a animal
36
37 a = lion{age: 10}
38 print(a)
39
40}
41
42func print(a animal) {
43 switch v := a.(type) {
44 case lion:
45 fmt.Println("Type: lion")
46 case dog:
47 fmt.Println("Type: dog")
48 default:
49 fmt.Printf("Unknown Type %T", v)
50 }
51}
2.4.11 اینترفیس خالی #
شما میتوانید اینترفیس بصورت خالی و بدون متد در هرجایی از کد خود استفاده کنید و هر تایپی را میتوانید به این اینترفیس انتصاب دهید. به عنوان مثال در زیر یک تابع نوشتیم که به عنوان پارامتر ورودی یک اینترفیس خالی میگیرد و مقدار این پارامتر را چاپ میکند.
1package main
2
3import "fmt"
4
5func main() {
6 test("thisisstring")
7 test("10")
8 test(true)
9}
10
11func test(a interface{}) {
12 fmt.Printf("(%v, %T)\n", a, a)
13}
توجه کنید اینترفیس خالی خیلی کاربردی هست و usecaseهای مختلفی دارد.