<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Just a quick note regarding the following, given my experience in
this area:</p>
<div class="moz-cite-prefix">On 2026-01-17 11:36, Remi Forax wrote:<br>
</div>
<blockquote type="cite" cite="mid:1085557496.17567763.1768646213005.JavaMail.zimbra@univ-eiffel.fr">A
de-constructor becomes an instance method that must return a
carrier class/carrier interface, a type that has the information
to be destructured and the structure has to match the one defined
by the type.</blockquote>
<br>
This simply <b>does not work</b> as a deconstructor cannot be an
instance-method just like a constructor cannot be an instance
method: It strictly belongs to the type itself (not the hierarchy)
and it doesn't play well with implementing multiple interfaces (name
clashing), and interacts poorly with overload resolution (instead of
choosing most-specific, you need to select a specific point in the
hierarchy to call the method).
<pre class="moz-signature" cols="72">
--
Cheers,
√
Viktor Klang
Software Architect, Java Platform Group
Oracle</pre>
</body>
</html>