بیشتر بودن مقدار cap از len در زمان append کردن

ehsan · آگوست 17, 2022, 6:20ق.ظ

IMG_20220817_104826_333

چرا تو خط آخر cap یکی بیشتر از len شده؟!
یکم تو گوگل خوندم دربارش ولی قانع نشدم

hossein · آگوست 17, 2022, 7:46ق.ظ

سلام وقت بخیر
در گولنگ ظرفیت یک slice بصورت پویا تعیین میشه. وقتی که از تابع append استفاده می‌کنیم برای اینکه یک عضو جدید به slice اضافه کنیم، برنامه در زمان اجرا چک می‌کنه، آیا فضای حافظه‌ای که به slice مورد نظر اختصاص داده شده، آیا گنجایش پذیرش عضو جدید رو داره یا نه، اگه داشته باشه، خب عضو رو به آخر slice اضافه می‌کنه. اما اگه محل فعلی حافظه که به slice اختصاص داده شده ظرفیت کافی نداره، ابتدا در حافظه یک مکان جدید، با ظرفیت بیشتر از ظرفیت فعلی به slice اختصاص داده می‌شه. برای همین هست که به مرور زمان حین اجرای برنامه مقدار cap تغییر می‌کنه، اینکه هنگام تغییر مکان slice چقدر ظرفیت بیشتر از ظرفیت فعلی اختصاص بده، سیاست‌های مختلفی داره که به مرور زمان تغییر می‌کنه، اما می‌تونید اینجا توضیحاتی رو در این مورد ببینید.

خوندن این مقاله‌ها هم خالی از لطف نیست

alireza · آگوست 17, 2022, 9:36ق.ظ

hasan · آگوست 17, 2022, 10:22ق.ظ

برای اینکه بتونیم بروزترین سیاست‌های runtime گولنگ برای اختصاص فضای جدید به cap رو متوجه بشیم می‌تونیم کد کامپایلر رو برای تابع runtime.growslice بخونیم.
مثلا لینک زیر کد این تابع برای نسخه ۱.۱۹ از کامپایلر رو نشون میده

github.com

golang/go/blob/go1.19/src/runtime/slice.go#L178


      
          // growslice handles slice growth during append.
          // It is passed the slice element type, the old slice, and the desired new minimum capacity,
          // and it returns a new slice with at least that capacity, with the old data
          // copied into it.
          // The new slice's length is set to the old slice's length,
          // NOT to the new requested capacity.
          // This is for codegen convenience. The old slice's length is used immediately
          // to calculate where to write new values during an append.
          // TODO: When the old backend is gone, reconsider this decision.
          // The SSA backend might prefer the new length or to return only ptr/cap and save stack space.
          func growslice(et *_type, old slice, cap int) slice {
          	if raceenabled {
          		callerpc := getcallerpc()
          		racereadrangepc(old.array, uintptr(old.len*int(et.size)), callerpc, abi.FuncPCABIInternal(growslice))
          	}
          	if msanenabled {
          		msanread(old.array, uintptr(old.len*int(et.size)))
          	}
          	if asanenabled {
          		asanread(old.array, uintptr(old.len*int(et.size)))
          	}