Функциональная переменная и массив функций в Chapel

Хотя многие функции первого класса работают в версии 1.16 и более поздних, вы можете ожидать, что структура языка в этой области будет пересмотрена. В частности, в настоящее время нет разумного ответа на вопрос, могут ли быть захвачены переменные (и прямо сейчас попытка сделать это, вероятно, приведет к запутанной ошибке). Однако я не знаю, в каком будущем выпуске это изменится.

Что касается части myfunc1.type, раздел технической заметки, на который я ссылался, под названием «Указание типа первоклассной функции» представляет альтернативную стратегию. Однако я не вижу никаких проблем с использованием myfunc1.type в этом случае.

Наконец, обратите внимание, что поддержка lambda в текущем компиляторе фактически работает путем создания класса с методом this. Таким образом, вы можете сделать то же самое - создать "объект функции" (если заимствовать термин С++) - это будет иметь тот же эффект. «Функциональный объект» может быть записью или классом. Если это класс, вы можете использовать наследование, чтобы создать массив объектов, которые могут реагировать на один и тот же метод в зависимости от их динамического типа. Эта стратегия может позволить вам обойти текущие проблемы с функциями первого класса. Даже если поддержка первоклассных функций завершена, подход «объект-функция» позволяет вам более явно указывать захваченные переменные. В частности, вы можете сохранить их как поля в классе и установить их в инициализаторе класса. Вот пример создания и использования массива различных типов объектов-функций:

class BaseHandler {
  // consider these as "pure virtual" functions
  proc name():string { halt("base name called"); }
  proc this(arg:int) { halt("base greet called"); }
}
class HelloHandler : BaseHandler {
  proc name():string { return "hello"; }
  proc this(arg:int) { writeln("Hello ", arg); }
}
class CiaoHandler : BaseHandler {
  proc name():string { return "ciao"; }
  proc this(arg:int) { writeln("Ciao ", arg); }
}

proc test() {
  // create an array of handlers
  var handlers:[1..0] BaseHandler;
  handlers.push_back(new HelloHandler());
  handlers.push_back(new CiaoHandler());

  for h in handlers {
    h(1); // calls 'this' method in instance
  }
}

test();