Identité (programmation orientée objet)

En programmation orientée objet , en conception orientée objet et en analyse orientée objet , l' identité d'un objet est le fait qu'il est distinct de tout autre objet, quelles que soient les valeurs des propriétés de l'objet. Avoir une identité est une propriété fondamentale des objets.

Ceci est étroitement lié au concept philosophique d’ identité .

Une référence peut être utilisée pour faire référence à un objet avec une identité spécifique. Une référence contient les informations nécessaires à la réalisation de la propriété d'identité dans le langage de programmation et permet d'accéder à l'objet avec l'identité. Un type de cible d'une référence est un rôle. En règle générale, les références sont isomorphes aux adresses mémoire. Cependant, plusieurs de ces références peuvent faire référence au même objet, si une certaine forme de mappage d'adresses est présente ( adresses virtuelles / tables de pages / segments de mémoire ).

L'identité d'objet est moins utile en tant que concept sémantique dans les environnements ou les situations dans lesquels la structure des objets n'est pas encapsulée et où deux objets sont considérés comme étant le même objet en raison de propriétés identiques, même s'ils ne sont pas réellement la même instance physique (équivalence structurelle). Cependant, l'identité d'objet peut néanmoins fournir une optimisation. Une fonction qui teste si deux arguments sont le même objet peut rapidement court-circuiter vers une réponse affirmative si les deux arguments ont la même identité (sont des références à la même instance). Ce n'est que si les arguments sont des objets distincts que les propriétés individuelles doivent être prises en compte pour déterminer l'égalité, ce qui est une opération plus coûteuse. Par exemple, les entiers bignum peuvent être des objets alloués par tas de sorte que deux bignums sont considérés comme identiques s'ils représentent le même nombre. Il pourrait être inutile de profiter de la découverte que les deux arguments comparés sont des références au même bignum pour la fonction d'égalité.

L'identité des objets permet de traiter les objets comme des boîtes noires . L'objet n'a pas besoin d'exposer sa structure interne. Il peut toujours être référencé et ses autres propriétés sont accessibles via son comportement externe associé à l'identité. L'identité fournit un mécanisme permettant de faire référence aux parties de l'objet qui ne sont pas exposées dans l'interface. Ainsi, l'identité est la base du polymorphisme dans la programmation orientée objet .

L'identité permet la comparaison de références. Deux références peuvent être comparées, qu'elles soient égales ou non. En raison de la propriété d'identité, cette comparaison a des propriétés spéciales. Si la comparaison de références indique que les références sont égales, il est clair que les deux objets pointés par les références sont le même objet. Si les références ne sont pas égales, il n'est pas nécessairement garanti que l'identité des objets derrière ces références soit différente. L'identité d'objet de deux objets du même type est la même, si chaque modification apportée à l'un des objets est également une modification apportée à l'autre objet.

L'identité permet la construction d'un monde idéal platonicien, l' ontologie ou le modèle conceptuel, qui est souvent utilisé comme base de la pensée orientée objet. Le modèle conceptuel décrit la vue côté client d'un domaine , d'une terminologie ou d'une API . Ce monde contient des objets ponctuels comme instances , des propriétés des objets et des liens entre ces objets. Les objets du monde peuvent être regroupés pour former des classes . Les propriétés des objets peuvent être regroupées pour former des rôles. Les liens peuvent être regroupés pour former des associations . Tous les emplacements du monde ainsi que les liens entre les emplacements forment la structure du monde. Ces groupes sont des types des instances correspondantes du monde.