ATS_EXTERN_PREFIX是什么意思？

Question

例如，我在ATSLIB中看到以下行：

#define ATS_EXTERN_PREFIX "atslib_"

ATS_EXTERN_PREFIX是什么意思？它的目的是什么？

Answer 1

如果我们有#define ATS_EXTERN_PREFIX "FOO_"和extern fun bar (...): ... = "mac#%"，那么bar的外部名称就变成了${ATS_EXTERN_PREFIX}bar，即FOO_bar。

从本质上讲，声明中的'%‘将被ATS_EXTERN_PREFIX的值替换。