Если просто принуждение является разновидностью полиморфизма, то принуждение происходит даже в неопорных языках. Итак, я хочу знать, отличается ли термин "принуждение" от "полиморфизма принуждения"?
Если принуждение происходит во время вызова функции, когда тип аргумента передается ввызов функции приводит к типу параметра в определении функции, и если то же самое происходит с оператором, то мы называем это «принудительным полиморфизмом». Это утверждение верно? Если да, то происходит ли такое на языке C (не на языке упс)?
В Java концепция BOXING является примером принуждения. Может ли это рассматриваться как «принудительный полиморфизм»?
Передача ссылки на объект подкласса на ссылку на объект суперкласса во время вызова метода также может рассматриваться как «принудительный полиморфизм»? (Я читалгде-то). В этом случае вытеснение и принуждение полиморфизма означает то же самое в некотором смысле. Так это правильно?