ما هي تأكيدات النوع وتبديلات النوع؟

Question

Accepted Answer

**تأكيد النوع** يستخرج النوع الملموس من قيمة الواجهة، و**تبديل النوع** يتفرع بناءً على النوع الأساسي للواجهة. وهي الطريقة التي تسترجع بها معلومات نوع محددة من واجهة (خاصة الواجهة الفارغة / `any`).

## تأكيد النوع — استخراج نوع ملموس

```go
var i interface{} = "hello"     // an interface holding a string

s := i.(string)                  // assert it's a string → s = "hello"
fmt.Println(s)

n := i.(int)                     // ❌ PANIC — i is not an int (wrong assertion)
```

صيغة `i.(Type)` تؤكد أن الواجهة `i` تحتوي على قيمة من نوع `Type` وتستخرجها. لكن التأكيد الخاطئ **يسبب panic** — لذلك عادة تستخدم الصيغة الآمنة مع comma-ok.

## صيغة comma-ok الآمنة

```go
s, ok := i.(string)
if ok {
    fmt.Println("it's a string:", s)   // ok = true, s = the value
} else {
    fmt.Println("not a string")         // ok = false, s = zero value, NO panic
}
```

الصيغة ذات القيمتين تُرجع القيمة بالإضافة إلى قيمة منطقية — `ok` تكون false (بدلاً من حدوث panic) إذا فشل التأكيد. **فضّل هذه الصيغة دائماً** إلا إذا كنت متأكداً من النوع.

## تبديل النوع — تفرع على أنواع متعددة ممكنة

```go
func describe(i interface{}) string {
    switch v := i.(type) {           // the special .(type) form, only in a switch
    case int:
        return fmt.Sprintf("int: %d (doubled: %d)", v, v*2)
    case string:
        return fmt.Sprintf("string of length %d", len(v))
    case bool:
        return fmt.Sprintf("bool: %t", v)
    case nil:
        return "nil value"
    default:
        return fmt.Sprintf("unknown type: %T", v)
    }
}

describe(42)        // "int: 42 (doubled: 84)"
describe("hi")      // "string of length 2"
```

صيغة `switch v := i.(type)` تفحص النوع الأساسي وتربط `v` (مع النوع المناسب في كل حالة). إنها الطريقة النظيفة للتعامل مع واجهة قد تحتوي على عدة أنواع.

## تأكيد أنواع الواجهات أيضاً

```go
// assert that a value implements a specific interface
if w, ok := i.(io.Writer); ok {
    w.Write([]byte("data"))    // use it as an io.Writer if it satisfies that interface
}
```

## متى تحتاج إلى هذه الأدوات

```text
✓ Processing values of unknown type (interface{}/any) — JSON, generic handlers
✓ Checking if a value implements an optional interface (e.g. io.Closer)
✓ Handling heterogeneous data
⚠️ Often a sign you could use generics or better-typed interfaces instead — don't overuse
```

## لماذا هذا مهم

تأكيدات النوع وتبديلات النوع هي أدوات أساسية للعمل مع قيم الواجهة — لاسترجاع معلومات النوع الملموس من `interface{}`/`any` أو للتحقق مما إذا كانت قيمة تحقق واجهة معينة.

هناك حاجة إليها عند التعامل مع بيانات من أنواع غير معروفة أو متنوعة (تحليل JSON ديناميكي، معالجة عامة، فحوصات واجهة اختيارية مثل "هل تطبق هذا io.Closer؟").

فهم **التمييز بين panic والآمن** أمر حاسم: التأكيد البسيط `i.(T)` يسبب panic عند عدم التطابق، بينما **صيغة comma-ok** `v, ok := i.(T)` تقرر الفشل بأمان — استخدام الصيغة الآمنة هو ممارسة أساسية لتجنب أعطال وقت التشغيل.

تبديل النوع يتعامل بأناقة مع أنواع متعددة ممكنة.

معرفة هذه الأدوات (وأن الاستخدام الثقيل غالباً ما يشير إلى أنك يجب أن تستخدم generics أو تصاميم مكتوبة بشكل أفضل بدلاً من ذلك) مهمة لـ Go آمن وعام بأسلوب صحيح، وهو موضوع شائع في المقابلات، نظراً لأن الواجهات والواجهة الفارغة أساسية جداً للغة.