Является ли это примером параметрического полиморфизма?

Question

Привет, я воспитываю себя в принципах. Я хотел бы знать, является ли это правильным примером определения Cardellis parametric polymorphism. Пожалуйста, просветите меня.
Пример приведен в синтаксисе на основе скрипта cfml.

<cfscript> 
Parent = createobject("component","webapp.model.Parent").init(); 
Child = createobject("component","webapp.model.Child").init(); 
GrandChild = createobject("component","webapp.model.GrandChild").init(); 
Test = createobject("component","webapp.model.DealWithObject"); 
dump(Test.getNumberOfParents(Parent)); 
dump(Test.getNumberOfParents(Child)); 
dump(Test.getNumberOfParents(GrandChild)); 
</cfscript> 

<cfcomponent> 
<cfscript> 
// should deal with an infinte number of abstract data types (because of common structure) 
public numeric function getNumberOfParents(component arg){ 
    return -1 + arraylen(structfindkey(getmetadata(arguments.arg),"extends","all")); 
} 
</cfscript> 
</cfcomponent> 

Answer 1

Нет, просто (и по принципу замещения, это подтипы.) нет.

Полиморфизм означает, что вам не нужно проверять, что это за тип, вы просто используете его.

Примером может быть (C#):

public Boolean AreEqual(Object o1, Object o2) 
{ 
    return o1.Equals(o2); 
} 

Метод может принимать любой тип объекта, который наследует от объекта (в C# почти все) и объект реализует Равно, так что вы можете использовать его, чтобы сделать проверьте и не нужно проверять тип любого параметра.
Обычно вы принимаете какой-то интерфейс, чтобы убедиться, что объект поддерживает операцию, которую вы хотите выполнить.

Answer 2

Я не считаю, что это С., поскольку функция явно имеем дело с типом any аргумента. Точка pp состоит в том, что функция работает независимо от типа объекта.

Если я введу новый тип в систему, эта функция сломается, так как у нее нет специальной обработки.

EDIT: Я думаю, что ваш обновленный пример является подтип полиморфизм, так как функция будет обрабатывать объект и любой из его подтипов, в силу, что GetMetadata обрабатывает объект