түрлендіріледі. Осыдан кейін типтерді стандартты түрлендірулер, мы-
87
нымалы болғандықтан, олардың арасындағы сəйкестіктерді іздеу жүзеге асы-
рылады. Егер бір қадамның өзінде-ақ сəйкестікті бірнеше тəсілмен анықтау
мүмкін болса, шақыру тиянақсыз болып есептеледі де, қате туралы хабарлама
беріледі.
Тиянақсыздық, яғни аргументтердің көрсетілген типтермен нақты түрде
сəйкес келмеуі келесі жағдайларда:
□ типті түрлендіру кезінде;
□ сілтеме-параметрлерді
қолдануда;
□ келісім бойынша берілген аргументтерді пайдалану кезінде туындауы
мүмкін.
Типті түрлендіру кезіндегі сəйкессіздікке мысал:
Достарыңызбен бөлісу: