D vs C++ , почти сурковская пропаганда: не пора ли C++ потихоньку готовиться к пенсии?

applegame, кстати, а если вместо первого аргумента будет вызов функции, она вызовется один раз и сохранит значение или будет вызываться на каждое сравнение? типа

int foo() {
  writeln 1;
  return 1;
}
 
void main() {
  isOneOf(foo(), 2 3, 1, 4, 5);
}

korvin, это не макросы. Совсем.

Цитата applegame @ 11.02.14, 16:15

Это переменные локальные для самой лямбды, внутренности find не имеют к ним никакого отношения. Не нравятся a и b, используй другие имена, главное два аргумента и возвращение значения, которое может быть неявно приведено к bool.

Как тогда компилятор выясняет, какие идентификаторы в строке являются аргументами лямбды, а какие — нет? Или контекст вызова просто игнорируется и его также нужно явно передавать параметром?

int b = 3;
find!"a.key == b"(foo, 2);

Добавлено 11.02.14, 16:20

Цитата D_KEY @ 11.02.14, 16:17

korvin, это не макросы. Совсем.

Это не значит, что они могут самостоятельно решить, вызывать предварительно foo(), или нет.

Сообщение отредактировано: korvin - 11.02.14, 16:21

Цитата D_KEY @ 11.02.14, 16:09

Рано прощаешься, похоже, что он прав

sensored, и ты туда же. Я эти рекурсивные шаблоны разбирал по косточкам, вплоть до ассемблера, когда баги в LLVM репортил. Инлайнирование функций (в обсуждаемом случае) полностью равнозначно разворачиванию рекурсии: превратит в тупую цепочку проверок. Причем итеративное решение приведет к такому же результату. То что функций будет много и компилятор их инлайнит - это вообще особенности компиляции, с функциональной точки зрения isOneOf в дешном варианте - одна функция с переменным числом аргументов, а не куча с разными сигнатурами.

Сообщение отредактировано: Qraizer - 12.02.14, 02:59

Цитата applegame @ 11.02.14, 16:20

с функциональной точки зрения isOneOf в дешном варианте - одна функция с переменным числом аргументов, а не куча с разными сигнатурами.

оО
Кстати, именно это как раз деталь реализации, даже если так D делает. А вот семантически там как раз совершенно разные вызовы. Разве нет?

Ты не нервничай так, а то сам понимаешь, что будет с темой

Добавлено 11.02.14, 16:25

Цитата korvin @ 11.02.14, 16:18

Как тогда компилятор выясняет, какие идентификаторы в строке являются аргументами лямбды, а какие — нет? Или контекст вызова просто игнорируется и его также нужно явно передавать параметром?

int b = 3;
find!"a.key == b"(foo, 2);

Присоединяюсь к вопросу.

Цитата applegame @ 11.02.14, 16:20

То что функций будет много и компилятор из инлайнит - это вообще особенности компиляции

То, что инлайнит - да, особенность компиляции. То, что функции разные - семантика языка. А если разные, то это не рекурсия просто по определению.

Цитата applegame @ 11.02.14, 16:20

с функциональной точки зрения isOneOf

Что такое "функциональная точка зрения"?

Цитата applegame @ 11.02.14, 16:20

isOneOf в дешном варианте - одна функция с переменным числом аргументов

Нет, ибо она параметризуется их типами. И потому это не просто переменное число аргументов - инстанцирование приводит к разным функциям хотя бы из-за проверки типов.

Цитата D_KEY @ 11.02.14, 16:24

Кстати, именно это как раз деталь реализации, даже если так D делает. А вот семантически там как раз совершенно разные вызовы. Разве нет?

Нет D так не делает. Это будут разные функции. Так как CTFE, то фактически рекурсия разворачивается в итеративный вариант (с foreach) с последующим разворачиванием цикла в последовательность проверок.
Оторвитесь уже, блджад, от плюсов. Представьте это математически: одна функция, рекурсивная, с переменным числом аргументов, вызывает сама себя.

Сообщение отредактировано: applegame - 11.02.14, 16:30

Цитата applegame @ 11.02.14, 16:27

рекурсия разворачивается

Так а где здесь рекурсия то?

Цитата applegame @ 11.02.14, 16:27

Цитата D_KEY @ 11.02.14, 16:24

Кстати, именно это как раз деталь реализации, даже если так D делает. А вот семантически там как раз совершенно разные вызовы. Разве нет?

Нет D так не делает. Это будут разные функции.

Значит, нет и рекурсии.

Цитата applegame @ 11.02.14, 16:27

Представьте это математически: одна функция, рекурсивная

Мы представили. Математически мы не видим одной функции, мы видим метафункцию (шаблон), порождающую разные функции.

Добавлено 11.02.14, 16:30
Метафункция рекурсивна, да. Порождённые ею функции - нет.

Сообщение отредактировано: MyNameIsIgor - 11.02.14, 16:30

Тут вот есть рекурсия?

bool isOneOf__2(int a, int b) {
    return a == b;
}
 
bool isOneOf__3(int a, int b, int c) {
    return isOneOf__2(a, b) || isOneOf__2(a, c);
}
 
bool isOneOf__4(int a, int b, int c, int d) {
    return isOneOf__2(a, b) || isOneOf__3(a, c, d);
}
 
bool isOneOf__5(int a, int b, int c, int d, int e) {
    return isOneOf__2(a, b) || isOneOf__4(a, c, d, e);
}
...

Цитата korvin @ 11.02.14, 16:18

Цитата D_KEY @ 11.02.14, 16:17

korvin, это не макросы. Совсем.

Это не значит, что они могут самостоятельно решить, вызывать предварительно foo(), или нет.

Или «имеют право решать».

Пример, конечно, надуманый, но всякое ведь бывает. =)

Цитата korvin @ 11.02.14, 16:37

но всякое ведь бывает.

В C++ там идет обычный вызов функции, если что. Т.е. вся магия была на этапе инстанцирования шаблона функции. После инстанцирования ты вызываешь обычную функцию.

Цитата D_KEY @ 11.02.14, 16:43

В C++ там идет обычный вызов функции, если что. Т.е. вся магия была на этапе инстанцирования шаблона функции. После инстанцирования ты вызываешь обычную функцию.

Да я как бы вижу по результату и спрашивал не «почему так происходит». =)

Вот специально для вас. Тут будет ровно одна функция, вызывающая сама себя.
Математически одно и то же, скажите мне еще, что это не рекурсия: http://dpaste.dzfl.pl/3c5b2e014724
Хз хватит ли ума у компилятора D развернуть эту рекурсию в цикл. Но это не важно, важно чтобы стало понятно, о чем я.

Добавлено 11.02.14, 16:49

Цитата korvin @ 11.02.14, 16:15

applegame, кстати, а если вместо первого аргумента будет вызов функции, она вызовется один раз и сохранит значение или будет вызываться на каждое сравнение? типа

Эм, я полагаю она вызовется один раз.