Объектно-ориентированное программирование: различия между версиями

м
установка шаблона "по алфавиту" по консенсусу на форуме с помощью AWB
м (установка шаблона "по алфавиту" по консенсусу на форуме с помощью AWB)
== Контроль во время компиляции и во время выполнения ==
 
Языки программирования можно оценить по тому, насколько они строги к типам. Контроль типов включает проверку существования вызываемых методов, видов их параметров, проверку границ массивов и подобное.
 
C++, Java, и Object Pascal предпочитают более или менее тщательный контроль типов во время компиляции. С++, возможно, наименее точен в этом отношении (на что указывает, к примеру, возможность присвоения double к float), тогда как Java использует проверку типов наиболее широко. Это оттого, что C++ обеспечивает совместимость с Си, который не очень строго проверяет типы во время компиляции. Например, C и C++ считают, что все арифметические типы совместимы (хотя присвоение float целой переменной вызовет предупреждение компилятора). В Object Pascal и Java логическое значение не целое, а символ - еще один отличный и несовместимый тип.
 
{{Темы|Программирование}}
 
{{По алфавиту}}
 
[[Категория:Объектно-ориентированное программирование]]
531

правка