在Ada中自定义'图像属性？

Question

所以我有一件事.

type Thing is new record
  ...elements...
end record;

我有一个字符串化的功能.

function ToString(t: Thing) returns string;

我希望能够告诉Ada使用此功能Thing'image,以便我的库的用户不必考虑他们是使用内置类型还是Thing.

但是,明显的语法:

for Thing'image use ToString;

......不起作用.

有没有办法做到这一点？

Answer 1

我不知道为什么语言不支持这一点,我不知道是否有人曾提出过它应该提出的正式提案(Ada问题或AI).有点相关的AI12-0020(Ada 2012的第20个人工智能)包括"我不认为我们因技术原因而拒绝它的重要性"这句话.

你可以看出为什么Ada报告人组可能认为这相对不重要:你总是可以声明一个Image函数; 和...之间的不同

Pkg.Image (V);

和

Pkg.Typ’Image (V);

不是很大.