我有一个问题。
type Thing is new record
...elements...
end record;
我有一个将其转化为字符串的函数。
function ToString(t: Thing) returns string;
我希望能够告诉Ada使用此函数来处理
Thing'image
,这样我的库的用户就不必考虑他们是否正在使用内置类型或Thing。但是,显然的语法:for Thing'image use ToString;
这个功能无法使用。
有没有其他的方法可以实现这个功能?
V'img
将非常有用。) - David Given&
,这样我就可以无缝地将我的对象附加到字符串中。由于我大多数时候都想在构建向用户发送的消息时这样做,因此这对我大多数目的来说已经足够了。但这并不是一个真正的解决方案。 - David Given