2013-12-06

thedeemon: (office)
2013-12-06 06:36 pm
Entry tags:

маленькие радости

Есть в D штука, представляющая из себя существующий исключительно на фазе компиляции гетерогенный список, внутри которого могут быть типы и простые значения (всякие числа, строки, булевые..). Изначально возник для манипуляций параметрами шаблонов. Для него доступен набор привычных операций: map, filter, итерация, взятие слайса, обращение по индексу и т.п. И поскольку элементы такого списка могут быть разных типов, сделано так, что итерация по нему обычным foreach всегда раскрывается. Это, в частности, дает простой способ гарантированно анроллить циклы без копипасты. А в сочетании со вставкой кода через mixin() позволяет делать такое:
alias funNames = TypeTuple!("sin", "cos", "tan", "asin", "acos", "atan", "exp");
...
  switch(fn) {
    foreach(s; funNames) 
      mixin("case \"" ~s~ "\" : return new Real(" ~s~ "(x.asReal));\n");
    ...
  }


Что компилятор раскрывает в
  switch(fn) {
    case "sin" : return new Real(sin(x.asReal));
    case "cos" : return new Real(cos(x.asReal));
    case "tan" : return new Real(tan(x.asReal));
    case "asin" : return new Real(asin(x.asReal));
    ...


Мелочь, а приятно.