اختبار العقود والتشويش

package main

import "fmt"

func clamp(n int) int {
	if n < 0 {
		return 0
	}
	if n > 100 {
		return 100
	}
	return n
}

func main() {
	cases := []struct{ input, want int }{{-1, 0}, {0, 0}, {100, 100}, {101, 100}}
	for _, test := range cases {
		if got := clamp(test.input); got != test.want {
			panic("clamp contract failed")
		}
	}
	fmt.Println("4 checks passed")
}

4 checks passed

تحدد أربعة أزواج مدخل ونتيجة مرجع هذا العرض المحدود.

package main

import (
	"errors"
	"fmt"
	"io"
)

var errWrite = errors.New("synthetic write failure")

type failingWriter struct{}

func (failingWriter) Write(p []byte) (int, error) { return 0, errWrite }
func emit(w io.Writer) error                      { _, err := io.WriteString(w, "sample"); return err }

func main() {
	fmt.Println("expected failure", errors.Is(emit(failingWriter{}), errWrite))
}

expected failure true

تُفحص العلامة المعادة مباشرة بدلا من إحداث فشل مورد حقيقي.