static - 除了带有静态的 D 之外，还有其他语言吗？

Question

我想 D 的 static if是一个有趣的语言功能。这提示了我的问题:是否还有其他编译语言的示例，其中编译器对代码有很强的理解，并且有语言工具可以访问它们？

例如，此代码提供类似于 repr 的内容。来自 Python:

char[] repr(T)(T value) {
  static if (is(typeof(value.__repr__))) { // class T provides a "repr()" method
    return value.__repr__();  
  } else static if (is(T:string)) {
    return `"` ~ value ~ `"`;
  // ...other cases...
  } else {
    return toString(value);
  }
}

我认为这很酷是因为它允许采用不同且更通用的方法来处理重载的作用，与此类功能相比，这是一种使代码更具动态性的由内而外的方式。例如，编译器知道我的类有多少个字段，但在大多数语言中，我的代码在编译时无法访问该信息。

警告:最后一段有意见，但我只是想为我的问题提供一些动机和澄清，而不是引起争议。我只是想知道是否有任何其他编译语言具有这样的功能。

Answer 1

任何具有真正宏的语言都具有静态 if 形式。例如 Lisp 和 Nemerle让您使用诸如“if”和 for 循环之类的编程结构来构造宏扩展为的代码。这些本质上是编译时决策，让您可以执行类似于静态 if 的操作。在 Nemerle 的情况下，宏基本上是编译器的插件，在编译时执行。

在 C++ 中有 boost MPL具有 kind of static if 的库可用于在两种类型之间进行选择。您可以在 run() 成员中的两种类型中放入一些代码，并获得一些类似的东西，但语法非常繁琐。

例如，使用 Boost MPL，您可以执行以下操作:

struct float_impl { 
    static void run() { /* float case code */ }
}
struct int_impl { 
    static void run() { /* int case code */ }
}

typedef typename if_<
          is_same<T, float>
        , float_impl
        , int_impl
        >::type impl_t;
impl_t::run();

在 D 中:

static if(is(T == float)) {
     /* float code */
}
else {
     /* int code */
}