سیستم نوع
قوانین تایپسیستم / From Wikipedia, the free encyclopedia
سامانه نوع، یا سیستم نوع یا تایپسیستم ( انگلیسی: Type system) مجموعهای از قوانین است که ویژگی «نوع» را به مفاهیم مختلف یک زبان برنامهنویسی، مانند متغیرها، رویهها و عبارات، نسبت میدهد. هر زبان برنامهنویسی دارای تعدادی نوع است که داده ساختارهای مختلف مورد استفاده در برنامهها را دستهبندی میکنند.
در علوم رایانه یک سیستم نوع نحوهٔ ارتباط زبان برنامهنویسی را با مقادیر و عبارات تعیین میکند و تحت این روابط آنها را دستهبندی کرده و رفتار مناسب آنها را با یکدیگر تعیین میکند. یک نوع در دادهها به معنای یک دسته از مقادیر با ویژگیهای عمومی یکسان است. البته باید در نظر داشت که ممکن است این ویژگیها بهطور واقعی در یک برنامه در حال اجرا، وجود نداشته باشد. سیستم نوع در بین زبانهای برنامهنویسی مختلف بهطور کلی متفاوت است. اصلیترین تفاوت در مورد ایستا بودن یا ایجاد در زمان اجرا انواع داده در زبانهای مختلف میباشد.
کامپایلرها با استفاده از این سیستم نوع در صدد بهینهسازی رفتار خود در زمینهٔ ذخیرهسازی فضا برمیآید.
عضوهای دادهای استاتیک یک کلاس، به عنوان «متغیرهای کلاس» شناخته میشوند، زیرا فقط یک مقدار منحصر به فرد برای همهی اشیای آن کلاس وجود دارد. محتوای آنها در یک شیء از آن کلاس با دیگری، متفاوت نیست [1].