سیستم نوع

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به ناوبری پرش به جستجو

در علوم رایانه یک سیستم نوع نحوهٔ ارتباط زبان برنامه‌نویسی را با مقادیر و عبارات تعیین می‌کند و تحت این روابط آن‌ها را دسته‌بندی کرده و رفتار مناسب آن‌ها را با یکدیگر تعیین می‌کند. یک نوع در داده‌ها به معنای یک دسته از مقادیر با ویژگی‌های عمومی یکسان است. البته باید در نظر داشت که ممکن است این ویژگی‌ها بطور واقعی در یک برنامه در حال اجرا، وجود نداشته باشد. سیستم نوع در بین زبان‌های برنامه‌نویسی مختلف بطور کلی متفاوت است. اصلی‌ترین تفاوت در مورد ایستا بودن یا ایجاد در زمان اجرا انواع داده در زبان‌های مختلف می‌باشد.

کمپایلرها با استفاده از این سیستم نوع در صدد بهینه‌سازی رفتار خود در زمینهٔ ذخیره‌سازی فضا برمی‌آید.

عضوهای داده‌ای استاتیک یک کلاس، به عنوان «متغیرهای کلاس» شناخته می‌شوند، زیرا فقط یک مقدار منحصر به فرد برای همه‌ی اشیای آن کلاس وجود دارد. محتوای آن‌ها در یک شیء از آن کلاس با دیگری، متفاوت نیست [۱].

منابع[ویرایش]

  1. دکتر بابک بشری راد (۱۳۹۴). برنامه سازي پيشرفته با ++C. تهران: ناقوس. صص. ۱۳۲. شابک ۹۷۸-۹۶۴-۳۷۷-۷۴۶-۳.

http://citeseer.ist.psu.edu/xi98dependent.html